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
2021-05-06Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11pxtp21Chantal Keller2-0/+33
2021-05-06Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller2-0/+33
2021-05-06Another silent change of veriT...Chantal Keller2-0/+33
2021-05-06Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller1-0/+12
2021-05-06Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller1-0/+12
2021-05-06Example for #92Chantal Keller1-0/+12
2021-05-06Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller1-11/+1
2021-05-06Merge branch 'master' of github.com:smtcoq/smtcoq into coq-8.10Chantal Keller1-11/+1
2021-05-06Less instances needed for autoChantal Keller1-11/+1
2021-05-05Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11Chantal Keller3-2/+36
[...]
 
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:37:11 +0000