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