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

Type checking for functions returning regions in Regent #585

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Type checking for functions returning regions in Regent #585

wants to merge 9 commits into from

Commits on Aug 29, 2019

  1. Add test case for reduction privileges bug 

    writes(a) and reads(a.x) should be sufficient to grant reduces(a.x), but
a bug makes this test case fail.
    @ldr709
    ldr709 committed Aug 29, 2019
    Configuration menu
    Copy the full SHA
    4a0f052 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2019

  1. regent: Add dataflow framework

    @ldr709
    ldr709 committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    d750c36 View commit details
    Browse the repository at this point in the history

  2. regent: SSA for region variables

    @ldr709
    ldr709 committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    02c7bfd View commit details
    Browse the repository at this point in the history

  3. regent: Add with_scratch_fields region types to region_universe

    @ldr709
    ldr709 committed Sep 12, 2019
    Configuration menu
    Copy the full SHA
    10da3da View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2019

  1. regent: Type checking for region assignment statements

    @ldr709
    ldr709 committed Sep 13, 2019
    Configuration menu
    Copy the full SHA
    f1ab96e View commit details
    Browse the repository at this point in the history

  2. regent: Codegen for assignment of regions

    @ldr709
    ldr709 committed Sep 13, 2019
    Configuration menu
    Copy the full SHA
    6bf7f01 View commit details
    Browse the repository at this point in the history

  3. regent: copy_propagate is sound, just not complete

    @ldr709
    ldr709 committed Sep 13, 2019
    Configuration menu
    Copy the full SHA
    6391237 View commit details
    Browse the repository at this point in the history

  4. regent: Add some more region assignment test cases

    @ldr709
    ldr709 committed Sep 13, 2019
    Configuration menu
    Copy the full SHA
    a5a028a View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2019

  1. regent: Type checking for for functions returning regions

    @ldr709
    ldr709 committed Sep 14, 2019
    Configuration menu
    Copy the full SHA
    dfaf6b8 View commit details
    Browse the repository at this point in the history