summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaKf.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating barrier buffers.Alan Mishchenko2014-12-111-2/+2
* Integrating barrier buffers.Alan Mishchenko2014-12-081-2/+2
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-2/+10
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-141-2/+2
* Improving cut computation.Alan Mishchenko2014-03-301-19/+1
* Experiments with technology mapping.Alan Mishchenko2014-03-291-13/+212
* Experiments with mapping.Alan Mishchenko2014-03-231-1/+1
* Experiments with mapping.Alan Mishchenko2014-03-231-16/+17
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+21
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+17
* Experiments with mapping.Alan Mishchenko2014-03-221-30/+193
* Experiments with mapping.Alan Mishchenko2014-03-221-15/+15
* Experiments with mapping.Alan Mishchenko2014-03-221-9/+15
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+959