aboutsummaryrefslogtreecommitdiffstats
path: root/src/versions/standard/Make
Commit message (Expand)AuthorAgeFilesLines
* V8.9 (#43)ckeller2019-03-151-169/+0
* V8.8 (#42)ckeller2019-03-111-1/+1
* No hard-coded paths to executables (fixes #37)Chantal Keller2019-03-051-2/+2
* V8.7 (#36)ckeller2019-02-141-9/+3
* Merge from LFSC (#26)ckeller2019-01-281-3/+46
* New files SmtBtype.ml(i) for module formerly in SmtAtomQuentin Garchery2018-10-281-0/+2
* Updated Makefile instructionsQuentin Garchery2018-10-271-6/+8
* conversion tacticsValentin Blot2018-10-251-0/+1
* now compiles with standard coq (including 8.6.1 from opam)Valentin Blot2018-07-201-3/+22
* make install for Coq-8.6Chantal Keller2017-10-031-8/+3
* Tests for Coq-8.6Chantal Keller2017-10-031-3/+5
* Compiles with Coq-8.6Chantal Keller2017-10-031-11/+12
* Use the Int31 library with coq-8.5Chantal Keller2016-09-281-3/+0
* More modularity on the format of traces depending on the version of coqChantal Keller2016-09-231-0/+1
* Now, Coq 8.5 is the defaultChantal Keller2016-05-011-5/+6
* Holes in proof:Chantal Keller2016-04-301-0/+1
* Solved a dependency problem for the compilation with Coq 8.5Chantal Keller2016-03-211-2/+2
* Light port to Coq 8.5 under progressChantal Keller2016-03-181-0/+110
* Removed old port to Coq 8.4Chantal Keller2016-03-021-100/+0
* Frontend for the standard version of Coq (still bad computational behavior)Chantal Keller2015-02-101-0/+3
* Start porting to the standard version of Coq (not finished yet)Chantal Keller2015-01-131-0/+97
generated by cgit (git 2.34.1) at 2024-06-29 09:24:13 +0000