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

[WIP] Use a separate Parikh Theory for handling length abstractions #46

Open
wants to merge 28 commits into
base: parikh-theory
Choose a base branch
from
Open

[WIP] Use a separate Parikh Theory for handling length abstractions #46

wants to merge 28 commits into from

Commits on Mar 25, 2021

  1. fixed case of character classes starting with a -

    @pruemmer
    pruemmer committed Mar 25, 2021
    Configuration menu
    Copy the full SHA
    b7cc66f View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2021

  1. optimized formula reduction; add a [+-]minimizeAutomata flag to choos… 

    …e whether automata constructed from regular expressions should be minized
    @pruemmer
    pruemmer committed Mar 29, 2021
    Configuration menu
    Copy the full SHA
    29bd540 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2021

  1. handle large strings defined using define-fun correctly

    @pruemmer
    pruemmer committed Apr 8, 2021
    Configuration menu
    Copy the full SHA
    648161b View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2021

  1. error message

    @pruemmer
    pruemmer committed Apr 19, 2021
    Configuration menu
    Copy the full SHA
    6388893 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2021

  1. removed a left-over println

    @pruemmer
    pruemmer committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    5fffc22 View commit details
    Browse the repository at this point in the history

  2. support for octal escape sequences

    @pruemmer
    pruemmer committed Apr 22, 2021
    Configuration menu
    Copy the full SHA
    6a60338 View commit details
    Browse the repository at this point in the history

Commits on May 6, 2021

  1. added missing cases

    @pruemmer
    pruemmer committed May 6, 2021
    Configuration menu
    Copy the full SHA
    7bb9303 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2021

  1. better handling of prefixof, substr

    @pruemmer
    pruemmer committed May 10, 2021
    Configuration menu
    Copy the full SHA
    9a1bc38 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/uuverifiers/ostrich

    @pruemmer
    pruemmer committed May 10, 2021
    Configuration menu
    Copy the full SHA
    0c5a64a View commit details
    Browse the repository at this point in the history

  3. handling of further str.at cases

    @pruemmer
    pruemmer committed May 10, 2021
    Configuration menu
    Copy the full SHA
    77de50c View commit details
    Browse the repository at this point in the history

Commits on May 12, 2021

  1. add length information for some standard string functions

    @pruemmer
    pruemmer committed May 12, 2021
    Configuration menu
    Copy the full SHA
    fde80cf View commit details
    Browse the repository at this point in the history

  2. some experimental code

    @pruemmer
    pruemmer committed May 12, 2021
    Configuration menu
    Copy the full SHA
    989c7e6 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2021

  1. Create scala.yml

    Philipp Ruemmer authored Jun 28, 2021
    Configuration menu
    Copy the full SHA
    7794cf7 View commit details
    Browse the repository at this point in the history

  2. Delete build.properties

    Philipp Ruemmer authored Jun 28, 2021
    Configuration menu
    Copy the full SHA
    b7be8dc View commit details
    Browse the repository at this point in the history

  3. Update README.md

    Philipp Ruemmer authored Jun 28, 2021
    Configuration menu
    Copy the full SHA
    02179c5 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2021

  1. Base version (before upgrade)

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    c33eb97 View commit details
    Browse the repository at this point in the history

  2. Port to scala 2.13 (with 24 warnings...)

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    f1185a1 View commit details
    Browse the repository at this point in the history

  3. Roll back the use of the Parikh theory. This is now a clean 2.13 port.

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    0891558 View commit details
    Browse the repository at this point in the history

  4. Make the SMTLib tests more verbose on failure

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    b2c5e6e View commit details
    Browse the repository at this point in the history

  5. Add a gitignore file

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    7077ec1 View commit details
    Browse the repository at this point in the history

  6. Bug: can't match against Seq for ArrayBuffer in 2.13

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    6168f15 View commit details
    Browse the repository at this point in the history

  7. Add back the Parikh Theory

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    919d59a View commit details
    Browse the repository at this point in the history

  8. Slightly cleaner theory invocation (that still doesn't work)

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    92e6296 View commit details
    Browse the repository at this point in the history

  9. Change the generation of length constraints to support new variant

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    89dc003 View commit details
    Browse the repository at this point in the history

  10. More adaptations for the new parikh theory

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    9ae315f View commit details
    Browse the repository at this point in the history

  11. Hack in support for labels

    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    9148260 View commit details
    Browse the repository at this point in the history

  12. Fix the latest upstream delta for Scala 2.13 

    ```
[warn] 48 deprecations (since 2.13.0)
[warn] 2 deprecations (since 2.13.2)
[warn] 33 deprecations (since 2.13.3)
[warn] 83 deprecations in total; re-run with -deprecation for details
[warn] four warnings found
```

Excellent.
    @amandasystems
    amandasystems committed Jul 1, 2021
    Configuration menu
    Copy the full SHA
    8c0cfa2 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2021

  1. Fix compatibility issues, finish integrating into parikh theory

    @amandasystems
    amandasystems committed Jul 15, 2021
    Configuration menu
    Copy the full SHA
    3787229 View commit details
    Browse the repository at this point in the history