Age | Commit message (Collapse) | Author |
|
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
|
|
|
|
|