summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifCut.c
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | avoid dependence on the order of additions).
* 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 ↵Alan Mishchenko2016-07-291-1/+1
| | | | mapping.
* 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
|
* Version abc70712Alan Mishchenko2007-07-121-0/+1
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 12:25:24 +0000