projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 918059c) | patch
Remove unused `SEQ_NTH_TOTAL` kind (#8048)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 20 Apr 2022 21:44:01 +0000 (14:44 -0700)
committerGitHub <noreply@github.com>
Wed, 20 Apr 2022 21:44:01 +0000 (21:44 +0000)
commit76d9f4359231c2443b7040bac100bb1abcff8d79
tree13d5aa2ebda8f2fa0d9d8e810d6129893c56b722tree
parent918059c0700b438930a5f667272e168578f5ff7ecommit | diff
Remove unused `SEQ_NTH_TOTAL` kind (#8048)

Originally, the idea was to expand the definition of `SEQ_NTH` to use
`SEQ_NTH_TOTAL` (i.e., a total version of that operator), but we have
since then decided to just use `SEQ_NTH`.
src/parser/parser.h diff | blob | history
src/theory/strings/kinds diff | blob | history
src/theory/strings/rewrites.cpp diff | blob | history
src/theory/strings/rewrites.h diff | blob | history
src/theory/strings/sequences_rewriter.cpp diff | blob | history
src/theory/strings/sequences_rewriter.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
src/theory/theory_model_builder.cpp diff | blob | history
test/regress/cli/regress0/seq/seq-expand-defs.smt2 diff | blob | history