summaryrefslogtreecommitdiff
path: root/src/theory/arith
AgeCommit message (Expand)Author
2018-03-20Internally remove redundant assertions and infer equalities in NonLinearExten...Andrew Reynolds
2018-03-05Enable -Wsuggest-override by default. (#1643)Mathias Preiner
2018-02-27Option to not use partial function semantics for arithmetic div by zero (#1620)Andrew Reynolds
2018-02-20Minor fixes and additions for transcendental functions (#1612)Andrew Reynolds
2018-02-14Quantifiers subdirectories (#1608)Andrew Reynolds
2018-02-07Removing an unused variable. (#1576)Tim King
2018-02-07Add remaining transcendental functions (#1551)Andrew Reynolds
2018-02-06Resolving warnings from -Winconsistent-missing-override on clang. (#1563)Tim King
2018-02-02Restoring ostream format. Resolves a few CIDs 1362780. (#1543)Tim King
2018-01-26Removing structurally dead code. (#1540)Tim King
2018-01-23Commenting out throw specifiers for DeltaRationExceptions. These functions ca...Tim King
2018-01-10Removing throw specifiers for TypeRules. (#1501)Tim King
2018-01-10Removing throw specifiers from type enumerators. (#1502)Tim King
2018-01-09Cleaning up throw specifiers on Exception and subclasses. (#1475)Tim King
2018-01-07Removes RationalFromDoubleException. Replaces this with an explicit M… (#1476)Tim King
2018-01-03Global negate (#1466)Andrew Reynolds
2017-12-20Transcendental functions check model (#1443)Andrew Reynolds
2017-12-08Make collect model info return a Bool (#1421)Andrew Reynolds
2017-11-30Remove remaining references to QuantArith (#1408)Andrew Reynolds
2017-11-28Improve the rewriter for SINE. (#1221)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-11-17Add random number generator. (#1370)Aina Niemetz
2017-11-16(Refactor) Arithmetic monomial sum (#1381)Andrew Reynolds
2017-11-07Combining d_conflictHasBeenRaised and d_conflictIndex into a CDMaybe. (#1332)Tim King
2017-11-07Moving the enum ArithType to partial_model. Adding a new type Unset in the en...Tim King
2017-10-01Refactor check function in last call effort of non-linear extension. (#1175)Andrew Reynolds
2017-08-30Use thread_local instead of compiler extensions (#210)Andres Noetzli
2017-08-23Removing TODO for 'Optimize via the iterator'. Not a priority. (#1051)Tim King
2017-08-17Remove unused SubrangeBound(s) classes (#221)Andres Noetzli
2017-08-11Fix compiler warnings in theory/arith/nonlinear_extension.cppAina Niemetz
2017-08-11Maintain frontier for tangent planes.ajreynol
2017-07-29Change remaining hash_set -> unordered_set (#208)Andres Noetzli
2017-07-22Deprecating the unused convenience_node_builders.h (#203)Tim King
2017-07-20Moving from the gnu extensions for hash maps to the c++11 hash mapsTim King
2017-07-17Use is_sorted, merge, copy from std (#199)Andres Noetzli
2017-07-12Make type rules more strict for operators whose type rules involve subtypes. ...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-05-31Minor fix to last commit.ajreynol
2017-05-31Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ...ajreynol
2017-05-26Checking that equalities belong to the arithmetic theory in the solve() routine.Tim King
2017-05-15Cleanup handling of division (possible fix for bugs 803, 804, 805).ajreynol
2017-04-28Fix bug for real division.ajreynol
2017-04-22Updating TheoryArithPrivate::getDeltaValue() to eagerly use the partial model...Tim King
2017-04-07Change option names for nl.ajreynol
2017-04-05Merge pull request #143 from FabianWolff/masterClark Barrett
2017-04-05Fix bug 698.ajreynol
2017-04-05Fixes for nlAlgSolveSubs.ajreynol
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback