Age | Commit message (Collapse) | Author |
|
|
|
|
|
Fix minor bug and typo in boolean rewriter
|
|
One of the rewrites in the boolean rewriter had the condition `n[0] ==
tt && n[0] == ff`, which could never be true. Another rewrite covers the
same case but returns a `REWRITE_AGAIN` instead of a `REWRITE_DONE`.
This commit also fixes a minor typo.
|
|
|
|
|
|
This reverts commit 3395c5c13cd61d98aec0d9806e3b9bc3d707968a, reversing
changes made to 5f415d4585134612bc24e9a823289fee35541a01.
|
|
Conflicts:
src/options/quantifiers_options
|
|
- clean up
|
|
|
|
preprocessing holes
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adding a clang format file for the project.
|
|
|
|
|
|
|
|
|
|
|
|
A bug was introduced in the cleanup process as preparation for the merge
(theory_sets_private.cpp, lines 2502-2508 in this commit).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
strictly earlier entries.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|