projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c335e4d) | patch
Send all `nth` terms to the core array solver (#7990)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 3 Feb 2022 05:58:49 +0000 (21:58 -0800)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 05:58:49 +0000 (05:58 +0000)
commitcc4eefe84809af49ad932751070fe392fe3f7c08
tree9433ad194f7c3aad6c7be82774a811dd2cc620b9tree
parentc335e4d3fa8038bcff96d420b0d487641292c061commit | diff
Send all `nth` terms to the core array solver (#7990)

This updates our policy for the sequences array solver to send all
updates to the array core solver.
src/theory/strings/array_solver.cpp diff | blob | history