summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifCut.c
Commit message (Expand)AuthorAgeFilesLines
* Updating features of &if mapper.Alan Mishchenko2022-10-091-1/+1
* Experiments with the mapper.Alan Mishchenko2022-06-231-0/+62
* Experiments with CEC.Alan Mishchenko2021-07-101-2/+2
* Experiments with MUX decomposition.Alan Mishchenko2021-07-081-4/+4
* Updating the mapper when user-specific matching is used.Alan Mishchenko2021-01-091-0/+12
* Prevent assertions from firing for deep logic networks.Alan Mishchenko2019-03-201-4/+4
* Fixing float overflow during edge-flow computation in 'if' mapper (change to ...Alan Mishchenko2018-12-121-0/+8
* Fixing float overflow during edge-flow computation in 'if' mapper.Alan Mishchenko2018-12-121-3/+7
* Maintenance and updates.Alan Mishchenko2017-09-241-1/+1
* Saturating floating point computation.Alan Mishchenko2017-07-011-3/+7
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-1/+1
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-231-1/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-30 19:32:31 +0000