projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Proof-checking code; fixups of segfaults and missing functionality in proof generatio...
[cvc5.git] / src / proof / proof.h
2013-12-23 Morgan DetersProof-checking code; fixups of segfaults and missing... blob | commitdiff | raw
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails blob | commitdiff | raw | diff to current
2013-04-02 Morgan Detersupdate copyrights blob | commitdiff | raw | diff to current
2012-10-11 Morgan DetersStandardizing copyright notice. Touches **ALL** source... blob | commitdiff | raw | diff to current
2012-09-24 Morgan DetersFix the memout issue seen in recent nightly regressions... blob | commitdiff | raw | diff to current
2012-09-15 Morgan Detersminor interface improvements, compliance fixes blob | commitdiff | raw | diff to current
2012-08-03 Morgan Detersfix for proofs-enabled builds blob | commitdiff | raw | diff to current
2012-07-31 Morgan DetersOptions merge. This commit: blob | commitdiff | raw | diff to current
2011-10-29 Morgan DetersSupport for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... blob | commitdiff | raw | diff to current
2011-10-28 Morgan Deters* ability to output NodeBuilders without first converti... blob | commitdiff | raw | diff to current
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk: blob | commitdiff | raw | diff to current