Age | Commit message (Expand) | Author |
---|---|---|
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2011-10-29 | fix some doxygen warnings | Morgan Deters |
2011-10-29 | Support for SMT-LIBv2 (get-proof), CVC-style DUMP_PROOF command, SmtEngine::g... | Morgan Deters |
2011-10-28 | * ability to output NodeBuilders without first converting them to Nodes---use... | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |