Age | Commit message (Collapse) | Author | |
---|---|---|---|
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 | |