projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08d6ec6) | patch
Actively split for upwards closusure intersection. Minor clean up, add regressions.
authorajreynol <andrew.j.reynolds@gmail.com>
Fri, 14 Apr 2017 22:25:18 +0000 (17:25 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Fri, 14 Apr 2017 22:25:18 +0000 (17:25 -0500)
commit25fcfe393d1d8808a866a5f1cfc4f7edf273316d
treeb0231134efd90a16059baed9812a8353912bb39btree
parent08d6ec676189826f99756f9245186ee9de7dbc36commit | diff
Actively split for upwards closusure intersection. Minor clean up, add regressions.
src/expr/node_manager.cpp diff | blob | history
src/theory/sets/theory_sets_private.cpp diff | blob | history
test/regress/regress0/rels/Makefile.am diff | blob | history
test/regress/regress0/rels/rels-sharing-simp.cvc [new file with mode: 0644] blob
test/regress/regress0/sets/Makefile.am diff | blob | history
test/regress/regress0/sets/sharing-simp.smt2 [new file with mode: 0644] blob