summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigTempor.c
Commit message (Collapse)AuthorAgeFilesLines
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-2/+2
|
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ↵Alan Mishchenko2012-03-091-12/+12
| | | | ...Ci/Co.
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
|
* Crash fix in 'tempor' in case the leading length is 0.Alan Mishchenko2012-01-071-0/+6
|
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-2/+2
|
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-6/+55
|
* New code since Dec 2010.Alan Mishchenko2011-01-131-0/+199