projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix eXecutable bit on a script
[cvc5.git] / src / proof /
2012-07-07 Morgan DetersVarious fixes to documentation---typos, some incomplete... tree | commitdiff
2011-11-01 Morgan DetersImprovements to header installation on user machines... tree | commitdiff
2011-10-29 Morgan Detersfix some doxygen warnings tree | commitdiff
2011-10-29 Morgan DetersSupport for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF... tree | commitdiff
2011-10-28 Morgan Deters* ability to output NodeBuilders without first converti... tree | commitdiff
2011-10-28 Liana Hadareanmerged the proofgen3 branch into trunk: tree | commitdiff