summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSatLut.c
Commit message (Expand)AuthorAgeFilesLines
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-106/+203
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-150/+249
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-18/+68
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-031-31/+230
* Windowing for technology mapping.Alan Mishchenko2016-03-301-79/+152
* Adding support for a different bit-blasting of a multiplier and squarer.Alan Mishchenko2016-02-131-0/+570