summaryrefslogtreecommitdiffstats
path: root/src/aig/ivy
Commit message (Expand)AuthorAgeFilesLines
* Compiler warning.Alan Mishchenko2017-02-111-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-0/+4
* Compiler warnings.Alan Mishchenko2014-10-282-2/+2
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-2710-155/+155
* 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-074-10/+10
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-079-41/+51
* 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-162-1/+4
* 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-216-51/+18
* 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
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-0/+5
* Started experiments with a new solver.Alan Mishchenko2011-11-251-2/+2
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-014-7/+7
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-26/+0
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-271-0/+1
* 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-0127-165/+307
* Version abc90410Alan Mishchenko2009-04-101-2/+2
* Version abc90408Alan Mishchenko2009-04-084-5/+5
* Version abc90215Alan Mishchenko2009-02-1513-107/+107
* Version abc80919Alan Mishchenko2008-09-191-2/+7
* Version abc80905Alan Mishchenko2008-09-051-3/+4
* Version abc80702Alan Mishchenko2008-07-0211-54/+65
* Version abc80610Alan Mishchenko2008-06-101-2/+2
* Version abc80512_2Alan Mishchenko2008-05-121-0/+6
* Version abc80511Alan Mishchenko2008-05-111-1/+1
* Version abc80403Alan Mishchenko2008-04-031-0/+1
* Version abc80301Alan Mishchenko2008-03-011-4/+4
* Version abc80212Alan Mishchenko2008-02-121-3/+3
* Version abc80130_2Alan Mishchenko2008-01-3028-0/+15791
* Version abc80130Alan Mishchenko2008-01-3028-15791/+0
* Version abc71001Alan Mishchenko2007-10-0128-0/+15791
* Version abc70930Alan Mishchenko2007-09-3028-15793/+0
* Version abc70926Alan Mishchenko2007-09-261-4/+4
* Version abc70911Alan Mishchenko2007-09-111-0/+6
* Version abc70906Alan Mishchenko2007-09-061-0/+1
* Version abc70822Alan Mishchenko2007-08-221-1/+1
* Version abc70710Alan Mishchenko2007-07-101-1/+7
* Version abc70202Alan Mishchenko2007-02-023-15/+101
* Version abc70121Alan Mishchenko2007-01-212-2/+15
* Version abc70110Alan Mishchenko2007-01-103-5/+41
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 16:57:15 +0000