| Age | Commit message (Expand) | Author |
|---|
| 2018-01-04 | Removing miscellaneous throw specifiers. (#1474) | Tim King |
| 2017-11-17 | Add random number generator. (#1370) | Aina Niemetz |
| 2017-07-07 | Update copyright headers. | Mathias Preiner |
| 2017-03-02 | Minor cleanup and reorganization related to last commit. | ajreynol |
| 2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
| 2016-04-20 | update from the master | PaulMeng |
| 2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
| 2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2014-10-19 | fix statistic in decision engine | Kshitij Bansal |
| 2014-10-14 | amend prvs commit | Kshitij Bansal |
| 2014-10-14 | trace decision-node | Kshitij Bansal |
| 2014-10-07 | whitespace fixes | Kshitij Bansal |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-04-30 | decision engine: cache start index for and/or nodes | Kshitij Bansal |
| 2013-12-24 | Minor code cleanup. | Morgan Deters |
| 2013-08-26 | bug 374 fix: assert litVal=desiredVal only for leaf nodes1.2.x | Kshitij Bansal |
| 2013-04-26 | Merge experimental decisionweight branch | Kshitij Bansal |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-03-20 | Fix to bug 497: make justification heuristic's ITE cache context-dependent. | Morgan Deters |
| 2013-02-16 | decision: jh: more refactoring (.h->.cpp, xor/iff) | Kshitij Bansal |
| 2013-02-16 | decision/ : jh: refactor embedded ITE, other minor | Kshitij Bansal |
| 2013-02-16 | decision/: justification: refactor ITE out | Kshitij Bansal |
| 2013-02-16 | refactoring justification_heuristic code | Kshitij Bansal |
| 2013-02-16 | rm decision jh GiveUp related code | Kshitij Bansal |
| 2012-12-06 | Fix performance issue in a DFS search (bug 474) | Kshitij Bansal |
| 2012-12-04 | * Add support for --decision=justification + incremental (bug 437) | Kshitij Bansal |
| 2012-11-27 | Simplify --help=decision with only currently supported options | Kshitij Bansal |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-08-29 | * Numerous documentation fixes (fix doxygen warnings, add missing documentati... | Morgan Deters |
| 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 |
