projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9cc527) | patch
Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti for...
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 10 Oct 2014 21:16:17 +0000 (17:16 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 10 Oct 2014 21:16:17 +0000 (17:16 -0400)
commit5527b0c00639f24b11d5e1d4c69050d908b82400
tree347f4909159c63daf0c0f5b84ba2a4821db3b069tree
parentd9cc527b3edb3ba39f076ce0b77327a473b89b88commit | diff
Fix issue with shared but non-preregistered term setup. Thanks Alvise Rabitti for the report.
src/theory/sets/theory_sets_private.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/trim.cvc [new file with mode: 0644] blob