| Commit message (Expand) | Author | Age | Files | Lines |
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-15 | 5 | -105/+364 |
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-14 | 4 | -50/+162 |
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-13 | 5 | -99/+186 |
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-13 | 3 | -50/+222 |
* | Experiments with precomputation and matching. | Alan Mishchenko | 2015-10-12 | 8 | -81/+625 |
* | Experiments with functional matching. | Alan Mishchenko | 2015-10-09 | 2 | -57/+137 |
* | Experiments with functional matching. | Alan Mishchenko | 2015-10-08 | 4 | -190/+618 |
* | Two fixes in 'dsd_filter'. | Alan Mishchenko | 2015-10-07 | 2 | -2/+3 |
* | New switch 'satclp -r' to reverse variable order. | Alan Mishchenko | 2015-10-07 | 4 | -22/+31 |
* | Bug fix in 'if -g' (incorrect use of a macro). | Alan Mishchenko | 2015-10-07 | 1 | -3/+3 |
* | Experiments with functional matching. | Alan Mishchenko | 2015-10-05 | 5 | -195/+282 |
* | Adding support for black boxes in extended AIG. | Alan Mishchenko | 2015-10-04 | 11 | -45/+122 |
* | Adding support for flop init-states in extended AIG. | Alan Mishchenko | 2015-10-04 | 8 | -2/+66 |
* | Experiments with functional matching. | Alan Mishchenko | 2015-10-03 | 3 | -0/+554 |
* | Bug fix in propagating required times in &nf (another issue). | Alan Mishchenko | 2015-10-01 | 1 | -10/+4 |
* | Bug fix in propagating required times in &nf. | Alan Mishchenko | 2015-10-01 | 1 | -2/+2 |
* | Naive LUT packing algorithm (command &pack). | Alan Mishchenko | 2015-09-30 | 4 | -0/+311 |
* | 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 | 6 | -0/+1280 |
* | 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 | 4 | -0/+417 |
* | 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 |
* | 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 | 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 |