summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat
Commit message (Collapse)AuthorAgeFilesLines
...
* Commented out the default call to UNSAT core verification.Alan Mishchenko2011-11-251-1/+1
|
* Improvement to the SAT solver (skipping binary clauses).Alan Mishchenko2011-11-253-5/+57
|
* Enabled skipping random decisions in PBA, which are performed by default.Alan Mishchenko2011-11-122-1/+9
|
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-311-3/+4
|
* New abstraction code.Alan Mishchenko2011-10-151-0/+2
|
* Reduced default growth rate of vectors in the SAT solver.Alan Mishchenko2011-07-131-2/+4
|
* Adding SAT-solver-level timeouts to the BMC engines.Alan Mishchenko2011-04-082-1/+9
|
* Added test package (new files).Alan Mishchenko2011-03-291-0/+5
|
* 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-0120-113/+3653
|
* Version abc90310Alan Mishchenko2009-03-101-0/+1
|
* Version abc90215Alan Mishchenko2009-02-1513-237/+223
|
* 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-045-27/+2424
|
* 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-181-1/+1
|
* Version abc80717Alan Mishchenko2008-07-175-1/+1107
|
* Version abc80515Alan Mishchenko2008-05-151-1/+1
|
* Version abc80511Alan Mishchenko2008-05-111-1/+1
|
* Version abc80510Alan Mishchenko2008-05-101-1/+3
|
* 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-011-4/+5
|
* Version abc80208Alan Mishchenko2008-02-082-0/+27
|
* Version abc80202Alan Mishchenko2008-02-022-0/+10
|
* Version abc80130_2Alan Mishchenko2008-01-3012-0/+5152
|
* Version abc80130Alan Mishchenko2008-01-3012-5152/+0
|
* Version abc80116Alan Mishchenko2008-01-165-16/+997
|
* Version abc71130Alan Mishchenko2007-11-301-0/+18
|
* Version abc71001Alan Mishchenko2007-10-0111-0/+4153
|
* Version abc70930Alan Mishchenko2007-09-3011-4151/+0
|
* Version abc70926Alan Mishchenko2007-09-263-12/+20
|
* Version abc70906Alan Mishchenko2007-09-061-177/+25
|
* Version abc70831Alan Mishchenko2007-08-311-25/+177
|
* Version abc70726Alan Mishchenko2007-07-261-1/+2
|
* Version abc70216Alan Mishchenko2007-02-161-0/+5
|
* Version abc70206Alan Mishchenko2007-02-062-1/+9
|
* Version abc70202Alan Mishchenko2007-02-022-21/+25
|
* Version abc70124Alan Mishchenko2007-01-246-36/+48
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-07 06:23:41 +0000