projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 321694d) | patch
Add kind BAG_MAP and its type rule to bags (#6503)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Mon, 30 Aug 2021 23:26:43 +0000 (18:26 -0500)
committerGitHub <noreply@github.com>
Mon, 30 Aug 2021 23:26:43 +0000 (23:26 +0000)
commit22c83c12097da6105e6f03e0df70385527e651a4
treefceebd94973d6ffbb02d88c389ebd7c165847b82tree
parent321694d4efde0cef18e313d93c8b69835aac3b72commit | diff
Add kind BAG_MAP and its type rule to bags (#6503)

This PR adds kind BAG_MAP to bags.
16 files changed:
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/bags/bags_rewriter.cpp diff | blob | history
src/theory/bags/bags_rewriter.h diff | blob | history
src/theory/bags/kinds diff | blob | history
src/theory/bags/normal_form.cpp diff | blob | history
src/theory/bags/normal_form.h diff | blob | history
src/theory/bags/rewrites.cpp diff | blob | history
src/theory/bags/rewrites.h diff | blob | history
src/theory/bags/theory_bags_type_rules.cpp diff | blob | history
src/theory/bags/theory_bags_type_rules.h diff | blob | history
test/regress/regress1/bags/map.smt2 [new file with mode: 0644] blob
test/unit/theory/theory_bags_rewriter_white.cpp diff | blob | history
test/unit/theory/theory_bags_type_rules_white.cpp diff | blob | history