projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6ea270) | patch
Fix a memory leak in LFSC proof checker. Largest QF_UF proof from Morgan (problemati...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 Mar 2014 14:03:18 +0000 (09:03 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 Mar 2014 14:03:33 +0000 (09:03 -0500)
commit3d645cc84b733042833d6617e5ccfac214e62a75
treede89a7dca8c0cd0de642775925b18bb99cfd6f1btree
parentf6ea27043d68169f392b30885f5b71eefe84e01ecommit | diff
Fix a memory leak in LFSC proof checker.  Largest QF_UF proof from Morgan (problematic-lfsc-pf) now successfully checks in 58 seconds using ~8 GB memory.  Add example test proof.
proofs/lfsc_checker/check.cpp diff | blob | history
proofs/lfsc_checker/code.cpp diff | blob | history
proofs/lfsc_checker/expr.cpp diff | blob | history
proofs/signatures/ex-mem.plf [new file with mode: 0755] blob