summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaOf.c
Commit message (Expand)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