summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSatLE.c
Commit message (Collapse)AuthorAgeFilesLines
* Not calling a changed API until it is fixed.Alan Mishchenko2017-06-271-1/+1
|
* Bug fix in 'edge -m'.Alan Mishchenko2016-08-101-6/+13
|
* Fix in reading initial state for edge-detection.Alan Mishchenko2016-07-201-4/+36
|
* Fix in reading initial state for edge-detection.Alan Mishchenko2016-07-191-0/+2
|
* Fixes and adjustments for the edge computation flow.Alan Mishchenko2016-07-151-1/+2
|
* Experiments with edge-based mapping (bug fix).Alan Mishchenko2016-07-021-6/+18
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-291-24/+170
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-171-71/+74
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-151-0/+880