diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-10-09 13:22:28 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-10-09 13:22:28 +0000 |
| commit | 5b65d0f80d56731fd7d07f491973bad14a85566e (patch) | |
| tree | 4aafa4742804ff87408a1da7523d799851a028c0 /configure.ac | |
| parent | bdaa3049467fd17d3fb95701f7946a4bf0f5206a (diff) | |
* Add assertion in TheoryModel code to ensure we don't get inconsistent
substitutions for solved variables. Related to bug 418 (and might
resolve it).
* Respect phase-locking in Minisat (one phase-saving site was unguarded).
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions