projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2f5753) | patch
Eliminate use of subtypes from remainder of type rules (#8756)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 12 May 2022 19:37:28 +0000 (14:37 -0500)
committerGitHub <noreply@github.com>
Thu, 12 May 2022 19:37:28 +0000 (19:37 +0000)
commit1b55d831e0952a9260997414b713e05002bf4526
tree54988eddc90cb8e864cf88250d3e4e552e8d7e26tree
parenta2f5753469c7404a2893ce72425ada6b842915a5commit | diff
Eliminate use of subtypes from remainder of type rules (#8756)

This PR should be added before the minor release that advertises our policy change for subtyping.
src/expr/type_matcher.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/arith/theory_arith_type_rules.cpp diff | blob | history
src/theory/arrays/theory_arrays_type_rules.cpp diff | blob | history
src/theory/bags/theory_bags_type_rules.cpp diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.cpp diff | blob | history
src/theory/sets/theory_sets_type_rules.cpp diff | blob | history
src/theory/strings/theory_strings_type_rules.cpp diff | blob | history
src/theory/uf/theory_uf_type_rules.cpp diff | blob | history