projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e677779) | patch
Remove n-ary builder (#7671)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 19 Nov 2021 19:57:46 +0000 (13:57 -0600)
committerGitHub <noreply@github.com>
Fri, 19 Nov 2021 19:57:46 +0000 (19:57 +0000)
commit90cc5b0eccafd2f571b3bc388095bf8976cb8d18
tree8ff93c1ceb88634d6bfc1b74bf12c47b283e8ca2tree
parente67777928ed8c73f6dfc802b5844c95d135c5127commit | diff
Remove n-ary builder (#7671)

Adds the only usage of this file into ite_simp.cpp, where it is specialized for AND.

This is work towards eliminating arithmetic subtyping (that utility had an unused and ambiguous use of mkConst(CONST_RATIONAL, ...)).
src/CMakeLists.txt diff | blob | history
src/preprocessing/passes/ite_simp.cpp diff | blob | history
src/smt_util/nary_builder.cpp [deleted file] blob | history
src/smt_util/nary_builder.h [deleted file] blob | history