History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/SMT/cvc4_interface.ML
Revision Date Author Comments
# f9beda92 29-Aug-2017 blanchet <none@none>

towards support for HO SMT-LIB
# 115a9090 17-Feb-2015 blanchet <none@none>

use more permissive logic for CVC4 (in case both reals and datatypes appear)
# 184e40ea 20-Nov-2014 blanchet <none@none>

set right logic for CVC4 with (co)datatypes
# a3143a1d 18-Sep-2014 blanchet <none@none>

fixed authorship
# f4f8c25c 17-Sep-2014 blanchet <none@none>

added interface for CVC4 extensions