projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23e5362) | patch
Fix for bug 681 (now gives reasonable error message about using constant
authorClark Barrett <barrett@cs.stanford.edu>
Fri, 21 Apr 2017 22:09:33 +0000 (15:09 -0700)
committerClark Barrett <barrett@cs.stanford.edu>
Fri, 21 Apr 2017 22:09:33 +0000 (15:09 -0700)
commit8740a03cf22b0e05bbdab4cdd799cb7469a6ae6e
tree4cb6094be4ea788469d6333005bf27b6e06f62eatree
parent23e5362ba8d356b72ba8b488278327cf43c59f66commit | diff
Fix for bug 681 (now gives reasonable error message about using constant
arrays).
src/theory/arrays/theory_arrays.cpp diff | blob | history