summaryrefslogtreecommitdiff
path: root/src/theory/arith/nonlinear_extension.cpp
AgeCommit message (Expand)Author
2019-12-18Increment Taylor degree for tangent and secant plane inferences for transcend...Andrew Reynolds
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-12-11Do not substitute beneath arithmetic terms in the non-linear solver (#3324)Andrew Reynolds
2019-12-05Make nonlinear solver intercept model assignments from the linear arithmetic ...Andrew Reynolds
2019-12-03Improve flexibility of lemma output in non-linear solver (#3518)Andrew Reynolds
2019-11-12Refactor non-linear extension for model-based refinement (#3452)Andrew Reynolds
2019-11-05Separate model object in non-linear extension (#3426)Andrew Reynolds
2019-10-30Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)Mathias Preiner
2019-10-29Split some generic utilities from the non-linear extension (#3419)Andrew Reynolds
2019-10-28Fix for non-linear models (#3410)Andrew Reynolds
2019-08-23Fix argument in nonlinear extension. (#3216)Andrew Reynolds
2019-06-11NA Tangent reverse implication (#3050)Ahmed Irfan
2019-03-26Update copyright headers.Aina Niemetz
2019-03-14Use zero slope tangent planes for transcendental functions (#2803)Andrew Reynolds
2018-09-27Fix Taylor overapproximation for large exponentials (#2538)Andrew Reynolds
2018-09-24 Improve non-linear check model error handling (#2497)Andrew Reynolds
2018-09-13Simplify storing of transcendental function applications that occur in assert...Andrew Reynolds
2018-08-16Move node algorithms to separate file (#2311)Andres Noetzli
2018-07-17 Purify applications of exp to transcendental arguments (#2097)Andrew Reynolds
2018-07-06Split ext theory to own file and document (#1809)Andrew Reynolds
2018-06-25Updated copyright headers.Aina Niemetz
2018-05-25Fix various nl assertions. (#1980)Andrew Reynolds
2018-05-24Fix (#1975)Andrew Reynolds
2018-05-24Fixes for non-linear check model (#1974)Andrew Reynolds
2018-05-23Remove spurious assertion in nonlinear extension (#1972)Andrew Reynolds
2018-05-23Generalize check-model in NonLinearExtension for quadratic equations (#1892)Andrew Reynolds
2018-05-03Option to interleave tangent plane inferences (#1833)Andrew Reynolds
2018-05-01Improve tangent planes for transcendental functions (#1832)Andrew Reynolds
2018-04-29Make factoring inference more aggressive (#1825)Andrew Reynolds
2018-04-29Refactor nonlinear check (#1814)Andrew Reynolds
2018-04-29Improvements to simple transcendental function check model. (#1823)Andrew Reynolds
2018-04-27Simplify tangent plane direction (#1824)Andrew Reynolds
2018-04-25Remove nl solve subs option. (#1803)Andrew Reynolds
2018-04-03Use choice when expanding definitions for inverse transcendental functions (#...Andrew Reynolds
2018-03-30Do not use factoring inference for transcendental functions (#1707)Andrew Reynolds
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-07Removing an unused variable. (#1576)Tim King
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2017-12-20Transcendental functions check model (#1443)Andrew Reynolds
2017-11-30Remove remaining references to QuantArith (#1408)Andrew Reynolds
2017-11-24Implement tangent and secant planes for transcendental functions (#1401)Andrew Reynolds
2017-11-22Transcendental tangent planes utilities (#1288)Andrew Reynolds
2017-10-01Refactor check function in last call effort of non-linear extension. (#1175)Andrew Reynolds
2017-08-11Fix compiler warnings in theory/arith/nonlinear_extension.cppAina Niemetz
2017-08-11Maintain frontier for tangent planes.ajreynol
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
2017-07-07Update copyright headers.Mathias Preiner
2017-06-14Fix uninitialized valueAndres Noetzli
2017-04-07Change option names for nl.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback