projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14fb8fa) | patch
Ensure sep.nil is unique per type at NodeManager level. Add simple symmetry breaking...
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 12 Sep 2016 18:43:02 +0000 (13:43 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 12 Sep 2016 18:43:02 +0000 (13:43 -0500)
commit442c809911bcc45ae45dc97650146c459a841ea3
tree1a08cc6448314cc494d63414d8b47713afa5ebf0tree
parent14fb8fac59e368a36e936a2d0497745eda72c637commit | diff
Ensure sep.nil is unique per type at NodeManager level. Add simple symmetry breaking in theory sep.
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history
test/regress/regress0/sep/Makefile.am diff | blob | history
test/regress/regress0/sep/dispose-1.smt2 [new file with mode: 0644] blob