summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaKf.c
Commit message (Collapse)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2017-01-071-7/+7
|
* 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