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

Make access outer distribution lazy #1136

Merged
merged 29 commits into from
Sep 12, 2023
Merged

Make access outer distribution lazy #1136

merged 29 commits into from
Sep 12, 2023

Commits on Jun 19, 2023

  1. Add more tests for covering different cases of access outer distribution 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    3525e49 View commit details
    Browse the repository at this point in the history

  2. Add cram tests and ASCII art to existing tests that cover access oute… 

    …r distribution
    @karoliineh
    karoliineh committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    2a003ab View commit details
    Browse the repository at this point in the history

  3. Fix test 04 93

    @karoliineh
    karoliineh committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    91b64e8 View commit details
    Browse the repository at this point in the history

  4. Move access outer distribute to raceAnalysis 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Jun 19, 2023
    Configuration menu
    Copy the full SHA
    4ac338d View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Handle global variables in outer_memo 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    bdf116d View commit details
    Browse the repository at this point in the history

  2. Split ancestor accs and outer ancestor accs 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    31ec579 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. Fix races between ancestor and outer accs 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    936d7b0 View commit details
    Browse the repository at this point in the history

  2. Fix memory location counts for cross races

    @sim642
    sim642 committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    edff1d3 View commit details
    Browse the repository at this point in the history

  3. Replace print comments with tracing in group_may_race

    @karoliineh
    karoliineh committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    f419f50 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2023

  1. Create warn_accs record and refactor 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 14, 2023
    Configuration menu
    Copy the full SHA
    59feaf8 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2023

  1. Refactor distribute_inner in raceAnalysis

    @karoliineh
    karoliineh committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    49e529f View commit details
    Browse the repository at this point in the history

  2. Use warn_accs for todo 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    64c761b View commit details
    Browse the repository at this point in the history

  3. Make warn_accs record to a module 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    b06b3e3 View commit details
    Browse the repository at this point in the history

  4. Refactor and document todo' computation 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    69ddfdf View commit details
    Browse the repository at this point in the history

  5. Use Typsig for Access MemoRoot 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    857d1cb View commit details
    Browse the repository at this point in the history

  6. Fix index in type_suffix_memo 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    b28cbba View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into access-distr-outer

    @karoliineh
    karoliineh committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    916acfa View commit details
    Browse the repository at this point in the history

  8. Make new cram tests deterministic 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    d6c5bba View commit details
    Browse the repository at this point in the history

  9. Refactor distribute_outer 

    Co-authored-by: Simmo Saan <[email protected]>
    @karoliineh @sim642
    karoliineh and sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    21332cc View commit details
    Browse the repository at this point in the history

  10. Clean up and comment lazy outer distribution changes

    @sim642
    sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    e3e322a View commit details
    Browse the repository at this point in the history

  11. Document new race analysis

    @sim642
    sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    81dac32 View commit details
    Browse the repository at this point in the history

  12. Remove --enable ana.race.direct-arithmetic from some tests 

    Irrelevant because no (int) accesses.
    @sim642
    sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    7297241 View commit details
    Browse the repository at this point in the history

  13. Fix non-struct typsig pretty in MemoRoot

    @sim642
    sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    48884b3 View commit details
    Browse the repository at this point in the history

  14. Use fewer Cil.typeSig calls for Access.add_distribute_outer

    @sim642
    sim642 committed Aug 15, 2023
    Configuration menu
    Copy the full SHA
    789dd00 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2023

  1. Remove RaceAnalysis joke

    @sim642
    sim642 committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    fe1660e View commit details
    Browse the repository at this point in the history

  2. Add C declarations to race analysis documentation

    @sim642
    sim642 committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    00fb496 View commit details
    Browse the repository at this point in the history

  3. Make race analysis documentation example races list complete

    @sim642
    sim642 committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    0329b30 View commit details
    Browse the repository at this point in the history

  4. Add TODO for ana.race.direct-arithmetic in lazy outer distribution

    @sim642
    sim642 committed Aug 21, 2023
    Configuration menu
    Copy the full SHA
    a8a8899 View commit details
    Browse the repository at this point in the history

Commits on Aug 22, 2023

  1. Add comment about ana.race.direct-arithmetic

    @sim642
    sim642 committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    4e1cf15 View commit details
    Browse the repository at this point in the history