summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcDar.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Version abc90408Alan Mishchenko2009-04-081-6/+11
* Version abc90313Alan Mishchenko2009-03-131-3/+3
* Version abc90310Alan Mishchenko2009-03-101-108/+14
* Version abc90215Alan Mishchenko2009-02-151-72/+155
* Version abc90118Alan Mishchenko2009-01-181-42/+684
* Version abc81029Alan Mishchenko2008-10-291-8/+45
* Version abc81027Alan Mishchenko2008-10-271-5/+49
* Version abc81014Alan Mishchenko2008-10-141-2/+2
* Version abc81013Alan Mishchenko2008-10-131-2/+25
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-15 05:02:20 +0000