summaryrefslogtreecommitdiff
path: root/src/smt/smt_engine_check_proof.cpp
AgeCommit message (Expand)Author
2018-06-25Updated copyright headers.Aina Niemetz
2017-11-15Adding garbage collection for Proof objects. (#1294)Tim King
2017-08-25Move LFSC checker out of the CVC repository. (#222)Aina Niemetz
2017-08-14Build and test suite fixes for Windows (#186)Mark Laws
2017-07-07Update copyright headers.Mathias Preiner
2016-06-01Merge from proof branchGuy
2016-06-01Revert "Merging proof branch"Guy
2016-06-01Merging proof branchGuy
2016-04-09cardinality operation for finite sets (based on my thesis / ijcar16 paper)Kshitij Bansal
2016-04-03Updating the copyright headers and scripts.Tim King
2016-03-23squash-merge from proof branchGuy
2016-01-28Adding listeners to Options.Tim King
2016-01-26Merged bit-vector and uf proof branch.Liana Hadarean
2016-01-08Removing StatisticsRegistry's static functions current() and registerStat().Tim King
2015-12-29Adding a missing header include for cvc4_assert.h in smt_engine_check_proof.c...Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-10-26This commit fixes a bug related to a public header depending on a compiler fl...Tim King
2015-04-23Added option for --check-unsat-cores and various core bug fixes (merge of Mor...Liana Hadarean
2014-07-01Update copyrights.Morgan Deters
2014-04-10Fix the build; --check-proof works for UF but not for the new UFC logic.Morgan Deters
2013-12-23Proof-checking code; fixups of segfaults and missing functionality in proof g...Morgan Deters
2013-12-16First attempt at incorporating LFSC proof checker into CVC4.Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback