summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Increasing memory page limit in the main SAT solver.Alan Mishchenko2012-10-311-1/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-88/+0
* Removed 'send_cex'.Alan Mishchenko2012-10-311-49/+0
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-312-2/+125
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-7/+7
* Improvements to the truth table computations.Alan Mishchenko2012-10-302-0/+537
* Improvements to the truth table computations.Alan Mishchenko2012-10-306-242/+993
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-305-356/+378
* 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
| * 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 -a...Alan Mishchenko2012-10-244-17/+299
| * 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 07:01:12 +0000