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

Generalize ParsableVariable and Schemavariables #3436

Merged
merged 28 commits into from
May 22, 2024
Merged

Generalize ParsableVariable and Schemavariables #3436

merged 28 commits into from
May 22, 2024

Commits on Mar 5, 2024

  1. Start moving parsable variable

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    4df5279 View commit details
    Browse the repository at this point in the history

  2. spotless

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    01454e6 View commit details
    Browse the repository at this point in the history

  3. Fix 100 errors

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    ade0e3b View commit details
    Browse the repository at this point in the history

  4. Fix 100 more errors

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    88a8f62 View commit details
    Browse the repository at this point in the history

  5. Fix even more errors

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    8806a72 View commit details
    Browse the repository at this point in the history

  6. Fix type error

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2fdb6dc View commit details
    Browse the repository at this point in the history

  7. Fix errors after changing ParsableVars

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2e2c26e View commit details
    Browse the repository at this point in the history

  8. Delete Legacy Matcher and adapt VM matcher for new Modality operator

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2a18de1 View commit details
    Browse the repository at this point in the history

  9. Fix errors resulting from changing ParseableVar

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    09f8202 View commit details
    Browse the repository at this point in the history

  10. Fix parsing of variable conditions

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    6596ccb View commit details
    Browse the repository at this point in the history

  11. Fix taclet equality test

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    932bde8 View commit details
    Browse the repository at this point in the history

  12. Fix taclet prefix check when parsing

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    2cfc9db View commit details
    Browse the repository at this point in the history

  13. Spotless fixes

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    c07862b View commit details
    Browse the repository at this point in the history

  14. Fix settings test for SE

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    af533c6 View commit details
    Browse the repository at this point in the history

  15. Beautified code

    @unp1 @Drodt
    unp1 authored and Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    c915026 View commit details
    Browse the repository at this point in the history

  16. Rename AbstractSV to OperatorSV

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    d1bd2b1 View commit details
    Browse the repository at this point in the history

  17. Spotless

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    4ae0b65 View commit details
    Browse the repository at this point in the history

  18. Spotless

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    b2dbeba View commit details
    Browse the repository at this point in the history

  19. Move ParsableVariable to ncore

    @Drodt
    Drodt committed Mar 5, 2024
    Configuration menu
    Copy the full SHA
    a3ad16f View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Fix? resolving error

    @Drodt
    Drodt committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    9085ec3 View commit details
    Browse the repository at this point in the history

  2. Spotless

    @Drodt
    Drodt committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    a6e4d68 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Remove todo

    @Drodt
    Drodt committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    07ad420 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. Merge branch 'main' into move-parsable-var

    @Drodt
    Drodt committed May 2, 2024
    Configuration menu
    Copy the full SHA
    72e4fa5 View commit details
    Browse the repository at this point in the history

  2. Fix merge conflicts & spotless

    @Drodt
    Drodt committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d108683 View commit details
    Browse the repository at this point in the history

  3. Fix checkstyle workflow

    @Drodt
    Drodt committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d41bb6e View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Merge branch 'main' into move-parsable-var

    @Drodt
    Drodt committed May 17, 2024
    Configuration menu
    Copy the full SHA
    304fd3d View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Merge branch 'main' into move-parsable-var

    @Drodt
    Drodt committed May 22, 2024
    Configuration menu
    Copy the full SHA
    fb93c9c View commit details
    Browse the repository at this point in the history

  2. Fix comment

    @Drodt
    Drodt committed May 22, 2024
    Configuration menu
    Copy the full SHA
    a16defe View commit details
    Browse the repository at this point in the history