aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
coq-8.13Add '-package num' to MakefileYann Herklotz21 months
 
TagDownloadAuthorAge
SMTCoq-2.0+8.13smtcoq-SMTCoq-2.0+8.13.tar.gz  smtcoq-SMTCoq-2.0+8.13.zip  Chantal Keller2 years
SMTCoq-2.0+8.12smtcoq-SMTCoq-2.0+8.12.tar.gz  smtcoq-SMTCoq-2.0+8.12.zip  Chantal Keller2 years
SMTCoq-2.0+8.11smtcoq-SMTCoq-2.0+8.11.tar.gz  smtcoq-SMTCoq-2.0+8.11.zip  Chantal Keller2 years
itp22smtcoq-itp22.tar.gz  smtcoq-itp22.zip  Chantal Keller2 years
pxtp21smtcoq-pxtp21.tar.gz  smtcoq-pxtp21.zip  Chantal Keller3 years
v1.3smtcoq-1.3.tar.gz  smtcoq-1.3.zip  Chantal Keller8 years
v1.2smtcoq-1.2.tar.gz  smtcoq-1.2.zip  Chantal Keller9 years
 
AgeCommit messageAuthorFilesLines
2015-12-07Use a fork of native-coqv1.3Chantal Keller1-2/+2
2015-12-03OPAM currently not supportedChantal Keller1-79/+31
2015-06-18Corrected a bug in the generation of certificates for CNF computation of iffChantal Keller1-1/+1
2015-04-30More details on the installation of the proversChantal Keller1-1/+22
2015-04-30More details on extractionChantal Keller1-8/+10
2015-04-30Generic program to run the extracted checkers (basic error messages)Chantal Keller1-14/+18
2015-04-30Generic program to run the extracted checkersChantal Keller2-2/+48
2015-02-14Corrections in the installation instructionsChantal Keller1-3/+4
2015-02-14Other corrections in the installation instructionsChantal Keller1-3/+8
2015-02-14Corrections in installation instructionsChantal Keller1-3/+3
[...]
 
Clone
https://git.ymhg.org/forks/smtcoq
ssh://git@git.ymhg.org:forks/smtcoq
generated by cgit (git 2.34.1) at 2024-05-09 10:07:25 +0000