summaryrefslogtreecommitdiffstats
path: root/src/aig/ivy/ivyFraig.c
Commit message (Expand)AuthorAgeFilesLines
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+4
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-64/+64
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-1/+1
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-1/+1
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-2/+2
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-4/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-23/+31
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-3/+3
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+1
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-231-2/+2
* Bug fix for incorrect memory allocation in main SAT solver, leading to crashe...Alan Mishchenko2012-01-221-4/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-4/+6
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-061-4/+8
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-0/+2
* Started experiments with a new solver.Alan Mishchenko2011-11-251-2/+2
* Changes to support sequential verification with reduction without speculation.Alan Mishchenko2011-02-191-3/+173
* Improvements to CEC command iprove.Alan Mishchenko2011-02-181-2/+2
* initial commit of public abcAlan Mishchenko2010-11-011-15/+24
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90215Alan Mishchenko2009-02-151-56/+56
* Version abc80919Alan Mishchenko2008-09-191-2/+7
* Version abc80905Alan Mishchenko2008-09-051-3/+4
* Version abc80702Alan Mishchenko2008-07-021-6/+7
* Version abc80610Alan Mishchenko2008-06-101-2/+2
* Version abc80512_2Alan Mishchenko2008-05-121-0/+6
* Version abc80212Alan Mishchenko2008-02-121-3/+3
* Version abc80130_2Alan Mishchenko2008-01-301-0/+2760
* Version abc80130Alan Mishchenko2008-01-301-2760/+0
* Version abc71001Alan Mishchenko2007-10-011-0/+2760
* Version abc70930Alan Mishchenko2007-09-301-2762/+0
* Version abc70926Alan Mishchenko2007-09-261-4/+4
* Version abc70911Alan Mishchenko2007-09-111-0/+6
* Version abc70710Alan Mishchenko2007-07-101-1/+7
* Version abc70121Alan Mishchenko2007-01-211-2/+13
* Version abc70110Alan Mishchenko2007-01-101-4/+39
* Version abc61122Alan Mishchenko2006-11-221-0/+2704