Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | MUX decomposition during mapping. | Alan Mishchenko | 2014-10-11 | 2 | -26/+121 |
* | Deriving network in terms of programmable cells. | Alan Mishchenko | 2014-10-11 | 2 | -6/+14 |
* | Improvements to the parser. | Alan Mishchenko | 2014-10-10 | 1 | -7/+86 |
* | Naive (SAT-only) CEC option. | Alan Mishchenko | 2014-10-10 | 3 | -2/+116 |
* | Bug fix in the bit-blaster. | Alan Mishchenko | 2014-10-10 | 2 | -5/+5 |
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 2 | -5/+7 |
* | Improvements to ISOP. | Alan Mishchenko | 2014-10-10 | 4 | -283/+795 |
* | Correction to the patch to compile with Visual Studio. | Alan Mishchenko | 2014-10-10 | 1 | -1/+1 |
* | Suggested patch for type-punned warnings | Alan Mishchenko | 2014-10-10 | 5 | -12/+35 |
* | Small changes. | Alan Mishchenko | 2014-10-08 | 2 | -8/+10 |
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 2 | -2/+2 |
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 1 | -1/+1 |
* | Compiler warnings. | Alan Mishchenko | 2014-10-08 | 3 | -2/+4 |
* | Detection of threshold functions. | Alan Mishchenko | 2014-10-08 | 9 | -65/+544 |
* | New ISOP computation. | Alan Mishchenko | 2014-10-07 | 1 | -36/+196 |
* | Bug fix in move_names. | Alan Mishchenko | 2014-10-05 | 1 | -0/+1 |
* | Updates to &flow and &flow2. | Alan Mishchenko | 2014-10-05 | 1 | -9/+9 |
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 2 | -3/+15 |
* | Deriving cell mapping with &if -kz. | Alan Mishchenko | 2014-10-04 | 9 | -38/+217 |
* | New ISOP computation. | Alan Mishchenko | 2014-10-04 | 2 | -0/+522 |
* | Deriving AIG after cell mapping. | Alan Mishchenko | 2014-10-03 | 5 | -2/+69 |
* | Bug fix in Verilog writer. | Alan Mishchenko | 2014-10-02 | 1 | -8/+8 |
* | Adding switch -R to 'if'. | Alan Mishchenko | 2014-10-02 | 1 | -27/+39 |
* | Improvements to bit-blaster. | Alan Mishchenko | 2014-10-01 | 2 | -23/+88 |
* | Improvements to bit-blaster. | Alan Mishchenko | 2014-09-30 | 1 | -1/+1 |
* | Improvements to bit-blaster. | Alan Mishchenko | 2014-09-30 | 4 | -75/+122 |
* | Adding options to &flow. | Alan Mishchenko | 2014-09-29 | 2 | -12/+19 |
* | Adding options to &flow2. | Alan Mishchenko | 2014-09-29 | 1 | -4/+4 |
* | Adding options to &flow2. | Alan Mishchenko | 2014-09-29 | 2 | -9/+14 |
* | Adding options to &flow. | Alan Mishchenko | 2014-09-29 | 2 | -21/+26 |
* | Command to rename files in the same directory. | Alan Mishchenko | 2014-09-28 | 1 | -0/+191 |
* | Adding out-of-bounds checks to AIGER readers. | Alan Mishchenko | 2014-09-28 | 2 | -2/+2 |
* | Adding features to CNF generation. | Alan Mishchenko | 2014-09-28 | 2 | -8/+18 |
* | Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter). | Alan Mishchenko | 2014-09-28 | 3 | -11/+51 |
* | Support for sequential designs in word-level Verilog. | Alan Mishchenko | 2014-09-26 | 5 | -79/+196 |
* | Enabling print-out, for each operator, of the percetage of AND nodes after bi... | Alan Mishchenko | 2014-09-25 | 4 | -14/+35 |
* | Printing node type statistics. | Alan Mishchenko | 2014-09-24 | 1 | -33/+57 |
* | Printing node type statistics. | Alan Mishchenko | 2014-09-24 | 1 | -10/+10 |
* | Printing node type statistics. | Alan Mishchenko | 2014-09-24 | 2 | -2/+106 |
* | Bug fix in handling MUXes in Verilog parser, induced by recent changes. | Alan Mishchenko | 2014-09-24 | 1 | -0/+2 |
* | Added switch -t to &flow2. | Alan Mishchenko | 2014-09-24 | 2 | -9/+14 |
* | Added support of word-level MUXes represented as 'always'-statements. | Alan Mishchenko | 2014-09-24 | 1 | -2/+2 |
* | Added support of word-level MUXes represented as 'always'-statements. | Alan Mishchenko | 2014-09-24 | 3 | -18/+167 |
* | Enables dumping stats into a file. | Alan Mishchenko | 2014-09-23 | 2 | -1/+15 |
* | Extending &cec to take a single-output miter (usage of switch -d has changed!). | Alan Mishchenko | 2014-09-23 | 3 | -10/+50 |
* | Debugging the bit-blaster. | Alan Mishchenko | 2014-09-23 | 1 | -1/+15 |
* | Debugging the bit-blaster. | Alan Mishchenko | 2014-09-23 | 2 | -8/+28 |
* | Adding switch to enable SOP balancing in '&flow2'. | Alan Mishchenko | 2014-09-21 | 2 | -14/+30 |
* | Tuning the flow scripts. | Alan Mishchenko | 2014-09-20 | 1 | -1/+1 |
* | Extending resource limit. | Alan Mishchenko | 2014-09-20 | 1 | -2/+2 |