git.libre-soc.org Git - cvc5.git/commit

extended smt parser for the finite relations
fixed typing rules for relational terms
added a benchmark example for the theory of finite relations

src/parser/smt2/smt2.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/theory/sets/theory_sets_private.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.cpp		diff \| blob \| history
src/theory/sets/theory_sets_rels.h		diff \| blob \| history
src/theory/sets/theory_sets_type_rules.h		diff \| blob \| history
test/regress/regress0/sets/Makefile.am		diff \| blob \| history
test/regress/regress0/sets/rels/rel.cvc	[new file with mode: 0644]	blob