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

Introduces is* functions for strings #3432

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Introduces is* functions for strings #3432

wants to merge 7 commits into from

Commits on Apr 12, 2024

  1. Introduces is* methods for strings in storm lib

    @ancailliau
    ancailliau committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    05d8f48 View commit details
    Browse the repository at this point in the history

  2. Updates based on the review

    @ancailliau
    ancailliau committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    4fbe895 View commit details
    Browse the repository at this point in the history

  3. Fixes commit without file save

    @ancailliau
    ancailliau committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    9f0006a View commit details
    Browse the repository at this point in the history

  4. Fixes casing issues

    @ancailliau
    ancailliau committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    1f8c470 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into stormtype-str-is-methods

    @vEpiphyte
    vEpiphyte authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    ec033a5 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into stormtype-str-is-methods

    @Cisphyx
    Cisphyx authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    1472d51 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2024

  1. Merge branch 'master' into stormtype-str-is-methods

    @vEpiphyte
    vEpiphyte authored May 1, 2024
    Configuration menu
    Copy the full SHA
    7668d02 View commit details
    Browse the repository at this point in the history