summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat
Commit message (Expand)AuthorAgeFilesLines
* 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 ...Ci...Alan Mishchenko2012-03-093-7/+7
* 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
* 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-2113-26/+26
* 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
* Bug fix related to not properly resizing SAT solver's model array.Alan Mishchenko2012-01-065-31/+25
* APIs to represent simple gates in CNF.Alan Mishchenko2012-01-051-0/+112
* APIs to represent simple gates in CNF.Alan Mishchenko2012-01-051-0/+100
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-233-38/+83
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-233-91/+45
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-232-4/+4
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-238-542/+2484
* Transforming the solver to use different clause representation.Alan Mishchenko2011-12-221-143/+143
* Computing interpolants as truth tables.Alan Mishchenko2011-12-228-0/+825
* Undoing temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Temporary change to the solver.Alan Mishchenko2011-12-151-1/+1
* Started SAT-based reparameterization.Alan Mishchenko2011-12-133-149/+73
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-101-5/+6
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-103-14/+46
* Implemented rollback in the main SAT solver and updated PDR to use it (saves ...Alan Mishchenko2011-12-104-8/+89
* Implementing rollback in the updated solver.Alan Mishchenko2011-12-103-81/+218
* Removing unused files.Alan Mishchenko2011-12-106-6483/+0
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 12:59:24 +0000