projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a33e9e4) | patch
Cbqi bv ineq mode (#1273)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 25 Oct 2017 00:38:16 +0000 (19:38 -0500)
committerGitHub <noreply@github.com>
Wed, 25 Oct 2017 00:38:16 +0000 (19:38 -0500)
commite03d56b6de112cae8e9234fff16b985f0765740e
tree391fb3e8316e05c185e83623ce8fd770719a0c8ftree
parenta33e9e4400b924f031100a9e498b2180bb025665commit | diff
Cbqi bv ineq mode (#1273)

* Add mode for cbqi bv inequality handling.

* Implement the mode.

* Clang format

* Apply new clang format.

* Revert "Apply new clang format."

This reverts commit 1fec0ed999e45daacc4c756f11b5ecb4690f6561.

* Revert "Clang format"

This reverts commit 17042edb82d64c159aeddfe0264cd663998d0471.

* Clang format, second try.

* Revert "Clang format, second try."

This reverts commit f862c47c34bc313f5bc49a26b7586a4824e5aae0.

* Apply clang format, try 3.
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/quantifiers_modes.h diff | blob | history
src/options/quantifiers_options diff | blob | history
src/theory/quantifiers/ceg_t_instantiator.cpp diff | blob | history