Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Naive LUT packing algorithm (command &pack). | Alan Mishchenko | 2015-09-30 | 3 | -0/+307 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-30 | 3 | -104/+291 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -36/+17 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-29 | 1 | -84/+358 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-28 | 1 | -17/+43 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-28 | 1 | -57/+271 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 1 | -3/+3 | |
| | ||||||
* | Experiments with LUT structure mapping. | Alan Mishchenko | 2015-09-27 | 5 | -0/+1276 | |
| | ||||||
* | Bug fix in &nf and in propagating timing info. | Alan Mishchenko | 2015-09-27 | 2 | -9/+14 | |
| | ||||||
* | New command &rexwalk. | Alan Mishchenko | 2015-09-26 | 1 | -0/+2 | |
| | ||||||
* | New command &rexwalk. | Alan Mishchenko | 2015-09-26 | 2 | -0/+268 | |
| | ||||||
* | Bug fix in 'satclp'. | Alan Mishchenko | 2015-09-26 | 1 | -1/+7 | |
| | ||||||
* | Improvements to Scl_Lib/SC_Cell data-structure. | Alan Mishchenko | 2015-09-24 | 7 | -230/+219 | |
| | ||||||
* | Adding API to set the number of flops after reading MiniAIG. | Alan Mishchenko | 2015-09-24 | 2 | -1/+12 | |
| | ||||||
* | Several bug-fixed related to synthesis, library handling, and timimg info. | Alan Mishchenko | 2015-09-23 | 3 | -3/+7 | |
| | ||||||
* | Improving bit-blasting of full-adder. | Alan Mishchenko | 2015-09-23 | 3 | -20/+71 | |
| | ||||||
* | Threshold logic checking code by Augusto Neutzling and Jody Matos. | Alan Mishchenko | 2015-09-23 | 3 | -242/+612 | |
| | ||||||
* | Bug fix in &rex2gia. | Alan Mishchenko | 2015-09-23 | 1 | -1/+3 | |
| | ||||||
* | Fixing corner-cases in 'tempor' and in 'unfold'. | Alan Mishchenko | 2015-09-22 | 2 | -1/+11 | |
| | ||||||
* | Adding new command &rex2gia. | Alan Mishchenko | 2015-09-22 | 3 | -0/+413 | |
| | ||||||
* | Improvements to &b -das. | Alan Mishchenko | 2015-09-18 | 3 | -10/+78 | |
| | ||||||
* | Adding switch to &b to prevent dumplicated area when used in delay-mode (&b ↵ | Alan Mishchenko | 2015-09-18 | 3 | -31/+35 | |
| | | | | -da). | |||||
* | Commenting out assertion in &b, which does not hold. | Alan Mishchenko | 2015-09-18 | 1 | -1/+1 | |
| | ||||||
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 2 | -2/+2 | |
| | ||||||
* | 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 | 15 | -38/+550 | |
| | ||||||
* | 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 | 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 | |
| |