projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4aa5c46) | patch
Document non-standard string operators (#8679)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 29 Apr 2022 18:45:21 +0000 (11:45 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 18:45:21 +0000 (18:45 +0000)
commitce63921d31b4b21d11867e75941fdd6fe06e830d
treefb0bef42ee6be73fc5b9203b60ff99032a426afetree
parent4aa5c467d199e958bd3b0d10ea11fa587e199ae1commit | diff
Document non-standard string operators (#8679)

This adds documentation for `str.indexof_re`, `str.update`, `str.rev`,
`str.to_lower`, and `str.to_upper`. Note that it moves the documentation
of strings to the "non-standard or extended theories".
docs/theories/strings.rst [new file with mode: 0644] blob
docs/theories/theories.rst diff | blob | history