cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Age	Commit message (Expand)	Author
2014-03-19	Fix proof signatures makefile	Morgan Deters
2014-03-19	Fix a memory leak in LFSC proof checker. Largest QF_UF proof from Morgan (pr...	Andrew Reynolds
2014-03-14	dos2unix on the proof signatures, and fix the makefile.	Morgan Deters
2014-03-13	Add working example of LFSC proof with quantifiers. Update quantifiers signa...	Andrew Reynolds
2014-03-12	Work on array pf signature, add working example. Add quantifiers proof signa...	Andrew Reynolds
2014-01-03	Added support for proof production in Equality Engine. Cleaned up existing p...	Andrew Reynolds
2013-12-23	Proof-checking code; fixups of segfaults and missing functionality in proof g...	Morgan Deters
2013-12-18	Reduce autoconf version for dependence (should fix 32-bit builds).	Morgan Deters
2013-12-16	First attempt at incorporating LFSC proof checker into CVC4.	Morgan Deters
2013-10-03	Adding example proof signatures for LFSC.	Andrew Reynolds