| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | 4 | -40/+36 | |
| | | ||||||
| * | 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 | 3 | -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 | 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 | |
| | | | ||||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |