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: add endless recursion as an impurity reason #788

Merged
merged 8 commits into from
Nov 21, 2023
Merged

feat: add endless recursion as an impurity reason #788

merged 8 commits into from
Nov 21, 2023

Commits on Nov 21, 2023

  1. fix: isRecursive when getCallGraph is called on a callable

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

  2. feat: add EndlessRecursion as an impurity reason

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

  3. feat: infer EndlessRecursion impurity reason

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

  4. refactor: remove recursion check in statementDoesSomethingProvider 

    This is now done directly in the purity computer.
    @lars-reimann
    lars-reimann committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    9b6cfb9 View commit details
    Browse the repository at this point in the history

  5. refactor: remove undefined check that is not needed anymore

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

  6. refactor: move statementDoesSomething into PurityComputer 

    It's needed for validation and for code generation.
    @lars-reimann
    lars-reimann committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    ed72029 View commit details
    Browse the repository at this point in the history

  7. perf: speed up tests

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

  8. test: ignore lines for coverage

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