| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Adding an procedure to write DIMACS. | Bruno Schmitt | 2017-02-28 | 5 | -3/+74 |
| * | Small tweak to rollback behavior. | Bruno Schmitt | 2017-02-21 | 3 | -0/+8 |
| * | Adding new command to reset Satoko. | Bruno Schmitt | 2017-02-19 | 6 | -9/+63 |
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 3 | -1/+11 |
| * | New function to retrieve polarity value of a variable. | Bruno Schmitt | 2017-02-18 | 2 | -1/+6 |
| * | Bug fix in analyze_final method. | Bruno Schmitt | 2017-02-18 | 1 | -2/+2 |
| * | Compiler warnings. | Alan Mishchenko | 2017-02-18 | 1 | -1/+1 |
| * | Compiler warnings. | Alan Mishchenko | 2017-02-18 | 2 | -7/+7 |
| * | Experiments with SAT sweeping. | Alan Mishchenko | 2017-02-18 | 3 | -11/+13 |
| * | 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 |
| * | - Small changes to the watch lists behavior. | Bruno Schmitt | 2017-02-15 | 7 | -5/+98 |
| * | - Small bug fix in var activity (improve performance) | Bruno Schmitt | 2017-02-14 | 4 | -56/+55 |
| * | Commenting out uncommented message. | Alan Mishchenko | 2017-02-11 | 1 | -1/+1 |
| * | Adding APIs to mark cones. Creating test-bench for incremental solving &satok... | Alan Mishchenko | 2017-02-11 | 4 | -4/+64 |
| * | 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 | 3 | -454/+2 |
| * | New implementation of a software floating point implementation (sdbl) for con... | Bruno Schmitt | 2017-02-11 | 11 | -469/+412 |
| * | Platform-independent double. | Alan Mishchenko | 2017-02-11 | 2 | -1/+226 |
| * | Updates to the autotuner. | Alan Mishchenko | 2017-02-10 | 1 | -1/+1 |
| * | Changes to compile on Windows. | Alan Mishchenko | 2017-02-10 | 1 | -3/+3 |
| * | Merged in boschmitt/abc (pull request #51) | Alan Mishchenko | 2017-02-11 | 6 | -39/+149 |
| |\ |
|
| | * | Merged alanmi/abc into default | Bruno Schmitt | 2017-02-10 | 3 | -96/+177 |
| | |\ |
|
| | * | | New fixed point data type. | Bruno Schmitt | 2017-02-10 | 6 | -39/+149 |
| * | | | Adding PDR with abstraction. | Alan Mishchenko | 2017-02-10 | 2 | -31/+34 |
| | |/
|/| |
|
| * | | Improving CEX minimization. | Alan Mishchenko | 2017-02-10 | 3 | -96/+177 |
| |/ |
|
| * | Standardizing the use of new CNF generator. Adding CNF variable connectivity ... | Alan Mishchenko | 2017-02-10 | 9 | -26/+13 |
| * | Profiling CEX minimization. | Alan Mishchenko | 2017-02-09 | 1 | -4/+22 |
| * | - Adding a compile time option to use floats for var activity (now it can be ... | Bruno Schmitt | 2017-02-09 | 8 | -34/+300 |
| * | 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 |
| * | Small changes to compile satoko on Windows. | Alan Mishchenko | 2017-02-06 | 3 | -4/+4 |
| * | Small changes to support old compilers. | Bruno Schmitt | 2017-02-06 | 8 | -34/+34 |
| * | Adding a new SAT solver to ABC. (Satoko) | Bruno Schmitt | 2017-02-06 | 22 | -0/+3451 |
| * | Improving new X-valued simulation in 'pdr'. | Alan Mishchenko | 2017-02-06 | 1 | -4/+27 |
| * | Improvements to inductive generalization in IC3/PDR by Zyad Hassan. | Alan Mishchenko | 2017-02-02 | 2 | -0/+122 |
| * | Reordering if-statements in the xsat solver. | Alan Mishchenko | 2017-02-02 | 1 | -5/+3 |
| * | Custom floating-point number. | Alan Mishchenko | 2017-01-28 | 1 | -0/+15 |
| * | Custom floating-point number. | Alan Mishchenko | 2017-01-28 | 1 | -0/+213 |
| * | Adding features for invariant minimization. | Alan Mishchenko | 2017-01-25 | 1 | -0/+225 |
| * | Fixing windows compilation problem. | Alan Mishchenko | 2017-01-24 | 3 | -3/+4 |
| * | Fixing gcc compilation problem. | Alan Mishchenko | 2017-01-24 | 1 | -2/+2 |
| * | Merged alanmi/abc into default | Bruno Schmitt | 2017-01-25 | 1 | -1/+6 |
| |\ |
|
| | * | Updates to delay optimization project. | Alan Mishchenko | 2016-12-29 | 1 | -1/+6 |
| * | | Fixes to make xSAT compile with old compilers. | Bruno Schmitt | 2016-12-13 | 8 | -136/+119 |
| |/ |
|
| * | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 2 | -4/+3 |
| * | Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly. | Alan Mishchenko | 2016-12-13 | 8 | -110/+138 |
| * | xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights... | Bruno Schmitt | 2016-12-12 | 13 | -0/+3151 |
| * | 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 |
