summaryrefslogtreecommitdiffstats
path: root/src/sat/bsat/satProof.c
Commit message (Expand)AuthorAgeFilesLines
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 06:08:36 +0000