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