projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc4a58f) | patch
Add operator set.map to theory of sets (#7641)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Sat, 13 Nov 2021 18:51:27 +0000 (12:51 -0600)
committerGitHub <noreply@github.com>
Sat, 13 Nov 2021 18:51:27 +0000 (12:51 -0600)
commit2b2f26191762856810cfe8391a35765eb26f45fb
treebbac6aa0adb5175536a3a71ecbc2b90078d782cftree
parentcc4a58f5d43c62b72783d4bd1f4f00e6ef9257b4commit | diff
Add operator set.map to theory of sets (#7641)

Towards supporting set.map operator in the sets solver.
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/sets/kinds diff | blob | history
src/theory/sets/theory_sets_rewriter.cpp diff | blob | history
src/theory/sets/theory_sets_rewriter.h diff | blob | history
src/theory/sets/theory_sets_type_rules.cpp diff | blob | history
src/theory/sets/theory_sets_type_rules.h diff | blob | history
test/unit/theory/CMakeLists.txt diff | blob | history
test/unit/theory/theory_sets_rewriter_white.cpp [new file with mode: 0644] blob