summaryrefslogtreecommitdiff
path: root/src/decision/decision_engine.cpp
AgeCommit message (Expand)Author
2019-12-17Generate code for options with modes. (#3561)Mathias Preiner
2019-03-26Update copyright headers.Aina Niemetz
2018-09-14Refactor how assertions are added to decision engine (#2396)Andres Noetzli
2018-06-25Updated copyright headers.Aina Niemetz
2017-07-07Update copyright headers.Mathias Preiner
2016-04-20update from the masterPaulMeng
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-10-07whitespace fixesKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2013-05-08rm decision/relevancyKshitij Bansal
2013-05-06Disables justification stop only for LRA if the problem contains no ites. Thi...Tim King
2013-04-02Regenerated copyrights: canonicalized names, no emailsMorgan Deters
2013-04-01update copyrightsMorgan Deters
2013-03-20Fix to bug 497: make justification heuristic's ITE cache context-dependent.Morgan Deters
2013-02-16Some cleanup and copyright updatingMorgan Deters
2012-12-04* Add support for --decision=justification + incremental (bug 437)Kshitij Bansal
2012-11-27Simplify --help=decision with only currently supported optionsKshitij Bansal
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-07-31Options merge. This commit:Morgan Deters
2012-06-18tracing code to make sure decision options are being set correctlyKshitij Bansal
2012-06-14This commit:Kshitij Bansal
2012-06-13Make d_result in DE context dependentKshitij Bansal
2012-06-08Merge from decision branch (till r3663)Kshitij Bansal
2012-05-13fixing build warningsDejan Jovanović
2012-05-09Merge from decision branch (ITE support)Kshitij Bansal
2012-04-23Merge from decision branch -- partially working justification heuristicKshitij Bansal
2012-04-19In the constructor of DecisionEngine, there were 2 pointers that were assumed...Tim King
2012-04-17A dummy decision engine. Expected performance impact: none.Kshitij Bansal
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback