| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | 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 | |
| | | ||||||
| * | Added command to transform GIA into the file with truth tables for each output. | Alan Mishchenko | 2012-10-10 | 1 | -0/+77 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -41/+46 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 7 | -163/+221 | |
| | | ||||||
| * | Making report about the number of correcty covered frames consistent across ↵ | Alan Mishchenko | 2012-10-09 | 4 | -6/+7 | |
| | | | | | the engines. | |||||
| * | Improvements to gate-sizing. | Alan Mishchenko | 2012-10-09 | 1 | -2/+4 | |
| | | ||||||
| * | Improvements to gate-sizing. | Alan Mishchenko | 2012-10-09 | 3 | -9/+27 | |
| | | ||||||
| * | Improvements to gate sizing (bug fix). | Alan Mishchenko | 2012-10-09 | 1 | -4/+6 | |
| | | ||||||
| * | Improvements to gate sizing (bug fix). | Alan Mishchenko | 2012-10-09 | 1 | -1/+2 | |
| | | ||||||
| * | Bug fix in &gla (incorrect reporting of proved timeframes). | Alan Mishchenko | 2012-10-09 | 1 | -2/+2 | |
| | | ||||||
| * | Bug fix in &gla (incorrect reporting of proved timeframes). | Alan Mishchenko | 2012-10-09 | 1 | -1/+2 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 1 | -2/+2 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 4 | -14/+24 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -6/+35 | |
| | | ||||||
| * | Making explicit cast to 64-bit unsigned in a few places. | Alan Mishchenko | 2012-10-09 | 10 | -31/+31 | |
| | | ||||||
| * | Extending the default GIA writing buffer. | Alan Mishchenko | 2012-10-09 | 1 | -1/+1 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-09 | 3 | -82/+82 | |
| | | ||||||
| * | Bug fix in LMS code. | Alan Mishchenko | 2012-10-08 | 1 | -1/+1 | |
| | | ||||||
| * | Improvements to gate sizing. | Alan Mishchenko | 2012-10-08 | 11 | -203/+902 | |
| | | ||||||
| * | Bug fix in reading AIGER with both signal names and extensions. | Alan Mishchenko | 2012-10-08 | 1 | -79/+79 | |
| | | ||||||
 |
index : iCE40/abc | |
| clone of https://github.com/YosysHQ/abc |
| summaryrefslogtreecommitdiffstats |