Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Concurrency for Boolean matching. | Alan Mishchenko | 2014-09-18 | 2 | -3/+11 |
| | |||||
* | Enabling circuit solver in &fraig. | Alan Mishchenko | 2014-08-12 | 5 | -11/+94 |
| | |||||
* | Bug fix in &fraig -L <num>. | Alan Mishchenko | 2014-08-12 | 1 | -2/+2 |
| | |||||
* | Improvements to CNF generation. | Alan Mishchenko | 2014-06-23 | 1 | -0/+12 |
| | |||||
* | Experiments with cofactoring variables. | Alan Mishchenko | 2014-06-20 | 1 | -6/+76 |
| | |||||
* | Bug fix in timeout of &splitprove. | Alan Mishchenko | 2014-06-16 | 1 | -1/+1 |
| | |||||
* | Bug fix in CEC generation after rarity simulation and few small changes. | Alan Mishchenko | 2014-06-16 | 1 | -1/+1 |
| | |||||
* | Adding support of multi-output problems in &splitprove. | Alan Mishchenko | 2014-06-15 | 1 | -1/+31 |
| | |||||
* | Various modifications. | Alan Mishchenko | 2014-06-12 | 1 | -6/+5 |
| | |||||
* | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+5 |
| | |||||
* | Adding print-out to &splitprove to see impact of cof variable on AIG size. | Alan Mishchenko | 2014-06-07 | 1 | -5/+25 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -0/+4 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+4 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -132/+155 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -5/+5 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -29/+250 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -4/+11 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -6/+7 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -9/+42 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -52/+59 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -2/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -1/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-04 | 1 | -46/+108 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-02 | 1 | -8/+9 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-02 | 1 | -0/+1 |
| | |||||
* | Adding CEC command &splitprove. | Alan Mishchenko | 2014-06-02 | 1 | -20/+160 |
| | |||||
* | Code to explore cofactors of CEC problems. | Alan Mishchenko | 2014-06-02 | 1 | -0/+213 |
| | |||||
* | Adding switch to handle only single faults. | Alan Mishchenko | 2014-04-01 | 1 | -1/+1 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2014-03-31 | 1 | -1/+1 |
| | |||||
* | Undoing previous change, which was made by mistake. | Alan Mishchenko | 2014-03-31 | 1 | -1/+1 |
| | |||||
* | Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs ↵ | Alan Mishchenko | 2014-03-31 | 1 | -1/+1 |
| | | | | instead of miliseconds. | ||||
* | Adding new code to verify invariant derived by 'pdr'. | Alan Mishchenko | 2014-03-30 | 2 | -1/+83 |
| | |||||
* | Synchronizing with the recent version. | Alan Mishchenko | 2014-03-16 | 1 | -2/+2 |
| | |||||
* | Significant improvement to LUT mappers (if, &if). | Alan Mishchenko | 2014-02-16 | 1 | -1/+1 |
| | |||||
* | Handing trivially UNSAT outputs in 'pdr'. | Alan Mishchenko | 2014-02-13 | 1 | -0/+10 |
| | |||||
* | Initial new interpolation code. | Alan Mishchenko | 2014-01-28 | 7 | -0/+1254 |
| | |||||
* | Tuning for multi-ouptut solver. | Alan Mishchenko | 2013-11-05 | 1 | -1/+1 |
| | |||||
* | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 1 | -1/+1 |
| | |||||
* | Sweeper internal verification and new switch for &cfraig. | Alan Mishchenko | 2013-11-01 | 2 | -2/+9 |
| | |||||
* | Sweeper internal verification. | Alan Mishchenko | 2013-11-01 | 1 | -0/+43 |
| | |||||
* | Sweeper condition complement bug-fix and code for internal verification. | Alan Mishchenko | 2013-11-01 | 1 | -1/+1 |
| | |||||
* | Sweeper assertion. | Alan Mishchenko | 2013-11-01 | 1 | -0/+2 |
| | |||||
* | Sweeper assertion. | Alan Mishchenko | 2013-11-01 | 1 | -0/+1 |
| | |||||
* | Sweeper return value normalization. | Alan Mishchenko | 2013-11-01 | 2 | -7/+17 |
| | |||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-26 | 1 | -0/+2 |
| | |||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-26 | 1 | -2/+2 |
| | |||||
* | Multi-output property solver. | Alan Mishchenko | 2013-10-23 | 2 | -0/+13 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2013-10-17 | 3 | -4/+6 |
| |