projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be31687) | patch
Bug 593 fix: if the type is finite, it is now considered for detecting theories of...
authorDejan Jovanović <dejan@cs.nyu.edu>
Fri, 7 Nov 2014 17:31:26 +0000 (12:31 -0500)
committerDejan Jovanović <dejan@cs.nyu.edu>
Mon, 10 Nov 2014 19:09:59 +0000 (14:09 -0500)
commitf9f3d26e4f34bfa0b03e05af6b827e7b72ea6ebd
tree5779409c1924886835ea667922ad70d61e1d0df9tree
parentbe316870ef337a435d65f46a26f40ef0eab97934commit | diff
Bug 593 fix: if the type is finite, it is now considered for detecting theories of nested terms.
src/theory/term_registration_visitor.cpp diff | blob | history
test/regress/README diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug593.smt2 [new file with mode: 0644] blob