Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Switching to a variable-page-size memory manager for clauses and proofs. | Alan Mishchenko | 2012-03-21 | 1 | -1/+1 |
| | |||||
* | Improved memory management of proof-logging and propagated changes. | Alan Mishchenko | 2012-02-16 | 1 | -25/+9 |
| | |||||
* | Computing interpolants as truth tables. | Alan Mishchenko | 2011-12-22 | 1 | -0/+315 |