Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | compatibility with safe-strings (ocaml >= 4.06.0) | Valentin Blot | 2018-11-06 | 1 | -17/+17 |
| | | | | | | | | | | | | | | | | | The parser for zchaff certificates now uses Bytes instead of Strings. This has been tested against: - ocaml 4.02.3 + coq 8.6.1 - ocaml 4.02.3 + native-coq trunk - ocaml 4.05.0 + coq 8.6.1 - ocaml 4.05.0 + native-coq trunk - ocaml 4.07.1 + native-coq trunk ocaml 4.07.1 with coq 8.6.1 can not be tested since coq 8.6.1 requires ocaml < 4.06.0. Newer versions of coq (8.7, 8.8) have not been tested either since smtcoq has not been ported to these versions yet. | ||||
* | Adding support for lemmas in the command verit | Quentin Garchery | 2018-10-28 | 1 | -2/+2 |
| | |||||
* | Updating of the copyright | Chantal Keller | 2016-04-27 | 1 | -2/+3 |
| | |||||
* | Initial import of SMTCoq v1.2 | Chantal Keller | 2015-01-12 | 1 | -0/+178 |