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-02-09Switch to 1.0 tag for traktitp22Chantal Keller1-1/+1
2022-02-09Preparing releaseChantal Keller1-1/+1
2022-02-07Merge remote-tracking branch 'origin/coq-8.13' into with-traktChantal Keller1-0/+32
2022-02-07Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13Chantal Keller1-0/+32
2022-02-07Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12Chantal Keller1-0/+32
2022-02-07Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11Chantal Keller1-0/+32
2022-02-07Merge remote-tracking branch 'origin/master' into coq-8.10Chantal Keller1-0/+32
2022-02-07More silent simplifications from veriTChantal Keller1-0/+32
2022-02-04Use the official repo for traktChantal Keller1-1/+1
2022-02-04All veriT tests go throughChantal Keller3-6/+73
[...]
 
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 11:47:01 +0000