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

Implement writeset underapproximation #1425

Merged
merged 12 commits into from
Nov 18, 2023
Merged

Implement writeset underapproximation #1425

merged 12 commits into from
Nov 18, 2023

Commits on Nov 6, 2023

  1. cherry-pick underapproximation

    matteonussbauemer committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    d72539d View commit details
    Browse the repository at this point in the history

  2. cherry-pick underapproximation

    matteonussbauemer committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    1e97f29 View commit details
    Browse the repository at this point in the history

  3. fix dict type 

    (cherry picked from commit 1846941)
    matteonussbauemer committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    d366d91 View commit details
    Browse the repository at this point in the history

  4. move approximation to passes 

    (cherry picked from commit adc3033)
    matteonussbauemer committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    b43b424 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. remove redundant implementation of depends_on

    matteonussbauemer committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    11dcd13 View commit details
    Browse the repository at this point in the history

  2. set simplify flag for tests that transform code to SDFGs

    matteonussbauemer committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    cc6cd75 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into implement-writeset-underapproximation

    @matteonu
    matteonu committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    e61d17b View commit details
    Browse the repository at this point in the history

  4. fix return type of apply_pass()

    matteonussbauemer committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    3bb3975 View commit details
    Browse the repository at this point in the history

  5. fix bug

    matteonussbauemer committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    b00edd2 View commit details
    Browse the repository at this point in the history

Commits on Nov 13, 2023

  1. Merge branch 'master' into implement-writeset-underapproximation

    @matteonu
    matteonu committed Nov 13, 2023
    Configuration menu
    Copy the full SHA
    5d7bc5c View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Merge branch 'master' into implement-writeset-underapproximation

    @matteonu
    matteonu committed Nov 16, 2023
    Configuration menu
    Copy the full SHA
    444a2d4 View commit details
    Browse the repository at this point in the history

Commits on Nov 18, 2023

  1. Merge branch 'master' into implement-writeset-underapproximation

    @acalotoiu
    acalotoiu committed Nov 18, 2023
    Configuration menu
    Copy the full SHA
    d37c207 View commit details
    Browse the repository at this point in the history