summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifMap.c
Commit message (Expand)AuthorAgeFilesLines
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-0/+2
* Preparing new implementation of SOP/DSD balancing in 'if' mapper.Alan Mishchenko2014-04-051-25/+23
* Performance bug fix in SOP balancing.Alan Mishchenko2014-04-051-4/+1
* Tuning LUT mapping to work while saving the best network.Alan Mishchenko2014-04-041-3/+3
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-9/+10
* Improvements to technology mapping.Alan Mishchenko2014-04-031-2/+5
* Improvements to technology mapping.Alan Mishchenko2014-04-031-5/+6
* Improvements to technology mapping.Alan Mishchenko2014-04-031-1/+1
* Improvements to technology mapping.Alan Mishchenko2014-04-031-50/+22
* Improving cut computation.Alan Mishchenko2014-03-301-1/+1
* Improving cut computation.Alan Mishchenko2014-03-301-52/+17
* Updating &if for new cut function representation.Alan Mishchenko2014-03-291-1/+5
* Experiments with cut caching.Alan Mishchenko2014-03-201-0/+2
* Changes to LUT mappers.Alan Mishchenko2014-03-091-1/+1
* Changes to LUT mappers.Alan Mishchenko2014-03-041-1/+0
* Changes to LUT mappers.Alan Mishchenko2014-02-281-25/+32
* Changes to LUT mappers.Alan Mishchenko2014-02-281-0/+33
* Changes to LUT mappers.Alan Mishchenko2014-02-271-7/+19
* Changes to LUT mappers.Alan Mishchenko2014-02-251-2/+20
* Changes to LUT mappers.Alan Mishchenko2014-02-251-1/+1
* Changes to LUT mappers.Alan Mishchenko2014-02-171-32/+1
* Changes to LUT mappers.Alan Mishchenko2014-02-171-24/+24
* Removing unused LMS code.Alan Mishchenko2014-02-161-18/+3
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-41/+34
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+6
* Removing some old useless code.Alan Mishchenko2013-09-021-39/+0
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-4/+4
* Buf fixes and minor changes to the &if mapper.Alan Mishchenko2013-08-291-1/+14
* Adding code to count statistics about decomposable LUT5.Alan Mishchenko2013-08-181-0/+10
* Commenting out assertion related to choices in 'if'.Alan Mishchenko2013-07-161-1/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-4/+4
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-2/+2
* Enabling command &append for combiming multiple AIGs.Alan Mishchenko2012-12-011-1/+1
* DSD manager.Alan Mishchenko2012-11-201-24/+28
* DSD manager.Alan Mishchenko2012-11-191-0/+19
* DSD manager.Alan Mishchenko2012-11-131-1/+2
* Improved DSD.Alan Mishchenko2012-11-111-2/+2
* Improved DSD.Alan Mishchenko2012-11-101-1/+56
* Improvements to LMS code.Alan Mishchenko2012-11-011-0/+2
* Improvements to LMS code.Alan Mishchenko2012-10-281-10/+12
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-261-1/+3
* Added new API to traverse the cut in the mapper.Alan Mishchenko2012-10-251-1/+3
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-2/+16
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Bug fix in SOP balancing with structural choices.Alan Mishchenko2012-04-121-0/+2
* Enabling mapping into multi-input AND/OR gates.Alan Mishchenko2012-03-271-10/+4
* Alternative way of computing delay in SOP balancing.Alan Mishchenko2012-03-161-0/+8
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-22 05:35:31 +0000