summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcDar.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing assertion mismatch in bmc2.Alan Mishchenko2012-07-141-1/+1
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-2/+2
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-091-3/+3
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-081-1/+1
* Adding restart to rarity simulation in sim3 and &sim3.Alan Mishchenko2012-07-081-5/+5
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-19/+19
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-25/+34
* Changing the rules of assigning the names when AIG is converted into a logic ...Alan Mishchenko2012-05-111-4/+9
* Making demiter dump files in the current directory.Alan Mishchenko2012-03-261-5/+13
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+1
* Enabled demitering dual-output miters.Alan Mishchenko2012-03-231-1/+1
* Additional features for delay optimizationAlan Mishchenko2012-03-211-0/+9
* 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-14/+14
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-16/+16
* Redirecting printf messages.Alan Mishchenko2012-03-021-181/+181
* Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default (bug f...Alan Mishchenko2012-02-251-1/+1
* Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.Alan Mishchenko2012-02-241-8/+11
* Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.Alan Mishchenko2012-02-241-1/+8
* Making BMC engines (bmc2, bmc3) to perform OR-decomposition by default.Alan Mishchenko2012-02-241-51/+165
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-3/+3
* Added returning counter-example after BMC, which was recently added to 'dprove'.Alan Mishchenko2012-01-231-0/+4
* Major restructuring of the code.Alan Mishchenko2012-01-211-23/+23
* Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control B...Alan Mishchenko2012-01-191-13/+15
* Started experiments with a new solver.Alan Mishchenko2011-11-251-3/+3
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-5/+5
* Changes to CNF generation code.Alan Mishchenko2011-10-171-5/+18
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-251-1/+1
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-8/+8
* Several bug fixes.Alan Mishchenko2011-08-021-4/+14
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-3/+3
* Improvements to 'bmc3' (start frame; stop when all POs are SAT; stop when 2^n...Alan Mishchenko2011-07-311-6/+4
* Added generation of counter-examples to induction in 'ind'.Alan Mishchenko2011-07-301-4/+10
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-47/+1
* Changes to enable smarter simulation.Alan Mishchenko2011-07-301-2/+2
* Improving and updating the abstraction code.Alan Mishchenko2011-07-291-68/+1
* Adding &equiv3, a new way of refining equivalence classes.Alan Mishchenko2011-07-221-1/+47
* Changes to enable smarter simulation.Alan Mishchenko2011-07-211-0/+46
* New demitering features.Alan Mishchenko2011-07-201-0/+53
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-0/+68
* Added new command 'outdec'.Alan Mishchenko2011-05-191-0/+30
* Improvements in sequential verification.Alan Mishchenko2011-05-061-5/+32
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-081-26/+32
* Several bug fixes and other improvements.Alan Mishchenko2011-03-121-15/+0
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-2/+2
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-13/+12
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-5/+16
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-14/+42
* Initial integration of PDRAlan Mishchenko2010-12-031-0/+50
* Bug fix: alloing "dsat" to work on multi-output conesAlan Mishchenko2010-11-291-1/+5