summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat
Commit message (Expand)AuthorAgeFilesLines
* Changes to the main SAT solver: fixing performance bug (resetting decay param...Alan Mishchenko2011-12-094-315/+330
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-083-228/+187
* Proof-logging in the updated solver.Alan Mishchenko2011-12-083-133/+334
* Proof-logging in the updated solver.Alan Mishchenko2011-12-085-120/+211
* Proof-logging in the updated solver.Alan Mishchenko2011-12-073-176/+124
* Proof-logging in the updated solver.Alan Mishchenko2011-12-063-65/+163
* g++ portability changes.Alan Mishchenko2011-12-061-2/+2
* Proof-logging in the updated solver.Alan Mishchenko2011-12-052-32/+34
* Proof-logging in the updated solver.Alan Mishchenko2011-12-054-391/+524
* Proof-logging in the updated solver.Alan Mishchenko2011-12-053-18/+34
* Proof-logging in the updated solver.Alan Mishchenko2011-12-042-32/+41
* Proof-logging in the updated solver.Alan Mishchenko2011-12-043-283/+352
* Proof-logging in the updated solver.Alan Mishchenko2011-12-045-216/+481
* Removing redundant function declarations.Alan Mishchenko2011-12-021-4/+0
* Started proof transformations.Alan Mishchenko2011-12-012-0/+477
* Started experiments with a new solver.Alan Mishchenko2011-11-272-645/+265
* Started experiments with a new solver.Alan Mishchenko2011-11-264-555/+466
* Started experiments with a new solver.Alan Mishchenko2011-11-261-3/+10
* Started experiments with a new solver.Alan Mishchenko2011-11-263-4/+6
* Started experiments with a new solver.Alan Mishchenko2011-11-263-72/+371
* Started experiments with a new solver.Alan Mishchenko2011-11-254-7/+1732
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-09 13:22:27 +0000