Skip to content

Releases: bollu/SCEV-coq

v1.1

17 Nov 20:47
Compare
Choose a tag to compare
v1.1 Pre-release
Pre-release
add file to gitignore, generate stuff using configure.sh

v1.0

14 Nov 20:22
Compare
Choose a tag to compare
v1.0 Pre-release
Pre-release

First release, I'm sure I got this wrong.