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

feat: purity computer #784

Merged
merged 12 commits into from
Nov 20, 2023
Merged

feat: purity computer #784

merged 12 commits into from
Nov 20, 2023

Commits on Nov 14, 2023

  1. chore: some brainstorming for a potential interface

    @lars-reimann
    lars-reimann committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    5a01ba7 View commit details
    Browse the repository at this point in the history

  2. refactor: combine checks related to purity

    @lars-reimann
    lars-reimann committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    f5548dd View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Merge branch 'main' into purity-computer 

    # Conflicts:
#	packages/safe-ds-lang/src/language/flow/safe-ds-call-graph-computer.ts
#	packages/safe-ds-lang/src/language/validation/purity.ts
#	packages/safe-ds-lang/src/language/validation/safe-ds-validator.ts
#	packages/safe-ds-lang/tests/resources/validation/purity/pure parameter must have callable type/main.sdstest
    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    0d20abf View commit details
    Browse the repository at this point in the history

  2. feat: getCallGraph for callables

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    2ae4eb2 View commit details
    Browse the repository at this point in the history

  3. feat: get argument value of enum variant by name

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    a744ce7 View commit details
    Browse the repository at this point in the history

  4. feat: add remaining reasons to SafeDsImpurityReasons

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    7ce4c43 View commit details
    Browse the repository at this point in the history

  5. refactor: rename a method

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    2b6296a View commit details
    Browse the repository at this point in the history

  6. feat: purity computer

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    5367500 View commit details
    Browse the repository at this point in the history

  7. test: isPure and hasSideEffects

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    11f12e1 View commit details
    Browse the repository at this point in the history

  8. test: getImpurityReasons

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    7915dfa View commit details
    Browse the repository at this point in the history

  9. test: ignore line for coverage

    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    9da61ee View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into purity-computer 

    # Conflicts:
#	packages/safe-ds-lang/tests/language/flow/safe-ds-call-graph-computer.test.ts
    @lars-reimann
    lars-reimann committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    f9733ad View commit details
    Browse the repository at this point in the history