|
Failed to load latest commit information. |
|
Core
|
move Requires outside modules to avoid deprecation warnings
|
Dec 1, 2017
|
|
|
Examples
|
update OPAM-related package definitions, makefile and Travis tasks, e…
|
Nov 28, 2017
|
|
|
Heaps
|
update OPAM-related package definitions, makefile and Travis tasks, e…
|
Nov 28, 2017
|
|
|
extraction
|
disel public release
|
Nov 18, 2016
|
|
|
scripts
|
disel public release
|
Nov 18, 2016
|
|
|
shims
|
fix safe_string problems and compile OCaml programs with safe_string …
|
Dec 1, 2017
|
|
|
.gitignore
|
migration to Coq 8.7
|
Nov 9, 2017
|
|
|
.gitmodules
|
disel public release
|
Nov 18, 2016
|
|
|
.travis-ci.sh
|
use Coq 8.7.1 in Travis
|
Dec 19, 2017
|
|
|
.travis.yml
|
use Coq 8.7.1 in Travis
|
Dec 19, 2017
|
|
|
LICENSE
|
BSD 2-clause license
|
Aug 30, 2017
|
|
|
Makefile
|
fix safe_string problems and compile OCaml programs with safe_string …
|
Dec 1, 2017
|
|
|
README.md
|
use Coq 8.7.1 in Travis
|
Dec 19, 2017
|
|
|
_CoqProject
|
update OPAM-related package definitions, makefile and Travis tasks, e…
|
Nov 28, 2017
|