summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSatLut.c
Commit message (Expand)AuthorAgeFilesLines
* Invalidate packing after mapping is updated.Alan Mishchenko2016-05-091-0/+1
* Extending &satlut to work for 6-LUTs.Alan Mishchenko2016-04-271-4/+11
* Supporting edge information during mapping.Alan Mishchenko2016-04-111-1/+1
* Adding hashing of windows in &satlut.Alan Mishchenko2016-04-071-3/+19
* Adding AIG rehashing after LUT mapping in Gia.Alan Mishchenko2016-04-071-4/+6
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-17/+44
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-11/+86
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-83/+92
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-16 00:09:13 +0000