Skip to content

Releases: uds-psl/smpl

Release for 8.16

02 Nov 14:14
@yforster yforster
v8.16
986dc2c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release for 8.16 Latest
Latest 
v8.16

Update build.yml
Assets 2
Loading

Release for 8.15

07 Feb 14:37
@yforster yforster
v8.15
54a001b
Compare
Choose a tag to compare
Release for 8.15 
v8.15

adapt to Coq 8.15
Assets 2
Loading

Release for 8.14

07 Feb 14:36
@yforster yforster
v8.14
b739d0d
Compare
Choose a tag to compare
Release for 8.14 
v8.14

fix CI
Assets 2
Loading

v8.13

16 Dec 15:28
@yforster yforster
v8.13
2ecac94
Compare
Choose a tag to compare
v8.13 
add dev repo for Coq beta
Assets 2
Loading

Smpl plugin for Coq 8.12, minor patches

03 Dec 12:24
@fakusb fakusb
v8.12.0.1
492d612
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Smpl plugin for Coq 8.12, minor patches

Contains better support for asynchronous evalation of the Smpl Create newDB. command.

Assets 2
Loading

Smpl plugin for Coq 8.12

04 Aug 09:45
@yforster yforster
v8.12
a17a095
Compare
Choose a tag to compare
Smpl plugin for Coq 8.12 
v8.12

Remove warning under 8.12
Assets 2
Loading

Smpl plugin for Coq 8.11

25 Mar 15:41
@yforster yforster
v8.11
8b5ff07
Compare
Choose a tag to compare
Smpl plugin for Coq 8.11 
v8.11

Update .gitignore for new files
Assets 2
Loading

Smpl plugin for Coq 8.10.2

25 Mar 07:53
@yforster yforster
v8.10.2
e8d9dd3
Compare
Choose a tag to compare
Smpl plugin for Coq 8.10.2 
v8.10.2

Ported to Coq 8.10
Assets 2
Loading