aboutsummaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
coq-8.13Add '-package num' to MakefileYann Herklotz20 months
 
TagDownloadAuthorAge
SMTCoq-2.0+8.13smtcoq-SMTCoq-2.0+8.13.tar.gz  smtcoq-SMTCoq-2.0+8.13.zip  Chantal Keller23 months
SMTCoq-2.0+8.12smtcoq-SMTCoq-2.0+8.12.tar.gz  smtcoq-SMTCoq-2.0+8.12.zip  Chantal Keller23 months
SMTCoq-2.0+8.11smtcoq-SMTCoq-2.0+8.11.tar.gz  smtcoq-SMTCoq-2.0+8.11.zip  Chantal Keller23 months
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
2022-08-02Add '-package num' to MakefileHEADcoq-8.13Yann Herklotz1-1/+1
2022-07-30Extraction for Coq 8.13 (#109)ckeller20-7637/+17578
2022-07-29New case for vautoChantal Keller2-1/+36
2022-05-06Do not add CompDec on the flyChantal Keller3-272/+386
2022-05-04Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13SMTCoq-2.0+8.13Chantal Keller1-2/+1
2022-05-04Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12SMTCoq-2.0+8.12Chantal Keller1-2/+1
2022-05-04Remove unused record fieldSMTCoq-2.0+8.11Chantal Keller1-2/+1
2022-05-04Update installation instructionsChantal Keller1-1/+56
2022-05-04Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13Chantal Keller1-24/+24
2022-05-04Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12Chantal Keller1-24/+24
[...]
 
Clone
https://git.ymhg.org/forks/smtcoq
ssh://git@git.ymhg.org:forks/smtcoq