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
20 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
23 months
SMTCoq-2.0+8.12
smtcoq-SMTCoq-2.0+8.12.tar.gz
smtcoq-SMTCoq-2.0+8.12.zip
Chantal Keller
23 months
SMTCoq-2.0+8.11
smtcoq-SMTCoq-2.0+8.11.tar.gz
smtcoq-SMTCoq-2.0+8.11.zip
Chantal Keller
23 months
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-08-02
Add '-package num' to Makefile
HEAD
coq-8.13
Yann Herklotz
1
-1
/
+1
2022-07-30
Extraction for Coq 8.13 (#109)
ckeller
20
-7637
/
+17578
2022-07-29
New case for vauto
Chantal Keller
2
-1
/
+36
2022-05-06
Do not add CompDec on the fly
Chantal Keller
3
-272
/
+386
2022-05-04
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
SMTCoq-2.0+8.13
Chantal Keller
1
-2
/
+1
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
Update installation instructions
Chantal Keller
1
-1
/
+56
2022-05-04
Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13
Chantal Keller
1
-24
/
+24
2022-05-04
Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12
Chantal Keller
1
-24
/
+24
[...]
Clone
https://git.ymhg.org/forks/smtcoq
ssh://git@git.ymhg.org:forks/smtcoq