Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Increasing memory page limit in the main SAT solver. | Alan Mishchenko | 2012-10-31 | 1 | -1/+1 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -88/+0 |
| | |||||
* | Removed 'send_cex'. | Alan Mishchenko | 2012-10-31 | 1 | -49/+0 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -13/+22 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 1 | -2/+4 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-31 | 2 | -2/+125 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 1 | -2/+39 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 2 | -7/+7 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 2 | -0/+537 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-10-30 | 6 | -242/+993 |
| | |||||
* | Added switch for netlist type to 'send_aig'. Changed defautl to &-space. ↵ | Niklas Een | 2012-10-30 | 5 | -356/+378 |
| | | | | Fixed printf -> Abc_Print in some places. | ||||
* | Removed CEX communication through bridge in Abc_FrameReplaceCex | Niklas Een | 2012-10-30 | 1 | -1002/+995 |
| | |||||
* | Merge | Niklas Een | 2012-10-30 | 48 | -566/+4994 |
|\ | |||||
| * | Added new bridge commands. | Alan Mishchenko | 2012-10-29 | 1 | -0/+173 |
| | | |||||
| * | Improvements to the truth table computation in 'if' package. | Alan Mishchenko | 2012-10-29 | 2 | -4/+442 |
| | | |||||
| * | Tentatively integrated new DSD. | Alan Mishchenko | 2012-10-29 | 3 | -2/+23 |
| | | |||||
| * | Enumerating decompositions. | Alan Mishchenko | 2012-10-29 | 2 | -1/+255 |
| | | |||||
| * | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 4 | -303/+331 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -4/+2 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 3 | -14/+22 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 1 | -5/+5 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 4 | -23/+253 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-28 | 5 | -150/+748 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -18/+4 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 1 | -8/+7 |
| | | |||||
| * | Improvements to LMS code. | Alan Mishchenko | 2012-10-27 | 7 | -66/+958 |
| | | |||||
| * | Improvements to the truth table computation in 'if' package. | Alan Mishchenko | 2012-10-26 | 4 | -12/+454 |
| | | |||||
| * | Enables printout of fanout count in critical path. | Alan Mishchenko | 2012-10-26 | 1 | -0/+1 |
| | | |||||
| * | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-25 | 1 | -2/+2 |
| | | |||||
| * | Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵ | Alan Mishchenko | 2012-10-25 | 5 | -4/+45 |
| | | | | | | | | constant. | ||||
| * | Added new API to traverse the cut in the mapper. | Alan Mishchenko | 2012-10-25 | 3 | -1/+55 |
| | | |||||
| * | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 1 | -1/+1 |
| | | |||||
| * | Adding binary file dumping for truth tables. | Alan Mishchenko | 2012-10-25 | 4 | -19/+43 |
| | | |||||
| * | Changing the defaults of command 'collapse'. | Alan Mishchenko | 2012-10-25 | 1 | -2/+2 |
| | | |||||
| * | Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵ | Alan Mishchenko | 2012-10-24 | 4 | -17/+299 |
| | | | | | | | | -a -S <XYZ>). | ||||
| * | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 4 | -44/+214 |
| | | |||||
| * | Integrating GIA with LUT mapping. | Alan Mishchenko | 2012-10-24 | 14 | -362/+962 |
| | | |||||
| * | Creating dedicated choice representation for GIA. | Alan Mishchenko | 2012-10-24 | 7 | -23/+122 |
| | | |||||
| * | Adding frontier comptuation based on reversed CO order in &ps. | Alan Mishchenko | 2012-10-24 | 4 | -9/+59 |
| | | |||||
| * | Fixing frontier computation in &ps. | Alan Mishchenko | 2012-10-24 | 1 | -4/+43 |
| | | |||||
| * | Disabling SAT sweeping in 'map' by default. | Alan Mishchenko | 2012-10-23 | 1 | -1/+1 |
| | | |||||
| * | Adding #ifdef to guard windows-specific debugging option. | Alan Mishchenko | 2012-10-20 | 1 | -3/+5 |
| | | |||||
| * | Bug fix in hierarchical BLIF reader. | Alan Mishchenko | 2012-10-11 | 1 | -3/+2 |
| | | |||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 19 | -450/+464 |
| | | |||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -36/+35 |
| | | |||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -46/+45 |
| | | |||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -48/+47 |
| | | |||||
* | | Replaced printfs with Abc_Print | Niklas Een | 2012-10-29 | 1 | -89/+88 |
|/ | |||||
* | Commenting out printout. | Alan Mishchenko | 2012-10-10 | 1 | -2/+2 |
| | |||||
* | Added procedure to check correctness of the topo order during AIG construction. | Alan Mishchenko | 2012-10-10 | 1 | -0/+27 |
| |