summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in semi-canonical form computation.Alan Mishchenko2012-11-022-19/+74
* Adding dumping truth tables from LMS manager.Alan Mishchenko2012-11-022-22/+117
* Improved DSD.Alan Mishchenko2012-11-022-41/+253
* Fixing out-of-bound problem when collecting GIA nodes.Alan Mishchenko2012-11-024-34/+156
* Changing default parameter in &if.Alan Mishchenko2012-11-021-1/+1
* Improvements to LMS code.Alan Mishchenko2012-11-021-7/+82
* Improvements to LMS code.Alan Mishchenko2012-11-023-13/+49
* Improvements to LMS code.Alan Mishchenko2012-11-012-28/+12
* Improvements to LMS code.Alan Mishchenko2012-11-015-20/+76
* Improvements to the truth table computations.Alan Mishchenko2012-11-014-40/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-015-1100/+889
* Improvements to the truth table computations.Alan Mishchenko2012-11-013-126/+451
* External APIs needed to use ABC as a static library.Alan Mishchenko2012-10-311-0/+66
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-06 01:17:35 +0000