aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Use a fork of native-coqv1.3Chantal Keller2015-12-071-2/+2
* OPAM currently not supportedChantal Keller2015-12-031-79/+31
* Corrected a bug in the generation of certificates for CNF computation of iffChantal Keller2015-06-181-1/+1
* More details on the installation of the proversChantal Keller2015-04-301-1/+22
* More details on extractionChantal Keller2015-04-301-8/+10
* Generic program to run the extracted checkers (basic error messages)Chantal Keller2015-04-301-14/+18
* Generic program to run the extracted checkersChantal Keller2015-04-302-2/+48
* Corrections in the installation instructionsChantal Keller2015-02-141-3/+4
* Other corrections in the installation instructionsChantal Keller2015-02-141-3/+8
* Corrections in installation instructionsChantal Keller2015-02-141-3/+3
* New installation instructionsChantal Keller2015-02-141-5/+53
* Corrected a bug introduced in native compilationChantal Keller2015-02-121-1/+2
* All tests (but large benchmarks) succeedChantal Keller2015-02-111-7/+6
* Implemented cast on int31 directlyChantal Keller2015-02-113-61/+114
* COrrect implementation of foldi_cont and foldi_down_contChantal Keller2015-02-111-6/+6
* More efficient initialization of an arrayChantal Keller2015-02-111-7/+3
* Corrected a bug in the initialization of arrays for the standard version (the...Chantal Keller2015-02-111-2/+7
* More on the support for standard Coq (not working yet)Chantal Keller2015-02-1016-90/+139
* Frontend for the standard version of Coq (still bad computational behavior)Chantal Keller2015-02-1012-325/+3551
* Start porting to the standard version of Coq (not finished yet)Chantal Keller2015-01-1310-0/+4070
* Identify ML functions that are implemented differently in native-coq and in s...Chantal Keller2015-01-135-75/+42
* Identify ML functions that depend on native-coqChantal Keller2015-01-1312-41/+74
* Room for compilation with other versions of CoqChantal Keller2015-01-133-4/+10
* Unit test for double negationChantal Keller2015-01-121-0/+4
* "let" testsv1.2Chantal Keller2015-01-121-21/+21
* Initial import of SMTCoq v1.2Chantal Keller2015-01-12101-0/+47726
* Installation instructionsChantal Keller2015-01-092-3/+50
* Improved READMEChantal Keller2015-01-091-13/+2
* README and LICENSEChantal Keller2015-01-092-2/+697
* Initial commitckeller2015-01-091-0/+2
generated by cgit (git 2.34.1) at 2024-05-09 19:27:16 +0000