diff options
author | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 17:51:15 +0100 |
---|---|---|
committer | Valentin Blot <24938579+vblot@users.noreply.github.com> | 2018-11-06 17:51:15 +0100 |
commit | e2173b71befd81885743e9fe9cd77017d329a0ac (patch) | |
tree | bb3f21c5843f983071a1bee16285d19c7c8929ca /src/Conversion_tactics.v | |
parent | 184f1644fe15cc78e72cea799f3f85cb36b32627 (diff) | |
download | smtcoq-e2173b71befd81885743e9fe9cd77017d329a0ac.tar.gz smtcoq-e2173b71befd81885743e9fe9cd77017d329a0ac.zip |
compatibility with safe-strings (ocaml >= 4.06.0)
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.
Diffstat (limited to 'src/Conversion_tactics.v')
0 files changed, 0 insertions, 0 deletions