projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f370784) | patch
Add table.project evaluator (#8632)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Tue, 19 Apr 2022 18:49:14 +0000 (13:49 -0500)
committerGitHub <noreply@github.com>
Tue, 19 Apr 2022 18:49:14 +0000 (18:49 +0000)
commit7b581e4bd7a139efff494a729eb17e02ad7126fe
tree1ac94d08b62879efcb5e8daa800900d1a5912247tree
parentf37078447757601cf24eb3ee92970f275a434d82commit | diff
Add table.project evaluator (#8632)

This PR

adds evaluator for table.project operator
updates the parser to interpret "Table" as a table with zero columns
23 files changed:
src/CMakeLists.txt diff | blob | history
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5_kind.h diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/printer/smt2/smt2_printer.cpp diff | blob | history
src/theory/bags/bags_utils.cpp diff | blob | history
src/theory/bags/bags_utils.h diff | blob | history
src/theory/bags/kinds diff | blob | history
src/theory/bags/table_project_op.cpp [new file with mode: 0644] blob
src/theory/bags/table_project_op.h [new file with mode: 0644] blob
src/theory/bags/theory_bags.cpp 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
src/theory/datatypes/datatypes_rewriter.cpp diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.cpp diff | blob | history
src/theory/datatypes/theory_datatypes_type_rules.h diff | blob | history
src/theory/datatypes/tuple_project_op.cpp diff | blob | history
src/theory/datatypes/tuple_project_op.h diff | blob | history
src/theory/datatypes/tuple_utils.cpp diff | blob | history
src/theory/datatypes/tuple_utils.h diff | blob | history
test/regress/cli/CMakeLists.txt diff | blob | history
test/regress/cli/regress1/bags/table_project1.smt2 [new file with mode: 0644] blob