summaryrefslogtreecommitdiffstats
path: root/src/aig/saig
Commit message (Expand)AuthorAgeFilesLines
* Bug fix in 'blockpo'.Alan Mishchenko2013-04-111-3/+3
* Handling special case in 'fold' when the network is combinational.Alan Mishchenko2013-03-131-5/+15
* Adding new features to 'dualrail'.Alan Mishchenko2013-02-212-8/+41
* Fixing C++ compilation issues.Alan Mishchenko2013-01-081-0/+3
* Restoring correct behavior of 'tempor' after a change in counting BMC frames ...Alan Mishchenko2012-12-071-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-141-1/+1
* Isolating BMC code into a separate package.Alan Mishchenko2012-11-147-3408/+2
* Replaced printfs with Abc_PrintNiklas Een2012-10-291-48/+47
* Making report about the number of correcty covered frames consistent across t...Alan Mishchenko2012-10-092-4/+4
* C++ portability changes.Alan Mishchenko2012-10-031-2/+2
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-162/+241
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-232-734/+0
* Bug fix in bmc3.Alan Mishchenko2012-09-171-1/+6
* Fixed timeout problem in bmc3 -s.Alan Mishchenko2012-09-171-12/+7
* Created new abstraction package from the code that was all over the place.Alan Mishchenko2012-09-159-3095/+1
* Unified print-out of property failures produced by all engines.Alan Mishchenko2012-09-093-7/+7
* Added new command &gla_shrink.Alan Mishchenko2012-09-044-25/+31
* Minor updates to the BMC engines.Alan Mishchenko2012-07-272-3/+46
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+17
* Recording and reusing learned util clauses in bmc3.Alan Mishchenko2012-07-221-13/+57
* Small bug in bmc2 timeout.Alan Mishchenko2012-07-161-1/+1
* Changes to clause mapping.Alan Mishchenko2012-07-111-7/+7
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-096-16/+16
* Adding flushing stdout after printing verbose stats.Alan Mishchenko2012-07-072-0/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0728-59/+59
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-074-4/+4
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0728-104/+94
* Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit).Alan Mishchenko2012-07-051-3/+3
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-041-1/+1
* 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-012-23/+45
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-2/+1
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+1
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-012-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-011-1/+2
* Reducing memory usage in bmc2 and bmc3.Alan Mishchenko2012-07-012-172/+149
* Gate level abstraction (command &gla).Alan Mishchenko2012-06-281-0/+99
* Added min-cut-based refinement of gate-level abstraction (command &gla_refine).Alan Mishchenko2012-06-241-0/+2
* 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-0918-65/+65
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-0939-291/+291
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-0933-269/+269
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-2/+2
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-6/+134
* Adding flag -s to &put to disable status clearing.Alan Mishchenko2012-02-221-1/+1