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

Incremental Statix #108

Merged
merged 10 commits into from
Feb 6, 2023
Merged

Incremental Statix #108

merged 10 commits into from
Feb 6, 2023

Commits on Jan 28, 2022

  1. Add solver mode option to CFG language

    @AZWN
    AZWN committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    d44b9ba View commit details
    Browse the repository at this point in the history

  2. Include solver mode option in generated project config.

    @AZWN
    AZWN committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    84d2943 View commit details
    Browse the repository at this point in the history

  3. Implement missing Statix primitives. 

    Add generated `Spoofax2ProjectContext` to allow:
- The `current-language-relative-source-or-include-path` (used in statix runtime) to work.
- Resolution of libraries.
    @AZWN
    AZWN committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    612ff2c View commit details
    Browse the repository at this point in the history

  4. Refactor out duplicate solver mode retrieval

    @AZWN
    AZWN committed Jan 28, 2022
    Configuration menu
    Copy the full SHA
    72d83b0 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. Merge branch 'develop' into statix-incremental

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    35d0b14 View commit details
    Browse the repository at this point in the history

  2. Fix outdated Coordinate usage

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    452784f View commit details
    Browse the repository at this point in the history

  3. Use solver mode enum

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    ba83eeb View commit details
    Browse the repository at this point in the history

  4. Fix brken example

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    c8ee7c0 View commit details
    Browse the repository at this point in the history

  5. USe separate config object for solver mode

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    c0e8747 View commit details
    Browse the repository at this point in the history

  6. Fix invalid constructor name

    @AZWN
    AZWN committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    f6ee65b View commit details
    Browse the repository at this point in the history