Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-11-03 | Sygus clean main (#1297) | Andrew Reynolds | |
* Remove front end hack for sygus. * Remove other hack, add sygus solution output mode. * Clang format * Minor * Fix * Minor * Remove unused field. | |||
2017-08-14 | Build and test suite fixes for Windows (#186) | Mark Laws | |
- Build fixes for Windows - Make proof checking tempfile handling portable - Test suite fixes for Windows | |||
2017-07-05 | Fix for logic info, update regressions. Update casc tfa script. | ajreynol | |
2017-07-05 | Non-linear supported in ALL logics. Minor fixes for set logic with sygus. | ajreynol | |
2017-04-02 | Adding a model based axiom instantiation scheme for multiplication. Merge ↵ | Tim King | |
commit for nlAlgMaster. | |||
2017-01-10 | Adding regression test scrubbing. | Tim King | |