| Age | Commit message (Expand) | Author |
|---|
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-06-14 | Fix uninitialized value | Andres Noetzli |
| 2017-05-31 | Minor fix to last commit. | ajreynol |
| 2017-05-31 | Change to-int, div, int-div skolems from CDAttribute to stored in CDHashMap. ... | ajreynol |
| 2017-05-26 | Checking that equalities belong to the arithmetic theory in the solve() routine. | Tim King |
| 2017-05-15 | Cleanup handling of division (possible fix for bugs 803, 804, 805). | ajreynol |
| 2017-04-28 | Fix bug for real division. | ajreynol |
| 2017-04-22 | Updating TheoryArithPrivate::getDeltaValue() to eagerly use the partial model... | Tim King |
| 2017-04-07 | Change option names for nl. | ajreynol |
| 2017-04-05 | Merge pull request #143 from FabianWolff/master | Clark Barrett |
| 2017-04-05 | Fix bug 698. | ajreynol |
| 2017-04-05 | Fixes for nlAlgSolveSubs. | ajreynol |
| 2017-04-05 | Add non-linear regressions, disable nlAlgSubs, do not do rep checking for NON... | ajreynol |
| 2017-04-05 | Fix several spelling errors | Fabian Wolff |
| 2017-04-04 | Simplify Theory::collectModelInfo interface to not take deprecated fullModel ... | ajreynol |
| 2017-04-02 | Adding a model based axiom instantiation scheme for multiplication. Merge com... | Tim King |
| 2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
| 2017-01-10 | Adding regression test scrubbing. | Tim King |
| 2016-12-11 | Merge branch 'master' into fix_order | Clark Barrett |
| 2016-12-09 | Fixing a use after free bug in Polynomial::denominatorLCM. | Tim King |
| 2016-12-08 | Fix initialization order | Andres Notzli |
| 2016-12-02 | Initializing the d_pivots variable. | Tim King |
| 2016-10-02 | Removing an unused member from TreeLog. | Tim King |
| 2016-09-25 | Fixing a potential use after free coming from a pop_back() call invalidating ... | Tim King |
| 2016-09-12 | Remove old implementation of cbqi | ajreynol |
| 2016-04-14 | Add option --snorm-infer-eq to infer equalities based on normalization in Ari... | ajreynol |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2016-01-15 | Type enumerators take optional argument indicating fixed cardinalities of uni... | ajreynol |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
| 2016-01-05 | Add SmtGlobals Class | Tim King |
| 2015-12-24 | Miscellaneous fixes | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-11-03 | Fixing typo. | Tim King |
| 2015-10-26 | This commit fixes a bug related to a public header depending on a compiler fl... | Tim King |
| 2015-06-15 | Fixing an assertion Constraint::assertionFringe(...) to allow hasTrichotomyPr... | Tim King |
| 2015-06-14 | Handing the case in replay where a cut is directly in conflict with an existi... | Tim King |
| 2015-06-14 | Fixes for shared term normalization in replay for constraint construction. | Tim King |
| 2015-06-14 | Turning off aggressive arith ite simplifications during incremental solving. | Tim King |
| 2015-06-13 | Restricting TheoryArith to computeRelevantTerms. | Tim King |
| 2015-06-13 | A return value for an ApproxGLPK::loadVB() failure case was incorrect. | Tim King |
| 2015-06-12 | In TheoryArithPrivate::vectorToIntHoleConflict, adding check for whether or n... | Tim King |
| 2015-05-28 | added options for controlling resource step-count for various solving stages | Liana Hadarean |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2015-04-18 | Farkas proof coefficients. | Tim King |
| 2015-03-25 | change const are triggers from false to true in equality engines | Kshitij Bansal |
| 2014-12-26 | Adding an option to the equality engine constructor to treat all constants as | Dejan Jovanovic |
| 2014-11-17 | Short-circuit in TheoryArithPrivate::check(), care of Tim. | Morgan Deters |
| 2014-11-17 | New, uniform checkTime statistic for all theories (as discussed in meeting). | Morgan Deters |
| 2014-08-24 | improvements to sets sharing | Kshitij Bansal |
