index
:
smtcoq
coq-8.13
Fork of https://github.com/smtcoq/smtcoq.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Branch
Commit message
Author
Age
coq-8.13
Add '-package num' to Makefile
Yann Herklotz
21 months
Tag
Download
Author
Age
SMTCoq-2.0+8.13
smtcoq-SMTCoq-2.0+8.13.tar.gz
smtcoq-SMTCoq-2.0+8.13.zip
Chantal Keller
2 years
SMTCoq-2.0+8.12
smtcoq-SMTCoq-2.0+8.12.tar.gz
smtcoq-SMTCoq-2.0+8.12.zip
Chantal Keller
2 years
SMTCoq-2.0+8.11
smtcoq-SMTCoq-2.0+8.11.tar.gz
smtcoq-SMTCoq-2.0+8.11.zip
Chantal Keller
2 years
itp22
smtcoq-itp22.tar.gz
smtcoq-itp22.zip
Chantal Keller
2 years
pxtp21
smtcoq-pxtp21.tar.gz
smtcoq-pxtp21.zip
Chantal Keller
3 years
v1.3
smtcoq-1.3.tar.gz
smtcoq-1.3.zip
Chantal Keller
8 years
v1.2
smtcoq-1.2.tar.gz
smtcoq-1.2.zip
Chantal Keller
9 years
Age
Commit message
Author
Files
Lines
2022-05-04
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
SMTCoq-2.0+8.12
Chantal Keller
1
-2
/
+1
2022-05-04
Remove unused record field
SMTCoq-2.0+8.11
Chantal Keller
1
-2
/
+1
2022-05-04
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Chantal Keller
1
-24
/
+24
2022-05-04
Merge remote-tracking branch 'origin/coq-8.10' into coq-8.11
Chantal Keller
1
-24
/
+24
2022-05-04
Merge remote-tracking branch 'origin/coq-8.9' into coq-8.10
Chantal Keller
1
-24
/
+24
2022-05-04
Comment tests
Chantal Keller
1
-24
/
+24
2022-04-14
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Chantal Keller
10
-19
/
+193
2022-04-14
Clean-up
Chantal Keller
5
-14
/
+84
2022-04-14
Port
Chantal Keller
1
-42
/
+45
2022-04-14
Merge remote-tracking branch 'origin/coq-8.11' into timeout_verit
Chantal Keller
126
-6243
/
+3631
[...]
Clone
https://git.ymhg.org/forks/smtcoq
ssh://git@git.ymhg.org:forks/smtcoq