summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satProof.c
Commit message (Expand)AuthorAgeFilesLines
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-0/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-10/+3
* 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-131-1/+4
* Removed useless file.Alan Mishchenko2012-07-121-5/+6
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-55/+70
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-091-3/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-3/+3
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-6/+9
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-1/+1
* Switching to a variable-page-size memory manager for clauses and proofs.Alan Mishchenko2012-03-211-1/+1
* Preventing gcc compilation errors in handling memory pages.Alan Mishchenko2012-03-211-2/+2
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-3/+3
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-191-1/+1
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-3/+4
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-24/+112
* Improved memory management of proof-logging and propagated changes.Alan Mishchenko2012-02-161-155/+81
* Variable timeframe abstraction.Alan Mishchenko2012-02-131-3/+57
* Variable timeframe abstraction.Alan Mishchenko2012-01-271-10/+25
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+3
* Variable timeframe abstraction.Alan Mishchenko2012-01-201-12/+17
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-24/+21
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-231-83/+21
* Computing interpolants as truth tables.Alan Mishchenko2011-12-221-0/+109
* Started SAT-based reparameterization.Alan Mishchenko2011-12-131-143/+66
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-12/+12
* Integrated new proof-logging into proof-based gate-level abstraction.Alan Mishchenko2011-12-081-190/+160
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-131/+332
* Proof-logging in the updated solver.Alan Mishchenko2011-12-081-46/+90
* Proof-logging in the updated solver.Alan Mishchenko2011-12-071-137/+103
* Proof-logging in the updated solver.Alan Mishchenko2011-12-061-39/+146
* g++ portability changes.Alan Mishchenko2011-12-061-2/+2
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-32/+29
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-218/+299
* Proof-logging in the updated solver.Alan Mishchenko2011-12-051-1/+1
* Started proof transformations.Alan Mishchenko2011-12-011-0/+476