projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dd6292) | patch
- extend cvc4 frontend parser to accept relational operators (product,
authorPaulMeng <baolmeng@gmail.com>
Tue, 9 Feb 2016 20:51:44 +0000 (14:51 -0600)
committerPaulMeng <baolmeng@gmail.com>
Tue, 9 Feb 2016 20:51:44 +0000 (14:51 -0600)
commit371c0799fa38452c2186efd268c73a42c282c96e
treea2cce6952fd878532810c8db8721399bc5fa4c3btree
parent2dd6292b73e4e19be2e261c7fe5664bd2b0149bdcommit | diff
- extend cvc4 frontend parser to accept relational operators (product,
join, transpose, transitive closure)
- added a finite relations module to collect all relational terms in EE
src/Makefile.am diff | blob | history
src/parser/cvc/Cvc.g diff | blob | history
src/printer/cvc/cvc_printer.cpp diff | blob | history
src/theory/sets/kinds diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/sets/theory_sets_rels.cpp [new file with mode: 0644] blob
src/theory/sets/theory_sets_rels.h [new file with mode: 0644] blob
src/theory/sets/theory_sets_type_rules.h diff | blob | history