Age | Commit message (Expand) | Author |
---|---|---|
2017-08-25 | Move LFSC checker out of the CVC repository. (#222) | Aina Niemetz |
2017-07-29 | Change remaining hash_set -> unordered_set (#208) | Andres Noetzli |
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 |