projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0369b83) | patch
Fix issue in ceg_instantiator related to types and theoryOf, fixes bug 802.
authorajreynol <andrew.j.reynolds@gmail.com>
Mon, 15 May 2017 14:48:07 +0000 (09:48 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Mon, 15 May 2017 14:48:07 +0000 (09:48 -0500)
commit07dd06978875e3275bdebe6bd8495aef34861e8c
tree26b81c151fccdc441df1572943f5ac6dce49e0b1tree
parent0369b8325e9f631c77d479e5e9103cdb450bf650commit | diff
Fix issue in ceg_instantiator related to types and theoryOf, fixes bug 802.
src/theory/quantifiers/ceg_instantiator.cpp diff | blob | history
src/theory/quantifiers/ceg_instantiator.h diff | blob | history
test/Makefile.am diff | blob | history
test/regress/regress1/Makefile.am diff | blob | history
test/regress/regress1/quantifiers/Makefile [new file with mode: 0644] blob
test/regress/regress1/quantifiers/Makefile.am [new file with mode: 0644] blob
test/regress/regress1/quantifiers/bug802.smt2 [new file with mode: 0644] blob