summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigDup.c
Commit message (Expand)AuthorAgeFilesLines
* Adding switch 'scorr -f' to dump inductive invariant as an AIG.Alan Mishchenko2018-03-221-1/+3
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+5
* Added switches '-c' and '-n' to 'init'.Alan Mishchenko2014-11-021-0/+64
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-8/+8
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-30/+30
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+76
* Major restructuring of the code.Alan Mishchenko2012-01-211-12/+12
* Added switch 'write_counter -f' to output flop values in each time frame.Alan Mishchenko2012-01-181-0/+52
* g++ portability changes.Alan Mishchenko2011-12-061-1/+1
* Trying to add BMC to random simulation.Alan Mishchenko2011-11-061-0/+44
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-011-1/+1
* Added deriving abstraction in GIA from the precomputed flop map.Alan Mishchenko2011-07-291-22/+22
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-0/+85
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-1/+1
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-1/+51
* initial commit of public abcAlan Mishchenko2010-11-011-6/+18
* Version abc90901Alan Mishchenko2015-06-221-23/+98
* Version abc90118Alan Mishchenko2009-01-181-1/+5
* Version abc81027Alan Mishchenko2008-10-271-5/+4
* Version abc80927Alan Mishchenko2008-09-271-0/+60
* Version abc80919Alan Mishchenko2008-09-191-0/+74