summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigTempor.c
Commit message (Expand)AuthorAgeFilesLines
* Integrating Satoko into 'bmc' and 'bmc2'.Alan Mishchenko2017-08-161-1/+1
* Bug fix in 'tempor -s'.Alan Mishchenko2013-10-301-0/+1
* Restoring correct behavior of 'tempor' after a change in counting BMC frames ...Alan Mishchenko2012-12-071-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-0/+1
* Added new command &gla_shrink.Alan Mishchenko2012-09-041-1/+1
* 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 ...Ci...Alan Mishchenko2012-03-091-12/+12
* 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