projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e07620) | patch
ArrayStoreAll should (for now) only allow constant expressions, as it is itself a...
authorMorgan Deters <mdeters@gmail.com>
Thu, 16 Aug 2012 19:58:32 +0000 (19:58 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 16 Aug 2012 19:58:32 +0000 (19:58 +0000)
commitd260caa58d462f7e1eb0d94f73789f844f5f5596
tree2bb8b49bc69dc1be780f20e399551b03d09f3bc0tree
parent3e07620deae66ac9efaad3566186462356436011commit | diff
ArrayStoreAll should (for now) only allow constant expressions, as it is itself a CONSTANT.
src/util/array_store_all.h diff | blob | history
test/unit/util/array_store_all_black.h diff | blob | history