summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl
AgeCommit message (Expand)Author
2020-02-07Refactor check-model handling in SmtEngine (#3723)Andrew Reynolds
2020-02-06Fix exact sqrt (#3721)Andrew Reynolds
2020-01-30Do not debug check model for models with approximations (#3673)Andrew Reynolds
2019-12-05Make nonlinear solver intercept model assignments from the linear arithmetic ...Andrew Reynolds
2019-11-18Fix reduction of `sqrt` (#3478)Andres Noetzli
2019-10-28Fix for non-linear models (#3410)Andrew Reynolds
2019-09-24Return choice functions for approximate values in get-value (#3304)Andrew Reynolds
2019-06-12Refactor parser to define fewer tokens for symbols (#2936)Andres Noetzli
2019-03-14Use zero slope tangent planes for transcendental functions (#2803)Andrew Reynolds
2018-09-22cmake: Added regression tests and target make regress.Aina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
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