Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enabling verbose report of dumping abstraction in GLA. | Alan Mishchenko | 2012-11-07 | 1 | -4/+4 |
| | |||||
* | Slightly improved cut computation. | Alan Mishchenko | 2012-11-06 | 1 | -1/+85 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -68/+80 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 1 | -2/+2 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 3 | -358/+356 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-06 | 7 | -259/+259 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-06 | 2 | -88/+365 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 2 | -218/+384 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-03 | 3 | -55/+154 |
| | |||||
* | Bug fix in semi-canonical form computation. | Alan Mishchenko | 2012-11-02 | 2 | -19/+74 |
| | |||||
* | Adding dumping truth tables from LMS manager. | Alan Mishchenko | 2012-11-02 | 2 | -22/+117 |
| | |||||
* | Improved DSD. | Alan Mishchenko | 2012-11-02 | 2 | -41/+253 |
| | |||||
* | Fixing out-of-bound problem when collecting GIA nodes. | Alan Mishchenko | 2012-11-02 | 4 | -34/+156 |
| | |||||
* | Changing default parameter in &if. | Alan Mishchenko | 2012-11-02 | 1 | -1/+1 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 1 | -7/+82 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-02 | 3 | -13/+49 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 2 | -28/+12 |
| | |||||
* | Improvements to LMS code. | Alan Mishchenko | 2012-11-01 | 5 | -20/+76 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 5 | -40/+40 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 5 | -1100/+889 |
| | |||||
* | Improvements to the truth table computations. | Alan Mishchenko | 2012-11-01 | 4 | -126/+451 |
| | |||||
* | External APIs needed to use ABC as a static library. | Alan Mishchenko | 2012-10-31 | 1 | -0/+66 |
| | |||||
* | 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 | 7 | -242/+997 |
| | |||||
* | 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 | 49 | -566/+5006 |
|\ | |||||
| * | 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 | 3 | -1/+259 |
| | | |||||
| * | Move truth table code into a separte file. | Alan Mishchenko | 2012-10-28 | 5 | -303/+335 |
| | | |||||
| * | 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 | 8 | -66/+962 |
| | | |||||
| * | 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 |
| | |