Age | Commit message (Expand) | Author |
---|---|---|
2012-08-26 | minor, lying around in a wd (related to investigating bug 374) | Kshitij Bansal |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-06-16 | This is an attempt to fix the bug in the justification heuristic. The | Kshitij Bansal |
2012-06-15 | Bug fix in justification heuristic. Had to do with how | Kshitij Bansal |
2012-06-14 | bug fixes in justification heuristic | Kshitij Bansal |
2012-06-08 | Merge from decision branch (till r3663) | Kshitij Bansal |
2012-05-09 | Merge from decision branch (ITE support) | Kshitij Bansal |
2012-05-03 | Some cleanup starting off from trying to understand the sharing code. Changes... | Dejan Jovanović |
2012-04-23 | Merge from decision branch -- partially working justification heuristic | Kshitij Bansal |
2012-04-17 | A dummy decision engine. Expected performance impact: none. | Kshitij Bansal |