summaryrefslogtreecommitdiff
path: root/test/regress/regress0/nl
AgeCommit message (Expand)Author
2021-07-07Rename operator pow2 to int.pow2. (#6849)Aina Niemetz
2021-06-30pow2: new test (#6819)yoni206
2021-06-28Rewrite POW to POW2 when the base is 2 (#6806)yoni206
2021-06-25pow2 -- final changes (#6800)yoni206
2021-06-17Fix build without libpoly (#6759)Andres Noetzli
2021-05-17Improve integration of CAD with nl-Ext (#6542)Gereon Kremer
2021-04-25More check models (#6439)Andrew Reynolds
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-16ci: Enable checking of proofs + unsat cores. (#6088)Mathias Preiner
2021-03-06Remove SMT-LIB 2.5 and 2.0 support. (#6068)Mathias Preiner
2021-02-25Move slow regressions to regress1 (#5999)Andrew Reynolds
2021-02-02(proof-new) Miscellaneous fixes and regressions (#5841)Andrew Reynolds
2021-01-11Remove extended rewrite for arithmetic (#5760)Andrew Reynolds
2021-01-07Make sure polynomials are properly factorized in nl-cad (#5733)Gereon Kremer
2020-11-26Make CAD solver work for empty set of assertions (#5535)Gereon Kremer
2020-11-18Do not expand definitions of extended arithmetic operators (#5433)Andrew Reynolds
2020-10-28Fixes for unconstrained variables in nonlinear model (#5351)Andrew Reynolds
2020-07-13Fix caching in TheoryEngine::getExplanation() (#4736)Andres Noetzli
2020-06-22Add trascendental function kinds to list of unevaluated operators (#4640)Andrew Reynolds
2020-05-19Renamed operator CHOICE to WITNESS (#4207)mudathirmahgoub
2020-04-08Perform theory widening eagerly (#4044)Andres Noetzli
2020-03-26Added unit-cube-like test for branch and bound (#3922)Amalee
2020-03-10Fix real to int for parameterized kinds (#4016)Andrew Reynolds
2020-03-09Make registration of unit clauses more robust (#3965)Andres Noetzli
2020-02-29 Throw warning instead of error for non-constant values in check-model stages...Andrew Reynolds
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback