|
Failed to load latest commit information. |
|
.travis
|
disable host key checking
|
Mar 17, 2016
|
|
|
core
|
simplify disk ops semantics definitions
|
Sep 17, 2017
|
|
|
extraction
|
compatibility with both 8.6.1 and 8.7.0
|
Oct 23, 2017
|
|
|
lib
|
string orders are now in StructTact
|
Sep 2, 2017
|
|
|
script
|
more reasonable compilers for Dockerfiles
|
Apr 27, 2018
|
|
|
systems
|
add some missing Proof using annotations
|
Sep 29, 2017
|
|
|
.gitignore
|
compatibility with both 8.6.1 and 8.7.0
|
Oct 23, 2017
|
|
|
.hook.yaml
|
introduce build.sh, add support for hooknook builds
|
Feb 21, 2015
|
|
|
.travis-ci.sh
|
opam config eval clause in Travis script
|
Jan 5, 2018
|
|
|
.travis.yml
|
Don't fail when before_script times out
|
Jan 9, 2018
|
|
|
LICENSE
|
Verdi is licensed under the BSD 2-clause license
|
Apr 17, 2015
|
|
|
Makefile
|
Coq 8.8 works
|
Apr 26, 2018
|
|
|
Makefile.detect-coq-version
|
proper Coq version checking up to 8.7 and beyond
|
Jul 25, 2017
|
|
|
PROOF_ENGINEERING.md
|
updated documentation
|
Jan 31, 2017
|
|
|
README.md
|
Coq 8.8 works
|
Apr 26, 2018
|
|
|
STYLE.md
|
updated documentation
|
Jan 31, 2017
|
|
|
build.sh
|
update InfSeqExt repo, README formatting, build.sh takes params
|
Nov 21, 2016
|
|
|
configure
|
Cheerios is a canary
|
Sep 20, 2017
|
|
|
descr
|
remove OCaml files after migration to verdi-runtime library, move ext…
|
Jan 13, 2017
|
|
|
opam
|
Coq 8.8 works
|
Apr 26, 2018
|