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
2022-05-04Remove unused record fieldSMTCoq-2.0+8.11Chantal Keller1-2/+1
2022-05-04Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller1-24/+24
2022-05-04Merge remote-tracking branch 'origin/coq-8.9' into coq-8.10Chantal Keller1-24/+24
2022-05-04Comment testsChantal Keller1-24/+24
2022-04-14Clean-upChantal Keller5-14/+84
2022-04-14PortChantal Keller1-42/+45
2022-04-14Merge remote-tracking branch 'origin/coq-8.11' into timeout_veritChantal Keller126-6243/+3631
2022-04-11verit_timeout takes an integer as parameterlduboisd4-55/+48
2022-04-08use of anomaly for timeoutlduboisd4-7/+35
2022-02-18Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller1-19/+255
[...]
 
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 03:08:38 +0000