summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Removed CEX communication through bridge in Abc_FrameReplaceCexNiklas Een2012-10-301-1002/+995
|
* MergeNiklas Een2012-10-3048-566/+4994
|\
| * Added new bridge commands.Alan Mishchenko2012-10-291-0/+173
| |
| * Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-292-4/+442
| |
| * Tentatively integrated new DSD.Alan Mishchenko2012-10-293-2/+23
| |
| * Enumerating decompositions.Alan Mishchenko2012-10-292-1/+255
| |
| * Move truth table code into a separte file.Alan Mishchenko2012-10-284-303/+331
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-281-4/+2
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-283-14/+22
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-281-5/+5
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-284-23/+253
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-285-150/+748
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-271-18/+4
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-271-8/+7
| |
| * Improvements to LMS code.Alan Mishchenko2012-10-277-66/+958
| |
| * Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-264-12/+454
| |
| * Enables printout of fanout count in critical path.Alan Mishchenko2012-10-261-0/+1
| |
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-251-2/+2
| |
| * Added switch '-q' to 'scorr' and '&scorr' to quit when PO is not a candidate ↵Alan Mishchenko2012-10-255-4/+45
| | | | | | | | constant.
| * Added new API to traverse the cut in the mapper.Alan Mishchenko2012-10-253-1/+55
| |
| * Adding binary file dumping for truth tables.Alan Mishchenko2012-10-251-1/+1
| |
| * Adding binary file dumping for truth tables.Alan Mishchenko2012-10-254-19/+43
| |
| * Changing the defaults of command 'collapse'.Alan Mishchenko2012-10-251-2/+2
| |
| * Added hierarchical BLIF output for mapping with LUT structures (write_blif ↵Alan Mishchenko2012-10-244-17/+299
| | | | | | | | -a -S <XYZ>).
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-244-44/+214
| |
| * Integrating GIA with LUT mapping.Alan Mishchenko2012-10-2414-362/+962
| |
| * Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-247-23/+122
| |
| * Adding frontier comptuation based on reversed CO order in &ps.Alan Mishchenko2012-10-244-9/+59
| |
| * Fixing frontier computation in &ps.Alan Mishchenko2012-10-241-4/+43
| |
| * Disabling SAT sweeping in 'map' by default.Alan Mishchenko2012-10-231-1/+1
| |
| * Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
| |
| * Bug fix in hierarchical BLIF reader.Alan Mishchenko2012-10-111-3/+2
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-2919-450/+464
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-36/+35
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-46/+45
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-48/+47
| |
* | Replaced printfs with Abc_PrintNiklas Een2012-10-291-89/+88
|/
* Commenting out printout.Alan Mishchenko2012-10-101-2/+2
|
* Added procedure to check correctness of the topo order during AIG construction.Alan Mishchenko2012-10-101-0/+27
|
* Added command to transform GIA into the file with truth tables for each output.Alan Mishchenko2012-10-101-0/+77
|
* Improvements to gate sizing.Alan Mishchenko2012-10-093-41/+46
|
* Improvements to gate sizing.Alan Mishchenko2012-10-097-163/+221
|
* Making report about the number of correcty covered frames consistent across ↵Alan Mishchenko2012-10-094-6/+7
| | | | the engines.
* Improvements to gate-sizing.Alan Mishchenko2012-10-091-2/+4
|
* Improvements to gate-sizing.Alan Mishchenko2012-10-093-9/+27
|
* Improvements to gate sizing (bug fix).Alan Mishchenko2012-10-091-4/+6
|
* Improvements to gate sizing (bug fix).Alan Mishchenko2012-10-091-1/+2
|
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-2/+2
|
* Bug fix in &gla (incorrect reporting of proved timeframes).Alan Mishchenko2012-10-091-1/+2
|
* Improvements to gate sizing.Alan Mishchenko2012-10-091-2/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 18:35:23 +0000