summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifTruth.c
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in truth table computation.Alan Mishchenko2014-10-151-11/+9
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-2/+2
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-6/+6
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-1/+16
* Improvements to technology mapping.Alan Mishchenko2014-04-031-4/+12
* Improvements to technology mapping.Alan Mishchenko2014-04-031-27/+24
* Improvements to technology mapping.Alan Mishchenko2014-04-031-8/+71
* Improvements to technology mapping.Alan Mishchenko2014-04-021-20/+23
* Compiler warnings.Alan Mishchenko2014-03-311-9/+9
* Improving cut computation.Alan Mishchenko2014-03-301-10/+97
* Improving cut computation.Alan Mishchenko2014-03-301-12/+7
* Updating &if for new cut function representation.Alan Mishchenko2014-03-291-3/+28
* Changes to LUT mappers.Alan Mishchenko2014-02-171-1/+0
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-625/+48
* Extending truth table support in &jf for more than 6 inputs.Alan Mishchenko2013-10-101-1/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+36
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-1/+1
* DSD manager.Alan Mishchenko2012-11-201-0/+2
* DSD manager.Alan Mishchenko2012-11-131-6/+25
* Improved DSD.Alan Mishchenko2012-11-111-2/+5
* Improved DSD.Alan Mishchenko2012-11-101-0/+18
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-260/+6
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-261-7/+446
* Adding on-the-fly truth-table minimization.Alan Mishchenko2012-04-281-1/+0
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-101-1/+11
* Updated technology mapping.Alan Mishchenko2011-05-071-3/+4
* initial commit of public abcAlan Mishchenko2010-11-011-0/+6
* Version abc80314Alan Mishchenko2008-03-141-1/+3
* Version abc80228Alan Mishchenko2008-02-281-0/+36
* Version abc80130_2Alan Mishchenko2008-01-301-0/+404
* Version abc80130Alan Mishchenko2008-01-301-404/+0
* Version abc71218Alan Mishchenko2007-12-181-3/+177
* Version abc71001Alan Mishchenko2007-10-011-0/+230
* Version abc70930Alan Mishchenko2007-09-301-230/+0
* Version abc70906Alan Mishchenko2007-09-061-9/+137
* Version abc61209Alan Mishchenko2006-12-091-2/+4
* Version abc61206Alan Mishchenko2006-12-061-0/+5
* Version abc61205Alan Mishchenko2006-12-051-0/+95