History log of /seL4-l4v-master/l4v/isabelle/src/HOL/Tools/SMT/cvc4_proof_parse.ML
Revision Date Author Comments
# 22da81d0 19-Nov-2014 blanchet <none@none>

parse CVC4 unsat cores
# f6662567 25-Apr-2015 blanchet <none@none>

made CVC4 support work also without unsat cores