diff options
author | ckeller <ckeller@users.noreply.github.com> | 2022-07-30 16:42:50 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-30 16:42:50 +0200 |
commit | de9c46d059ddd38c0c1922d91cb788c3d550d488 (patch) | |
tree | db0cdadd6853877cc02be40b325388f0a4d68a24 /examples/Non_terminating.v | |
parent | d5697269991500ed1b4b3e6bbec6108ea3a059bb (diff) | |
download | smtcoq-de9c46d059ddd38c0c1922d91cb788c3d550d488.tar.gz smtcoq-de9c46d059ddd38c0c1922d91cb788c3d550d488.zip |
Extraction for Coq 8.13 (#109)
Extraction is back! Some new features:
* Not only an executable is generated, but the ZChaff and veriT checkers are available through a package called Smtcoq_extr
* The command-line arguments are better handled
* The veriT checker is now the default
Diffstat (limited to 'examples/Non_terminating.v')
0 files changed, 0 insertions, 0 deletions