summaryrefslogtreecommitdiff
path: root/src/decision/decision_engine.h
AgeCommit message (Expand)Author
2017-03-02Minor cleanup and reorganization related to last commit.ajreynol
2016-04-20update from the masterPaulMeng
2016-02-02Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ...Tim King
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2015-05-28added options for controlling resource step-count for various solving stagesLiana Hadarean
2014-11-17Resource-limiting work.Liana Hadarean
2014-10-07whitespace fixesKshitij Bansal
2014-07-01Update copyrights.Morgan Deters
2014-06-25cosmeticKshitij Bansal
2013-12-05Update copyrights, add missing file-level documentation; fix perms.Morgan Deters
2013-05-06Disables justification stop only for LRA if the problem contains no ites. Thi...Tim King
2013-04-26Merge experimental decisionweight branchKshitij Bansal
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
2012-12-04* Add support for --decision=justification + incremental (bug 437)Kshitij Bansal
2012-10-11Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it'sMorgan Deters
2012-09-24Fix the memout issue seen in recent nightly regressions (was due to aMorgan Deters
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-27Fixed warning in decision_engine.h, minor tweak to caregraph function inClark Barrett
2012-04-23Merge from decision branch -- partially working justification heuristicKshitij Bansal
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