summaryrefslogtreecommitdiffstats
path: root/src/aig/ivy
Commit message (Collapse)AuthorAgeFilesLines
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-263-3/+3
|
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-052-2/+2
| | | | memcpy, etc.
* Suggested white-space changes for fewer gcc warnings.Alan Mishchenko2019-03-041-1/+1
|
* Several recent bug fixes.Alan Mishchenko2018-11-041-1/+1
|
* Compiler warnings.Alan Mishchenko2017-07-222-3/+3
|
* 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 ↵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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 14:59:57 +0000