summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl
AgeCommit message (Expand)Author
2018-08-24Refactor nlExtPurify preprocessing pass (#1963)Haniel Barbosa
2018-08-21Makes the new row propagation system default (#2335)Haniel Barbosa
2018-08-16Refactor extended rewriter preprocessing pass (#2324)Haniel Barbosa
2018-06-04Only enable transcendentals if logic is N[I]RAT (#2052)Andres Noetzli
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-02-20Minor fixes and additions for transcendental functions (#1612)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2017-12-20Transcendental functions check model (#1443)Andrew Reynolds
2017-11-27Fix models for --solve-real-as-int. (#1371)Andrew Reynolds
2017-11-24Implement tangent and secant planes for transcendental functions (#1401)Andrew Reynolds
2017-11-15Reenable some regressions, minor. (#1369)Andrew Reynolds
2017-10-01Refactor check function in last call effort of non-linear extension. (#1175)Andrew Reynolds
2017-07-10Add nl regression.ajreynol
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
2017-07-05Non-linear supported in ALL logics. Minor fixes for set logic with sygus.ajreynol
2017-05-15Cleanup handling of division (possible fix for bugs 803, 804, 805).ajreynol
2017-04-28Minor fixesajreynol
2017-04-28Fix bug for real division.ajreynol
2017-04-07Change option names for nl.ajreynol
2017-04-05Fix bug 698.ajreynol
2017-04-05Remove extraneous portion of an nl regression.ajreynol
2017-04-05Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback