summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigDual.c
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in 'blockpo'.Alan Mishchenko2013-05-071-0/+1
* Bug fix in 'blockpo'.Alan Mishchenko2013-04-111-3/+3
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-211-7/+40
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-11/+11
* Generation of dual-rail miter.Alan Mishchenko2012-01-281-0/+206