summaryrefslogtreecommitdiff
path: root/src/decision/decision_engine.h
AgeCommit message (Expand)Author
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