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-01-12"let" testsv1.2Chantal Keller1-21/+21
2015-01-12Initial import of SMTCoq v1.2Chantal Keller101-0/+47726
2015-01-09Installation instructionsChantal Keller2-3/+50
2015-01-09Improved READMEChantal Keller1-13/+2
2015-01-09README and LICENSEChantal Keller2-2/+697
2015-01-09Initial commitckeller1-0/+2
 
Clone
https://git.ymhg.org/forks/smtcoq
ssh://git@git.ymhg.org:forks/smtcoq
generated by cgit (git 2.34.1) at 2024-05-08 21:52:36 +0000