summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Expand)AuthorAgeFilesLines
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-012-15/+15
* Removed useless typecasts related to changes in Vec_VecEntry().Alan Mishchenko2011-08-011-2/+2
* Reduced default growth rate of vectors in the SAT solver.Alan Mishchenko2011-07-131-2/+4
* Added switch to PDR to disable expensive generalization step.Alan Mishchenko2011-07-132-66/+71
* Modified the PDR print-out to be compatible with Niklas.Alan Mishchenko2011-07-121-3/+3
* Added printout of flop names in the PLA file representing the invariant.Alan Mishchenko2011-07-111-0/+16
* The cube in PDR can have more than 2^15 literals.Alan Mishchenko2011-06-272-4/+4
* Improvements to timeout.Alan Mishchenko2011-05-111-0/+2
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-082-1/+9
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-0710-37/+243
* Added test package (new files).Alan Mishchenko2011-03-291-0/+5
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-272-3/+3
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-031-13/+13
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-2/+1
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-132-3/+3
* Make PDR return the number of completed frames.Alan Mishchenko2011-02-032-0/+8
* New code since Dec 2010.Alan Mishchenko2011-01-1312-0/+3483
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-132-39/+152
* Initial implementation of AnalyseFinalAlan Mishchenko2010-12-032-1/+9
* Adding missing license agreementsAlan Mishchenko2010-11-291-0/+21
* initial commit of public abcAlan Mishchenko2010-11-0158-240/+3972
* Version abc90408Alan Mishchenko2009-04-087-11/+7
* Version abc90310Alan Mishchenko2009-03-101-0/+1
* Version abc90215Alan Mishchenko2009-02-1539-548/+481
* Version abc90118Alan Mishchenko2009-01-182-12/+140
* Version abc81029Alan Mishchenko2008-10-291-0/+8
* Version abc81013Alan Mishchenko2008-10-131-2/+57
* Version abc81004Alan Mishchenko2008-10-046-27/+2548
* Version abc80927Alan Mishchenko2008-09-272-1/+1049
* Version abc80921Alan Mishchenko2008-09-211-36/+32
* Version abc80919Alan Mishchenko2008-09-191-3/+33
* Version abc80725Alan Mishchenko2008-07-252-1/+17
* Version abc80719Alan Mishchenko2008-07-193-13/+32
* Version abc80718Alan Mishchenko2008-07-184-1/+50
* Version abc80717Alan Mishchenko2008-07-177-3/+1107
* Version abc80702Alan Mishchenko2008-07-027-15/+13
* Version abc80515Alan Mishchenko2008-05-151-1/+1
* Version abc80511Alan Mishchenko2008-05-111-1/+1
* Version abc80510Alan Mishchenko2008-05-101-1/+3
* Version abc80403Alan Mishchenko2008-04-031-0/+1
* Version abc80402Alan Mishchenko2008-04-021-8/+26
* Version abc80315Alan Mishchenko2008-03-151-1/+1
* Version abc80313Alan Mishchenko2008-03-132-0/+32
* Version abc80307_2Alan Mishchenko2008-03-071-0/+1
* Version abc80307Alan Mishchenko2008-03-072-0/+894
* Version abc80301Alan Mishchenko2008-03-013-8/+10
* Version abc80208Alan Mishchenko2008-02-082-0/+27
* Version abc80202Alan Mishchenko2008-02-022-0/+10
* Version abc80130_2Alan Mishchenko2008-01-3052-1053/+7110
* Version abc80130Alan Mishchenko2008-01-3052-7110/+1053