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

Age	Commit message (Expand)	Author
2016-12-22	Avoid mixing new/delete with malloc/freefix_mem_leaks	Andres Notzli
2016-12-21	Fix memory leaks in proof-checker expressions	Andres Notzli
2016-09-25	Adding virtual destructors to several classes in expr.h .	Tim King
2016-08-15	Expression sharing on demand in LFSC (replace definitionally equivalent child...	ajreynol
2016-05-05	Compute term indices lazily in TermDb. Optimization for qcf to recognize irre...	ajreynol
2016-05-02	Clean up issues related to compiled scc in LFSC. Refactor --partial-trigger, ...	ajreynol
2015-04-23	A few more minor updates to match google repository with CVC4 repository	Clark Barrett
2015-04-21	Changes needed to compile at Google, plus some bug fixes from Google.	Clark Barrett
2014-05-23	Fix bug in E-matching Real/Int terms.	Andrew Reynolds
2014-05-16	lfsc_checker: fix some warnings reported by _both_ gcc and clang	Kshitij Bansal
2014-03-19	Fix a memory leak in LFSC proof checker. Largest QF_UF proof from Morgan (pr...	Andrew Reynolds
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