summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigInd.c
Commit message (Expand)AuthorAgeFilesLines
* Compiler warnings.Alan Mishchenko2013-10-171-2/+2
* Fixing corner-case bug in command 'ind'.Alan Mishchenko2013-09-081-23/+40
* Adding timeout to command 'ind'.Alan Mishchenko2013-06-281-4/+10
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-3/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-4/+4
* 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-2/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-2/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+3
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-2/+41
* Added report about exceeding the conflict limit in 'ind'.Alan Mishchenko2011-07-191-1/+3
* initial commit of public abcAlan Mishchenko2010-11-011-21/+191
* Version abc90215Alan Mishchenko2009-02-151-2/+2
* Version abc81013Alan Mishchenko2008-10-131-0/+174