summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifCut.c
Commit message (Expand)AuthorAgeFilesLines
* Adding new mapping feature.Alan Mishchenko2014-12-111-3/+2
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-1/+1
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-1/+1
* Improvements in technology mapping.Alan Mishchenko2014-04-171-16/+16
* Changes in the LUT mapper data-structures.Alan Mishchenko2014-04-141-28/+0
* Removed obsolete code for sequential mapping.Alan Mishchenko2014-04-111-16/+0
* Tuning LUT mapping to work while saving the best network.Alan Mishchenko2014-04-041-2/+2
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-7/+3
* Improving cut computation.Alan Mishchenko2014-03-301-1/+2
* Improving cut computation.Alan Mishchenko2014-03-301-275/+144
* Changes to LUT mappers.Alan Mishchenko2014-02-171-1/+6
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-13/+56
* Enabling additional matching feature in the LUT mapper.Alan Mishchenko2013-08-121-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-4/+4
* DSD manager.Alan Mishchenko2012-11-201-1/+1
* DSD manager.Alan Mishchenko2012-11-191-0/+3
* DSD manager.Alan Mishchenko2012-11-131-22/+106
* Slightly improved cut computation.Alan Mishchenko2012-11-061-1/+85
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Changes to the lazy man's synthesis code.Alan Mishchenko2012-01-171-1/+1
* Changes to the matching procedure.Alan Mishchenko2011-10-011-1/+1
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-081-3/+3
* Added another specialized check to the mapper.Alan Mishchenko2011-06-271-1/+1
* Added new mapping feature.Alan Mishchenko2011-06-201-1/+1
* Updated technology mapping.Alan Mishchenko2011-05-071-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-16/+33
* Version abc90215Alan Mishchenko2009-02-151-2/+2
* Version abc90118Alan Mishchenko2009-01-181-33/+262
* Version abc80411Alan Mishchenko2008-04-111-1/+59
* Version abc80307_2Alan Mishchenko2008-03-071-0/+143
* Version abc80130_2Alan Mishchenko2008-01-301-0/+988
* Version abc80130Alan Mishchenko2008-01-301-988/+0
* Version abc80121Alan Mishchenko2008-01-211-94/+95
* Version abc71218Alan Mishchenko2007-12-181-29/+239
* Version abc71001Alan Mishchenko2007-10-011-0/+777
* Version abc70930Alan Mishchenko2007-09-301-777/+0
* Version abc70712Alan Mishchenko2007-07-121-0/+1
* Version abc70225Alan Mishchenko2007-02-251-17/+128
* Version abc70121Alan Mishchenko2007-01-211-1/+1
* Version abc61216Alan Mishchenko2006-12-161-2/+6
* Version abc61210Alan Mishchenko2006-12-101-5/+28
* Version abc61209Alan Mishchenko2006-12-091-23/+58
* Version abc61205Alan Mishchenko2006-12-051-1/+557
* Version abc61122Alan Mishchenko2006-11-221-0/+47