summaryrefslogtreecommitdiffstats
path: root/src/aig/saig/saigBmc3.c
Commit message (Expand)AuthorAgeFilesLines
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-6/+6
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-071-0/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-5/+6
* Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).Alan Mishchenko2012-07-051-3/+3
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-3/+4
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-4/+4
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-13/+1
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-73/+116
* Other improvements to bmc2 and bmc3.Alan Mishchenko2012-07-011-22/+44
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+1
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-107/+92
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-0/+99
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-10/+10
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-6/+8
* Do not allow quitting bmc3 after exploring 2^<num_ff> frames if jump-forward ...Alan Mishchenko2012-05-201-1/+1
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-2/+2
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-4/+4
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-6/+6
* Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infin...Alan Mishchenko2012-02-191-2/+5
* Changing how BMC report runtime.Alan Mishchenko2012-02-161-1/+3
* Major restructuring of the code.Alan Mishchenko2012-01-211-5/+5
* Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control B...Alan Mishchenko2012-01-191-1/+1
* Trying to make sorting of nodes platform-indendent.Alan Mishchenko2011-12-151-0/+5
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-3/+4
* Added new feature to bmc3.Alan Mishchenko2011-09-231-6/+24
* Fixed the problem with incorrect reporting of finished timeframes after &abs_...Alan Mishchenko2011-09-041-1/+1
* Bug fix in CBA and PBA.Alan Mishchenko2011-08-171-0/+3
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-3/+6
* Reducing print-out in 'bmc3'.Alan Mishchenko2011-08-011-9/+9
* Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n...Alan Mishchenko2011-07-311-3/+22
* Added switch to bmc3, which allows to replace some PIs with constants.Alan Mishchenko2011-05-011-9/+21
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-4/+55
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-081-0/+4
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-4/+2
* initial commit of public abcAlan Mishchenko2010-11-011-0/+1227