projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be7ed89) | patch
Simple changes towards unicode string standard (#3791)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 21 Feb 2020 19:36:01 +0000 (13:36 -0600)
committerGitHub <noreply@github.com>
Fri, 21 Feb 2020 19:36:00 +0000 (11:36 -0800)
commit18eb247c3f14761dc0e1981d4faf11833f069b9d
treed29f8b299a61509d9ffeb9db51137371135731c8tree
parentbe7ed89f137f4d0d64cf66ec40880370fbff2d4dcommit | diff
Simple changes towards unicode string standard (#3791)

This updates --lang=smt2.6.1 with the minor syntactic differences from the current syntax and the standard here: http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml.

The next steps will be to address the more invasive changes required to support the standard.
src/parser/smt2/smt2.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/code-eval.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/code-perf.smt2 diff | blob | history
test/regress/regress0/strings/code-sat-neg-one.smt2 diff | blob | history
test/regress/regress0/strings/re-syntax.smt2 [new file with mode: 0644] blob
test/regress/regress0/strings/replaceall-eval.smt2 diff | blob | history
test/regress/regress0/strings/std2.6.1.smt2 diff | blob | history