summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaOf.c
Commit message (Collapse)AuthorAgeFilesLines
* Supporting edges in delay-optimization in &satlut.Alan Mishchenko2016-04-071-0/+2
|
* Experiments with SAT-based mapping.Alan Mishchenko2016-01-141-50/+83
|
* Experiments with SAT-based mapping.Alan Mishchenko2016-01-101-0/+155
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-301-102/+284
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-291-36/+17
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-291-84/+358
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-281-17/+43
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-281-57/+271
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-3/+3
|
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-0/+999