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

Adds support for Strings and Regular Expressions operators in AST #23

Merged
merged 6 commits into from
Nov 1, 2023
Merged

Adds support for Strings and Regular Expressions operators in AST #23

merged 6 commits into from
Nov 1, 2023

Commits on Oct 27, 2023

  1. feat: add string operators, regex operators and RegLan sort

    @vinisilvag
    vinisilvag committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    17f2c50 View commit details
    Browse the repository at this point in the history

  2. feat: add RegLan sort print

    @vinisilvag
    vinisilvag committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    0dad0d4 View commit details
    Browse the repository at this point in the history

  3. feat: add return sorts for string and regex operators

    @vinisilvag
    vinisilvag committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    d1420f3 View commit details
    Browse the repository at this point in the history

  4. feat: add regex nullary functions to function definitions and paramet… 

    …er checking for string and regex operators
    @vinisilvag
    vinisilvag committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    468f12d View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. fix: changes how nullary operators are handled and fix lint issues

    @vinisilvag
    vinisilvag committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    db3621b View commit details
    Browse the repository at this point in the history

  2. fix: changes str.< and str.<= operators

    @vinisilvag
    vinisilvag committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    bb5ebcd View commit details
    Browse the repository at this point in the history