| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Integrating old SAT solver into majexact and twoexact. | Alan Mishchenko | 2017-10-19 | 1 | -0/+1 |
| * | Exact synthesis of majority gates. | Alan Mishchenko | 2017-10-01 | 1 | -0/+1 |
| * | Integrating Glucose into &bmcs -g. | Alan Mishchenko | 2017-09-06 | 1 | -0/+1 |
| * | Experiments with BMC. | Alan Mishchenko | 2017-07-22 | 1 | -0/+1 |
| * | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -0/+1 |
| * | Synthesis for mesh of LUTs. | Alan Mishchenko | 2017-03-17 | 1 | -0/+1 |
| * | Experiments with generating sat assignments. | Alan Mishchenko | 2016-05-14 | 1 | -0/+1 |
| * | New command 'expand' to expand SOPs against the offset. | Alan Mishchenko | 2016-05-12 | 1 | -0/+1 |
| * | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 1 | -0/+1 |
| * | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-05 | 1 | -0/+1 |
| * | Experimental implementation of BMC-related procedures. | Alan Mishchenko | 2014-11-04 | 1 | -0/+1 |
| * | Simple version of ECO. | Alan Mishchenko | 2014-05-21 | 1 | -0/+1 |
| * | Adding command to dump UNSAT core of BMC instance. | Alan Mishchenko | 2014-04-07 | 1 | -1/+2 |
| * | Better CEX minimization and renaming of write_counter into write_cex. | Alan Mishchenko | 2014-04-04 | 1 | -0/+1 |
| * | Experiments with recent ideas. | Alan Mishchenko | 2014-03-20 | 1 | -2/+3 |
| * | Experiments with recent ideas. | Alan Mishchenko | 2014-03-19 | 1 | -0/+1 |
| * | Experiments with recent ideas. | Alan Mishchenko | 2014-03-18 | 1 | -0/+1 |
| * | Experiments with delay fault testing. | Alan Mishchenko | 2014-03-04 | 1 | -0/+1 |
| * | Specialized induction check. | Alan Mishchenko | 2013-10-31 | 1 | -0/+1 |
| * | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 1 | -0/+1 |
| * | Updates for the new BMC engine. | Alan Mishchenko | 2013-09-05 | 1 | -0/+1 |
| * | SAT solver with dynamic CNF loading. | Alan Mishchenko | 2013-08-01 | 1 | -0/+1 |
| * | Counter-example depth minimization. | Alan Mishchenko | 2013-05-22 | 1 | -0/+1 |
| * | User-controlable SAT sweeper and other small changes. | Alan Mishchenko | 2013-02-27 | 1 | -2/+1 |
| * | New unrolling manager. | Alan Mishchenko | 2012-12-24 | 1 | -1/+2 |
| * | Counter-example analysis and optimization. | Alan Mishchenko | 2012-11-28 | 1 | -1/+2 |
| * | Isolating BMC code into a separate package. | Alan Mishchenko | 2012-11-14 | 1 | -0/+7 |
