summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcDar.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* initial commit of public abcAlan Mishchenko2010-11-011-123/+465
* Version abc90901Alan Mishchenko2015-06-221-5/+92
* Version abc90807Alan Mishchenko2015-06-221-0/+44
* Version abc90804Alan Mishchenko2015-06-221-11/+6
* Version abc90714Alan Mishchenko2015-06-221-41/+134
* Version abc90505Alan Mishchenko2009-05-051-3/+3
* Version abc90424Alan Mishchenko2009-04-241-4/+16
* Version abc90410Alan Mishchenko2009-04-101-1/+9
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-24 03:19:26 +0000