projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4877909) | patch
Fixes for update/nth over constant sequences (#7631)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 11 Nov 2021 16:24:38 +0000 (10:24 -0600)
committerGitHub <noreply@github.com>
Thu, 11 Nov 2021 16:24:38 +0000 (16:24 +0000)
commitd6fd1eff6025be9f0d8d5e7dcb02bffdda931828
tree84a4724a5b2adaad4b9deec3bd47dc631658d8fatree
parent4877909b806329e5e0e14dcfc3c404b8e4f6c0afcommit | diff
Fixes for update/nth over constant sequences (#7631)

This includes fixes related to how we process seq.update / seq.nth applied to sequence constants.
src/theory/strings/array_solver.cpp diff | blob | history