Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 3 | -12/+22 | |
| | ||||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 3 | -7/+22 | |
| | ||||||
* | Improvements to QBF solver; new quantification command &qvar. | Alan Mishchenko | 2015-09-18 | 2 | -32/+164 | |
| | ||||||
* | New constraint manager and memory reporting 'ps'. | Alan Mishchenko | 2015-09-08 | 16 | -38/+554 | |
| | ||||||
* | Cleaning up boolean operators; adding unique name support; minor changes. | Alan Mishchenko | 2015-09-07 | 3 | -34/+101 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -17/+30 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -1/+1 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -5/+7 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 3 | -422/+130 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-09-04 | 1 | -5/+354 | |
| | ||||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 5 | -53/+132 | |
| | ||||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 4 | -169/+479 | |
| | ||||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 1 | -0/+227 | |
| | ||||||
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 5 | -8/+129 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 3 | -8/+6 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-09-03 | 8 | -281/+1582 | |
| | ||||||
* | Removing unhelpful assertion in CEX minimization. | Alan Mishchenko | 2015-09-01 | 1 | -1/+1 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -2/+2 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -10/+10 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -136/+92 | |
| | ||||||
* | Experimenting with area recovery. | Alan Mishchenko | 2015-08-31 | 1 | -49/+287 | |
| | ||||||
* | Performance tuning of the Nf. | Alan Mishchenko | 2015-08-31 | 1 | -1/+1 | |
| | ||||||
* | Performance tuning of the Nf. | Alan Mishchenko | 2015-08-31 | 2 | -146/+152 | |
| | ||||||
* | Updating Mio to use int instead of float. | Alan Mishchenko | 2015-08-31 | 2 | -2/+192 | |
| | ||||||
* | 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 | 2 | -5/+40 | |
| | ||||||
* | More tuning in &nf. | Alan Mishchenko | 2015-08-28 | 2 | -2/+2 | |
| | ||||||
* | Adding switch to control area-recovery and more tuning in &nf. | Alan Mishchenko | 2015-08-28 | 4 | -10/+24 | |
| | ||||||
* | Important bug fixes in standard-cell library handling and mapper &nf. | Alan Mishchenko | 2015-08-28 | 5 | -335/+128 | |
| | ||||||
* | Bug fix in Vec_IntInsert() and a couple of new APIs. | Alan Mishchenko | 2015-08-26 | 3 | -1/+34 | |
| | ||||||
* | 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 | 54 | -37/+39 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 5 | -163/+163 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 53 | -262/+248 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 5 | -1/+43 | |
| | ||||||
* | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 50 | -190/+589 | |
| | ||||||
* | New switch in 'read_lib' to replace gate/pin names by short strings. | Alan Mishchenko | 2015-08-24 | 1 | -5/+44 | |
| | ||||||
* | New switch in 'read_lib' to replace gate/pin names by short strings. | Alan Mishchenko | 2015-08-24 | 3 | -2/+105 | |
| | ||||||
* | Compiler warning. | Alan Mishchenko | 2015-08-23 | 1 | -1/+1 | |
| | ||||||
* | Merging recent changes. | Alan Mishchenko | 2015-08-23 | 2 | -0/+194 | |
|\ | ||||||
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 2 | -13/+77 | |
| | | ||||||
| * | New command 'isonpn'. | Alan Mishchenko | 2015-08-11 | 2 | -0/+130 | |
| | | ||||||
* | | Experiments with mapping plus small changes. | Alan Mishchenko | 2015-08-23 | 7 | -17/+124 | |
|/ | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-10 | 3 | -31/+30 | |
| | ||||||
* | Commenting out an assertion. | Alan Mishchenko | 2015-08-10 | 1 | -1/+1 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 4 | -64/+205 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 3 | -5/+7 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-09 | 8 | -209/+210 | |
| | ||||||
* | Improvements to Cba data-structure. | Alan Mishchenko | 2015-08-08 | 8 | -200/+539 | |
| | ||||||
* | Fix for v_rams_20b and fix for 'write_rb' set/reset only input port allowed | Alan Mishchenko | 2015-08-07 | 2 | -125/+197 | |
| |