summaryrefslogtreecommitdiffstats
path: root/src/aig/ivy
Commit message (Collapse)AuthorAgeFilesLines
* 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 ↵Alan Mishchenko2012-03-091-3/+3
| | | | ...Ci/Co.
* 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 ↵Alan Mishchenko2012-01-231-2/+2
| | | | crashes in 'dsec' (correction to the previous fix).
* Bug fix for incorrect memory allocation in main SAT solver, leading to ↵Alan Mishchenko2012-01-221-4/+4
| | | | crashes in 'dsec'.
* 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
|
* Version abc61216Alan Mishchenko2006-12-161-3/+4
|
* Version abc61206Alan Mishchenko2006-12-065-1491/+0
|
* Version abc61205Alan Mishchenko2006-12-052-540/+489
|
* Version abc61204Alan Mishchenko2006-12-041-0/+833
|