Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing corner-cases in 'tempor' and in 'unfold'. | Alan Mishchenko | 2015-09-22 | 1 | -1/+6 |
| | |||||
* | Adding new command &rex2gia. | Alan Mishchenko | 2015-09-22 | 1 | -0/+67 |
| | |||||
* | Adding switch to &b to prevent dumplicated area when used in delay-mode (&b ↵ | Alan Mishchenko | 2015-09-18 | 1 | -4/+8 |
| | | | | -da). | ||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 1 | -1/+1 |
| | |||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 1 | -4/+4 |
| | |||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 1 | -3/+12 |
| | |||||
* | Improvements to QBF solver; new quantification command &qvar. | Alan Mishchenko | 2015-09-18 | 1 | -20/+84 |
| | |||||
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 7 | -18/+81 |
| | |||||
* | Cleaning up boolean operators; adding unique name support; minor changes. | Alan Mishchenko | 2015-09-07 | 3 | -34/+101 |
| | |||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 2 | -2/+2 |
| | |||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 3 | -98/+331 |
| | |||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 1 | -0/+73 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 2 | -7/+5 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 7 | -280/+1581 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-30 | 5 | -192/+763 |
| | |||||
* | Alternative way to bit-blast a divisor. | Alan Mishchenko | 2015-08-29 | 1 | -4/+39 |
| | |||||
* | More tuning in &nf. | Alan Mishchenko | 2015-08-28 | 1 | -1/+1 |
| | |||||
* | Adding switch to control area-recovery and more tuning in &nf. | Alan Mishchenko | 2015-08-28 | 2 | -8/+20 |
| | |||||
* | Bug fix in Vec_IntInsert() and a couple of new APIs. | Alan Mishchenko | 2015-08-26 | 1 | -0/+18 |
| | |||||
* | Changing 'refactor' to work with truth tables. | Alan Mishchenko | 2015-08-25 | 3 | -175/+188 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 38 | -41/+39 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 4 | -1/+39 |
| | |||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 38 | -185/+525 |
| | |||||
* | Merging recent changes. | Alan Mishchenko | 2015-08-23 | 1 | -0/+69 |
|\ | |||||
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 1 | -4/+4 |
| | | |||||
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 1 | -0/+69 |
| | | |||||
* | | Experiments with mapping plus small changes. | Alan Mishchenko | 2015-08-23 | 3 | -14/+45 |
|/ | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-10 | 3 | -31/+30 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -59/+187 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -5/+7 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 6 | -201/+192 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 4 | -163/+420 |
| | |||||
* | Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed | Alan Mishchenko | 2015-08-07 | 2 | -125/+197 |
| | |||||
* | Compiler warnings. | Alan Mishchenko | 2015-08-04 | 2 | -11/+3 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-04 | 7 | -161/+794 |
| | |||||
* | Making ABC error out instead of crashing when non-standard range is given. | Alan Mishchenko | 2015-08-03 | 1 | -3/+8 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-01 | 5 | -13/+18 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-31 | 13 | -267/+817 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-29 | 4 | -465/+327 |
| | |||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-07-28 | 4 | -43/+242 |
| | |||||
* | Updates to the Cba data-structure. | Alan Mishchenko | 2015-07-25 | 3 | -17/+58 |
| | |||||
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-24 | 2 | -18/+41 |
| | |||||
* | Updates to Cba data-structure. | Alan Mishchenko | 2015-07-23 | 5 | -178/+702 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -1/+1 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+0 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 1 | -0/+0 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 23 | -610/+6522 |
| | |||||
* | Renaming Cba into Bac. | Alan Mishchenko | 2015-07-21 | 13 | -2069/+699 |
| |