Age | Commit message (Collapse) | Author |
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adding a gnu++11 rule to travis.
|
|
Adds a single example of applying this clang-format.
|
|
|
|
|
|
we can deduce that it is a constant-disequality proof and process it accordingly
|
|
|