summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifMap.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch to &if to consider special type of 6-input cuts.Alan Mishchenko2019-09-261-0/+2
* Adding support for user-specified wire delays in &if.Alan Mishchenko2019-05-291-1/+1
* Maintenance and updates.Alan Mishchenko2017-09-241-2/+2
* Maintenance and updates.Alan Mishchenko2017-09-201-1/+3
* Enabled progress bar in the 'if' mapper (warning).Alan Mishchenko2016-08-081-1/+1
* Enabled delay computation for the cut output using cut inputs.Alan Mishchenko2016-08-081-2/+49
* Enabled progress bar in the 'if' mapper.Alan Mishchenko2016-08-081-5/+5
* Adding one argument to the delay-estimation API used for exact synthesis.Alan Mishchenko2016-07-311-3/+3
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-3/+25
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-16/+29
* Experiments with mapping plus small changes.Alan Mishchenko2015-08-231-2/+8
* Undo recent assert.Alan Mishchenko2015-06-271-2/+2
* Supporting AND-gate cuts in 'if' and '&if'Alan Mishchenko2015-06-211-0/+5
* Exprimental features in tech-mapping.Alan Mishchenko2014-12-211-2/+3
* Adding new mapping feature.Alan Mishchenko2014-12-111-15/+39
* MUX decomposition during mapping.Alan Mishchenko2014-10-111-1/+0
* Synchronizing packages.Alan Mishchenko2014-09-201-1/+1
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-0/+19
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-0/+8
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-1/+1
* Undoing previous change to SOP balancing.Alan Mishchenko2014-07-221-6/+6
* Small improvement to SOP balancing.Alan Mishchenko2014-07-221-4/+16
* Various modifications.Alan Mishchenko2014-06-121-3/+5
* Improvements in technology mapping.Alan Mishchenko2014-04-171-2/+2
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-14/+6
* New feature to optimize delay during mapping.Alan Mishchenko2014-04-111-2/+6
* Removed obsolete code for sequential mapping.Alan Mishchenko2014-04-111-11/+6
* Improvements to DSD in technology mapping.Alan Mishchenko2014-04-111-8/+6
* Implementation of DSD balancing.Alan Mishchenko2014-04-061-3/+7
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-6/+4
* Improvement in SOP balancing.Alan Mishchenko2014-04-061-4/+4
* 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