summaryrefslogtreecommitdiff
path: root/src/theory/arith/nonlinear_extension.cpp
AgeCommit message (Expand)Author
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
2017-04-05Fixes for nlAlgSolveSubs.ajreynol
2017-04-05Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON...ajreynol
2017-04-02Adding a model based axiom instantiation scheme for multiplication. Merge com...Tim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback