Age | Commit message (Expand) | Author |
---|---|---|
2014-04-10 | Fix the build; --check-proof works for UF but not for the new UFC logic. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |