summaryrefslogtreecommitdiff
path: root/test/regress/regress1/nl
AgeCommit message (Expand)Author
2018-06-04Only enable transcendentals if logic is N[I]RAT (#2052)Andres Noetzli
2018-05-24Fix nl regression for unsat cores. (#1973)Andrew Reynolds
2018-05-23Generalize check-model in NonLinearExtension for quadratic equations (#1892)Andrew Reynolds
2018-05-01Improve tangent planes for transcendental functions (#1832)Andrew Reynolds
2018-04-30Disable unsat-cores/proofs for slow regression (#1835)Andres Noetzli
2018-04-29Make factoring inference more aggressive (#1825)Andrew Reynolds
2018-04-03Use choice when expanding definitions for inverse transcendental functions (#...Andrew Reynolds
2018-03-21 Move regression tests to single Makefile.am (#1658)Andres Noetzli
2018-03-20Internally remove redundant assertions and infer equalities in NonLinearExten...Andrew Reynolds
2018-02-20Minor fixes and additions for transcendental functions (#1612)Andrew Reynolds
2018-02-15Refactor regressions (#1581)Andrew Reynolds
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback