| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 1 | -5/+7 |
| | | |||||
| * | More tuning in &nf. | Alan Mishchenko | 2015-09-06 | 2 | -412/+129 |
| | | |||||
| * | 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 | 4 | -8/+125 |
| | | |||||
| * | 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 | 2 | -2/+2 |
| | | |||||
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 51 | -61/+56 |
| | | |||||
| * | 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 |
| | | |||||
| * | 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 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |