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