summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat
Commit message (Collapse)AuthorAgeFilesLines
...
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+2
|
* Debugging a proof error.Alan Mishchenko2012-07-131-25/+9
|
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+2
|
* Debugging a proof error.Alan Mishchenko2012-07-131-3/+3
|
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+1
|
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+1
|
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+2
|
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+5
|
* Debugging a proof error.Alan Mishchenko2012-07-131-1/+3
|
* Debugging a proof error.Alan Mishchenko2012-07-131-3/+21
|
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+6
|
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+3
|
* Several small changes and fixes.Alan Mishchenko2012-07-133-5/+11
|
* Removed useless file.Alan Mishchenko2012-07-121-5/+6
|
* Added procedure for checking satisfied clauses.Alan Mishchenko2012-07-121-0/+37
|
* Silencing warnings.Alan Mishchenko2012-07-111-1/+1
|
* Silencing warnings.Alan Mishchenko2012-07-112-7/+6
|
* Changes to clause mapping.Alan Mishchenko2012-07-113-24/+30
|
* Changes to clause mapping.Alan Mishchenko2012-07-111-1/+1
|
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-118-455/+498
|
* Improving print-outs of &vta and &gla.Alan Mishchenko2012-07-103-1/+9
|
* Performance bug fix in the SAT solver (clearing variable activity after ↵Alan Mishchenko2012-07-101-10/+0
| | | | rollback).
* Performance bug fix in the SAT solver (clearing variable activity after ↵Alan Mishchenko2012-07-091-0/+7
| | | | rollback).
* Performance bug fix in the SAT solver (clearing variable activity after ↵Alan Mishchenko2012-07-091-0/+3
| | | | rollback).
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-098-10/+10
|
* Bug fix in the recent changes to the SAT solver.Alan Mishchenko2012-07-091-0/+3
|
* Removing print-out message.Alan Mishchenko2012-07-091-1/+1
|
* Adding several command-line arguments to 'dsat'.Alan Mishchenko2012-07-092-6/+15
|
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, ↵Alan Mishchenko2012-07-097-262/+706
| | | | dsat, etc).
* Updating memory print-out of &vta and &gla.Alan Mishchenko2012-07-082-4/+5
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0710-12/+12
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-072-2/+4
|
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0711-48/+51
|
* Added memory reporting to &vta.Alan Mishchenko2012-06-224-4/+57
|
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-152-0/+36
|
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-285-267/+4
|
* Switching to a variable-page-size memory manager for clauses and proofs.Alan Mishchenko2012-03-215-39/+44
|
* Preventing gcc compilation errors in handling memory pages.Alan Mishchenko2012-03-212-27/+27
|
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ↵Alan Mishchenko2012-03-093-7/+7
| | | | ...Ci/Co.
* Extending memory page size for proof logging.Alan Mishchenko2012-03-051-13/+16
|
* Some fixes for VTA under Bridge.Niklas Een2012-03-031-81/+80
|
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-2/+2
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-1/+1
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-2/+2
|
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-164-12/+14
|
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-163-33/+130
|
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-1611-2664/+448
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-0/+6
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-133-27/+85
|
* Variable timeframe abstraction.Alan Mishchenko2012-02-132-9/+7
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 15:24:21 +0000