Age | Commit message (Expand) | 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 com... | Tim King |
2017-01-10 | Adding regression test scrubbing. | Tim King |