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

String operations for Tarsis and FA #285

Merged
merged 18 commits into from
Aug 24, 2023
Merged

String operations for Tarsis and FA #285

merged 18 commits into from
Aug 24, 2023

Commits on Jul 6, 2023

  1. Abstract semantics for repeat in Tarsis

    v.arceri authored and v.arceri committed Jul 6, 2023
    Configuration menu
    Copy the full SHA
    dbb0c48 View commit details
    Browse the repository at this point in the history

Commits on Jul 7, 2023

  1. Fix stack overflow error in RegexAutomaton's emptyLanguage, abstract 

    semantics of repeat for Tarsis, testing single string repetition
    @VincenzoArceri
    VincenzoArceri committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    1e18628 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. Tests on repeat, removed kleene method (duplicated)

    @VincenzoArceri
    VincenzoArceri committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    b61aee0 View commit details
    Browse the repository at this point in the history

Commits on Jul 9, 2023

  1. trim abstract semantics

    @VincenzoArceri
    VincenzoArceri committed Jul 9, 2023
    Configuration menu
    Copy the full SHA
    5976f94 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. Improved trim semantics of Kleene star regex

    @VincenzoArceri
    VincenzoArceri committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    ec852b2 View commit details
    Browse the repository at this point in the history

  2. Some tests on trim

    @VincenzoArceri
    VincenzoArceri committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    e8b5c34 View commit details
    Browse the repository at this point in the history

Commits on Jul 19, 2023

  1. Fixed trim abstract semantics for Tarsis and added some tests

    @VincenzoArceri
    VincenzoArceri committed Jul 19, 2023
    Configuration menu
    Copy the full SHA
    3fac166 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. trim abstract semantics defined on regexes

    @VincenzoArceri
    VincenzoArceri committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    cbd3a37 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. Apply spotless and Javadoc

    @VincenzoArceri
    VincenzoArceri committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    b9e66c9 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Abstract semantics of trims for FSA

    @VincenzoArceri
    VincenzoArceri committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    18fdb03 View commit details
    Browse the repository at this point in the history

  2. Abstract semantics of repeat for FSA

    @VincenzoArceri
    VincenzoArceri committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    c189188 View commit details
    Browse the repository at this point in the history

  3. Apply spotless

    @VincenzoArceri
    VincenzoArceri committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    9d23332 View commit details
    Browse the repository at this point in the history

  4. toFSA fixed, repeat method for FSA

    @VincenzoArceri
    VincenzoArceri committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    2028460 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. Fixed empty string replacement

    @VincenzoArceri
    VincenzoArceri committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    87a748e View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2023

  1. Apply spotless and Javadoc

    @VincenzoArceri
    VincenzoArceri committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    ad48a0a View commit details
    Browse the repository at this point in the history

  2. Removed star test

    @VincenzoArceri
    VincenzoArceri committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    dad9923 View commit details
    Browse the repository at this point in the history

  3. Javadoc

    @VincenzoArceri
    VincenzoArceri committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    12d3f43 View commit details
    Browse the repository at this point in the history

  4. Apply spotless

    @VincenzoArceri
    VincenzoArceri committed Aug 23, 2023
    Configuration menu
    Copy the full SHA
    83cc1c1 View commit details
    Browse the repository at this point in the history