diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-03-19 09:03:18 -0500 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2014-03-19 09:03:33 -0500 |
| commit | 3d645cc84b733042833d6617e5ccfac214e62a75 (patch) | |
| tree | de89a7dca8c0cd0de642775925b18bb99cfd6f1b /AUTHORS | |
| parent | f6ea27043d68169f392b30885f5b71eefe84e01e (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.
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions