summaryrefslogtreecommitdiffstats
path: root/src/sat
Commit message (Expand)AuthorAgeFilesLines
* Silencing warnings.Alan Mishchenko2012-07-112-7/+6
* Changes to clause mapping.Alan Mishchenko2012-07-114-30/+36
* 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 rollb...Alan Mishchenko2012-07-101-10/+0
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+7
* Performance bug fix in the SAT solver (clearing variable activity after rollb...Alan Mishchenko2012-07-091-0/+3
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-099-11/+11
* 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, dsat...Alan Mishchenko2012-07-097-262/+706
* 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-0717-26/+26
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-073-3/+5
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0719-73/+72
* Various changes to enable sensitization-based refinement in &gla.Alan Mishchenko2012-07-042-5/+5
* Performance improvement in &gla.Alan Mishchenko2012-07-043-0/+3
* 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_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-094-30/+30
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-098-35/+35
* 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-172-4/+5
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-167-20/+26
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-1/+2
* 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
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-16/+19
* Variable timeframe abstraction.Alan Mishchenko2012-02-122-71/+62
* Variable timeframe abstraction.Alan Mishchenko2012-02-111-9/+28
* Variable timeframe abstraction.Alan Mishchenko2012-01-281-13/+17
* Variable timeframe abstraction.Alan Mishchenko2012-01-273-210/+127
* Variable timeframe abstraction.Alan Mishchenko2012-01-242-23/+42
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-10/+80
* Variable timeframe abstraction.Alan Mishchenko2012-01-211-6/+1
* Major restructuring of the code.Alan Mishchenko2012-01-2161-11293/+8750
* Variable timeframe abstraction.Alan Mishchenko2012-01-204-30/+39
* Improving printout in the SAT solver.Alan Mishchenko2012-01-132-2/+4
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-122-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-03 16:32:14 +0000