Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add allChar function, fix #281 #282

Merged
merged 6 commits into from
Sep 16, 2022
Merged

Add allChar function, fix #281 #282

merged 6 commits into from
Sep 16, 2022

Commits on Sep 14, 2022

  1. Add allChar function, fix sosy-lab#281 

    This function corresponds to `re.allchar` in
http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml.

It is implemented in the Z3 and CVC4 solvers.
    @Swalkyn
    Swalkyn committed Sep 14, 2022
    Configuration menu
    Copy the full SHA
    19b5843 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2022

  1. Add more test cases for allChar 

    Add one test for unicode support. Z3 supports Unicode
(https://microsoft.github.io/z3guide/docs/theories/Strings), but CVC4
does not (see http://cvc4.cs.stanford.edu/wiki/Strings, under
limitations).
    @Swalkyn
    Swalkyn committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    9e00bd2 View commit details
    Browse the repository at this point in the history

  2. smaller cleanup and documentation.

    @kfriedberger
    kfriedberger committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    6c6c400 View commit details
    Browse the repository at this point in the history

  3. add precondition for regex-range. 

    and fix the corresponding test.
    @kfriedberger
    kfriedberger committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    79aae82 View commit details
    Browse the repository at this point in the history

  4. fix allChar for CVC4.

    @kfriedberger
    kfriedberger committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    0c32514 View commit details
    Browse the repository at this point in the history

  5. improve unit test for allChar.

    @kfriedberger
    kfriedberger committed Sep 15, 2022
    Configuration menu
    Copy the full SHA
    ae3a80b View commit details
    Browse the repository at this point in the history