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

Better concrete syntax semantics #671

Merged
merged 25 commits into from
Jul 1, 2024
Merged

Better concrete syntax semantics #671

merged 25 commits into from
Jul 1, 2024

Commits on May 28, 2024

  1. Better cs

    @danieltrt
    danieltrt committed May 28, 2024
    Configuration menu
    Copy the full SHA
    9432c58 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2024

  1. Test case for sequential sibling matching

    @danieltrt
    danieltrt committed May 30, 2024
    Configuration menu
    Copy the full SHA
    9976491 View commit details
    Browse the repository at this point in the history

Commits on Jun 1, 2024

  1. Improvements to concrete syntax

    @danieltrt
    danieltrt committed Jun 1, 2024
    Configuration menu
    Copy the full SHA
    6064515 View commit details
    Browse the repository at this point in the history

Commits on Jun 2, 2024

  1. Improvements to concrete syntax

    @danieltrt
    danieltrt committed Jun 2, 2024
    Configuration menu
    Copy the full SHA
    2f3b1c7 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2024

  1. cargo beign annoying

    @danieltrt
    danieltrt committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    592ca31 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into better_concrete

    @danieltrt
    danieltrt authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    a6c6896 View commit details
    Browse the repository at this point in the history

  3. Update test_piranha_java.rs

    @danieltrt
    danieltrt authored Jun 3, 2024
    Configuration menu
    Copy the full SHA
    5b21060 View commit details
    Browse the repository at this point in the history

  4. Fix test case due to the semantic changes

    @danieltrt
    danieltrt committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    4d11b09 View commit details
    Browse the repository at this point in the history

  5. Bug fix caught using python test, as well as add a new test

    @danieltrt
    danieltrt committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    f9baaee View commit details
    Browse the repository at this point in the history

  6. Remove infinite loop due to new CS syntax

    @danieltrt
    danieltrt committed Jun 3, 2024
    Configuration menu
    Copy the full SHA
    e871518 View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2024

  1. regression

    @danieltrt
    danieltrt committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    f3b708d View commit details
    Browse the repository at this point in the history

  2. Refactoring code and updating docs

    @danieltrt
    danieltrt committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    2c2e101 View commit details
    Browse the repository at this point in the history

  3. Further simplify functions

    @danieltrt
    danieltrt committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    229ed32 View commit details
    Browse the repository at this point in the history

  4. Further simplify functions

    @danieltrt
    danieltrt committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    ef2fe9d View commit details
    Browse the repository at this point in the history

  5. Further simplify functions

    @danieltrt
    danieltrt committed Jun 4, 2024
    Configuration menu
    Copy the full SHA
    34d7368 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Merge branch 'master' into better_concrete

    @danieltrt
    danieltrt authored Jun 6, 2024
    Configuration menu
    Copy the full SHA
    e49afbe View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2024

  1. Update src/models/concrete_syntax.rs 

    Co-authored-by: Ameya Ketkar <94497232+ketkarameya@users.noreply.github.com>
    @danieltrt @ketkarameya
    danieltrt and ketkarameya authored Jun 9, 2024
    Configuration menu
    Copy the full SHA
    ccb1ebd View commit details
    Browse the repository at this point in the history

  2. Renaming meta to cs, as well as improving variable names

    @danieltrt
    danieltrt committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    ec33478 View commit details
    Browse the repository at this point in the history

  3. Better documentation and refactoring functional call results to use a… 

    … struct
    @danieltrt
    danieltrt committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    894d5f6 View commit details
    Browse the repository at this point in the history

  4. Better documentation and refactoring functional call results to use a… 

    … struct
    @danieltrt
    danieltrt committed Jun 9, 2024
    Configuration menu
    Copy the full SHA
    a873865 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Update concrete_syntax.rs

    @danieltrt
    danieltrt authored Jun 13, 2024
    Configuration menu
    Copy the full SHA
    86c7ac4 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. Change syntax for :[args+] to handle multiple node matching

    @danieltrt
    danieltrt committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    f4177a7 View commit details
    Browse the repository at this point in the history

  2. Add \n back to plugin

    @danieltrt
    danieltrt committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    1abadcf View commit details
    Browse the repository at this point in the history

  3. Function rename for clarity.

    @danieltrt
    danieltrt committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    cf1c1e0 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. Merge branch 'master' into better_concrete

    @stefanheule
    stefanheule authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    140f084 View commit details
    Browse the repository at this point in the history