aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace
Commit message (Expand)AuthorAgeFilesLines
...
* Updating of the copyrightChantal Keller2016-04-2712-22/+46
* The tactic "verit" generates more user-friendly subgoalsChantal Keller2016-04-262-13/+16
* Both native-coq and Coq 8.5 are fully supportedChantal Keller2016-04-265-18/+34
* Compatibility with native-coqChantal Keller2016-04-262-11/+11
* Tactic verit for 8.5Chantal Keller2016-04-261-4/+4
* Tactic zchaff for 8.5Chantal Keller2016-04-261-7/+14
* Make the tactic available for 8.5Chantal Keller2016-04-261-8/+8
* Light port to Coq 8.5 under progressChantal Keller2016-03-184-69/+11
* Code refactoringChantal Keller2016-03-023-0/+273
* Removed old port to Coq 8.4Chantal Keller2016-03-021-0/+55
* Corrected a bug in the generation of certificates for CNF computation of iffChantal Keller2015-06-181-1/+1
* More on the support for standard Coq (not working yet)Chantal Keller2015-02-101-1/+1
* Identify ML functions that are implemented differently in native-coq and in s...Chantal Keller2015-01-132-3/+3
* Identify ML functions that depend on native-coqChantal Keller2015-01-136-22/+18
* Initial import of SMTCoq v1.2Chantal Keller2015-01-1211-0/+2755
generated by cgit (git 2.34.1) at 2024-06-29 10:01:27 +0000