Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | New command %psinv. | Alan Mishchenko | 2015-11-23 | 3 | -0/+26 | |
| | ||||||
* | Improvements to 'satclp'. | Alan Mishchenko | 2015-10-28 | 1 | -0/+81 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2015-10-21 | 1 | -1/+1 | |
| | ||||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 1 | -1/+1 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 35 | -15115/+0 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 2 | -2/+2 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+2 | |
| | ||||||
* | Adding new Python API 'is_func_iso'. | Alan Mishchenko | 2015-07-11 | 2 | -0/+22 | |
| | ||||||
* | C++ compiler typecast problem. | Alan Mishchenko | 2015-07-08 | 1 | -1/+1 | |
| | ||||||
* | Several bug fixes and silencing requests. | Alan Mishchenko | 2015-03-16 | 3 | -6/+10 | |
| | ||||||
* | Adding silent mode to &cec -m. | Alan Mishchenko | 2015-03-15 | 2 | -13/+33 | |
| | ||||||
* | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -12/+19 | |
| | ||||||
* | Adding silent mode to &splitprove. | Alan Mishchenko | 2015-03-14 | 1 | -14/+17 | |
| | ||||||
* | Compiler warnings. | Alan Mishchenko | 2014-11-29 | 1 | -1/+1 | |
| | ||||||
* | Improvements to handling boxes and flops. | Alan Mishchenko | 2014-11-25 | 1 | -1/+1 | |
| | ||||||
* | Removing unauthorized printout in 'pdr'. | Alan Mishchenko | 2014-11-09 | 1 | -0/+1 | |
| | ||||||
* | Bug fix in seq synthesis due to resent code restructuring. | Alan Mishchenko | 2014-10-21 | 1 | -4/+4 | |
| | ||||||
* | Naive (SAT-only) CEC option. | Alan Mishchenko | 2014-10-10 | 2 | -0/+110 | |
| | ||||||
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 1 | -4/+4 | |
| | ||||||
* | 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 | |
| |