summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaSatEdge.c
Commit message (Collapse)AuthorAgeFilesLines
* Not calling a changed API until it is fixed.Alan Mishchenko2017-06-271-1/+1
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-151-3/+1
|
* Fanout restriction in &edge.Alan Mishchenko2016-04-301-11/+33
|
* Using seed assignment of edges in &edge.Alan Mishchenko2016-04-271-2/+12
|
* Improved algo for edge computation.Alan Mishchenko2016-04-241-1/+1
|
* Improved algo for edge computation.Alan Mishchenko2016-04-241-5/+85
|
* Improved algo for edge computation.Alan Mishchenko2016-04-231-48/+58
|
* Improved algo for edge computation.Alan Mishchenko2016-04-221-0/+417