summaryrefslogtreecommitdiff
path: root/src/options/arith_options
AgeCommit message (Expand)Author
2018-03-21Refactor mkoptions (#1631)Mathias Preiner
2018-02-27Option to not use partial function semantics for arithmetic div by zero (#1620)Andrew Reynolds
2017-12-20Transcendental functions check model (#1443)Andrew Reynolds
2017-11-24Implement tangent and secant planes for transcendental functions (#1401)Andrew Reynolds
2017-07-10Merge ntExt branch. Adds support for transcendental functions. Refactoring of...ajreynol
2017-06-28Enable non-linear solve by default, update regressions.ajreynol
2017-04-07Change option names for nl.ajreynol
2017-04-05Merge pull request #143 from FabianWolff/masterClark Barrett
2017-04-05Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON...ajreynol
2017-04-05Fix several spelling errorsFabian Wolff
2017-04-02Adding a model based axiom instantiation scheme for multiplication. Merge com...Tim King
2016-04-20update from the masterPaulMeng
2016-01-28Adding listeners to Options.Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback