aboutsummaryrefslogtreecommitdiffstats
path: root/src/trace/smtCertif.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller2022-02-171-1/+1
|\
| * Update copyrightChantal Keller2022-02-161-1/+1
* | getting rid of native-coq (#95)vblot2021-05-281-2/+2
|/
* Update copyrightChantal Keller2021-05-261-1/+1
* V8.9 (#43)ckeller2019-03-151-1/+1
* V8.7 (#36)ckeller2019-02-141-2/+0
* Merge from LFSC (#26)ckeller2019-01-281-30/+173
* verit also works when it doesn't use the conclusion (#24)QGarchery2018-12-031-1/+30
* Adding support for lemmas in the command veritQuentin Garchery2018-10-281-3/+42
* formattingQuentin Garchery2018-10-271-14/+14
* Compiles with both versions of CoqChantal Keller2017-10-031-2/+2
* Compiles with Coq-8.6Chantal Keller2017-10-031-2/+2
* Holes in proof:Chantal Keller2016-04-301-3/+3
* Possibility to embed any Coq proof in certificates (not tested yet)Chantal Keller2016-04-291-1/+5
* Updating of the copyrightChantal Keller2016-04-271-2/+2
* Initial import of SMTCoq v1.2Chantal Keller2015-01-121-0/+140