| Commit message (Expand) | Author | Age | Files | Lines |
* | Experiments with pattern generation. | Alan Mishchenko | 2021-10-10 | 1 | -0/+18 |
* | Experiments with simulation-based engines. | Alan Mishchenko | 2020-03-25 | 1 | -1/+2 |
* | Changes to several APIs. | Alan Mishchenko | 2019-11-01 | 1 | -6/+22 |
* | An improvement to 'twoexact' and 'lutexact'. | Alan Mishchenko | 2017-12-06 | 2 | -15/+19 |
* | Changes to 'pdr' to run with updated Satoko. | Alan Mishchenko | 2017-09-06 | 1 | -0/+8 |
* | Several changes to various packages. | Alan Mishchenko | 2017-09-04 | 1 | -1/+2 |
* | Improvements to minimize_assumptions. | Alan Mishchenko | 2017-09-03 | 1 | -7/+22 |
* | Adding an option to bmc3 to use Satoko intead of the default SAT solver. | Alan Mishchenko | 2017-08-13 | 2 | -2/+2 |
* | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -3/+3 |
* | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -3/+3 |
* | Compiler warnings. | Alan Mishchenko | 2017-04-28 | 1 | -3/+3 |
* | Experiments with hashing. | Alan Mishchenko | 2017-04-11 | 2 | -0/+6 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-04 | 2 | -0/+15 |
* | Experiments with don't-cares. | Alan Mishchenko | 2017-04-02 | 1 | -2/+2 |
* | added callbacks to bmc3 and sat solver | Yen-Sheng Ho | 2017-03-20 | 2 | -0/+6 |
* | Clone of the main SAT solver to eneable independent work. | Alan Mishchenko | 2017-03-03 | 1 | -0/+1 |
* | Clone of the main SAT solver to eneable independent work. | Alan Mishchenko | 2017-03-03 | 2 | -0/+2921 |
* | Adding alternative generalization procedure. | Alan Mishchenko | 2017-03-02 | 2 | -3/+92 |
* | Adding efficient procedure to minimize the set of assumptions (improved liter... | Alan Mishchenko | 2017-03-02 | 1 | -1/+8 |
* | Adding alternative generalization procedure. | Alan Mishchenko | 2017-03-01 | 1 | -1/+1 |
* | Adding efficient procedure to minimize the set of assumptions. | Alan Mishchenko | 2017-03-01 | 2 | -0/+53 |
* | Fixing missing sat_solver APIs in 'iprove'. | Alan Mishchenko | 2017-02-16 | 1 | -6/+24 |
* | Fixing missing sat_solver APIs in 'iprove'. | Alan Mishchenko | 2017-02-15 | 1 | -3/+40 |
* | Commenting out uncommented message. | Alan Mishchenko | 2017-02-11 | 1 | -1/+1 |
* | Updates to variable activity in the SAT solver. | Alan Mishchenko | 2017-02-11 | 2 | -342/+224 |
* | Movinng custom floating-point implementations, etc. | Alan Mishchenko | 2017-02-11 | 1 | -1/+2 |
* | Re-introducing floating-point activity in the SAT solver. | Alan Mishchenko | 2017-02-07 | 1 | -2/+18 |
* | Re-introducing floating-point activity in the SAT solver. | Alan Mishchenko | 2017-02-06 | 2 | -39/+171 |
* | Improvements to inductive generalization in IC3/PDR by Zyad Hassan. | Alan Mishchenko | 2017-02-02 | 2 | -0/+122 |
* | Updates to delay optimization project. | Alan Mishchenko | 2016-12-29 | 1 | -1/+6 |
* | Fixes and adjustments for the edge computation flow. | Alan Mishchenko | 2016-07-15 | 1 | -1/+1 |
* | Experiments with edge-based mapping. | Alan Mishchenko | 2016-06-15 | 1 | -2/+3 |
* | Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. | Alan Mishchenko | 2016-05-19 | 2 | -1/+2 |
* | This code was accidentally deleted from the SAT solver (effectively disabling... | Alan Mishchenko | 2016-04-30 | 1 | -0/+7 |
* | Improved algo for edge computation. | Alan Mishchenko | 2016-04-23 | 2 | -1/+14 |
* | Adding new implementation of LEXSAT. | Alan Mishchenko | 2016-04-12 | 2 | -0/+69 |
* | Restructing sat_solver_solve() method for pushing/popping assumptions. | Alan Mishchenko | 2016-04-12 | 3 | -151/+153 |
* | Removing unused feature of the SAT solver (user-guided variable ordering). | Alan Mishchenko | 2016-04-12 | 2 | -53/+1 |
* | Removing unused feature of the SAT solver (native support for cardinality con... | Alan Mishchenko | 2016-04-12 | 3 | -33/+2 |
* | Improvements to delay-optimization in &satlut. | Alan Mishchenko | 2016-04-04 | 1 | -1/+8 |
* | Experiments with SAT-based mapping. | Alan Mishchenko | 2016-02-07 | 1 | -0/+23 |
* | Experiments with SAT-based mapping. | Alan Mishchenko | 2016-01-10 | 1 | -0/+9 |
* | Adding support of candinality clause to the SAT solver. | Alan Mishchenko | 2016-01-10 | 3 | -3/+35 |
* | Added comment how to print binary clauses in procedure Sat_SolverWriteDimacs(). | Alan Mishchenko | 2015-10-16 | 1 | -1/+4 |
* | Tuning SAT solver for QBF instances. | Alan Mishchenko | 2015-09-18 | 1 | -4/+6 |
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-04 | 2 | -1/+8 |
* | Experiments with SAT-based collapsing. | Alan Mishchenko | 2015-09-03 | 2 | -8/+51 |
* | Bug fix in QBF solver. | Alan Mishchenko | 2015-05-04 | 1 | -0/+4 |
* | Experiments with SAT-based cube enumeration. | Alan Mishchenko | 2015-03-05 | 1 | -19/+19 |
* | Compiler warnings. | Alan Mishchenko | 2015-02-19 | 1 | -1/+1 |