Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. added support for cvc5 (whose interface is almost identical to CVC4)
Changeset 75806:2b106aae897c by blanchet:
added support for cvc5 (whose interface is almost identical to CVC4)
The file was addedsrc/HOL/Tools/SMT/cvc_interface.ML
The file was addedsrc/HOL/Tools/SMT/cvc_proof_parse.ML
The file was modified NEWS
The file was modified src/Doc/Sledgehammer/document/root.tex
The file was modified src/Doc/manual.bib
The file was modified src/HOL/SMT.thy
The file was modified src/HOL/Tools/SMT/smt_systems.ML
The file was removedsrc/HOL/Tools/SMT/cvc4_interface.ML
The file was removedsrc/HOL/Tools/SMT/cvc4_proof_parse.ML