projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 68b6948) | patch
Further refactoring in preparation for CONST_INTEGER (#8687)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 May 2022 19:11:22 +0000 (14:11 -0500)
committerGitHub <noreply@github.com>
Mon, 2 May 2022 19:11:22 +0000 (19:11 +0000)
commitc02a35e96ed55cebe5a8ec18159301926153ba56
tree66085e5371dc07d615ca1f76407ae6c40e5b6849tree
parent68b6948dcf2bc1b0d4f08f038aa18a31c3857b57commit | diff
Further refactoring in preparation for CONST_INTEGER (#8687)

Miscellaneous refactorings from trying to enable CONST_INTEGER.
src/expr/node_manager_template.cpp diff | blob | history
src/expr/node_manager_template.h diff | blob | history
src/theory/arith/arith_rewriter.cpp diff | blob | history
src/theory/arith/linear/infer_bounds.cpp diff | blob | history
src/theory/arith/linear/normal_form.cpp diff | blob | history
src/theory/arith/linear/normal_form.h diff | blob | history
src/theory/arith/rewriter/node_utils.h diff | blob | history
src/theory/arith/theory_arith_type_rules.cpp diff | blob | history
src/theory/quantifiers/instantiate.cpp diff | blob | history