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.

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

GALOP #2027

Closed
wants to merge 618 commits into from
Closed

GALOP #2027

wants to merge 618 commits into from

Conversation

0undefined
Copy link

No description provided.

@0undefined 0undefined force-pushed the master branch 3 times, most recently from 12b7d14 to 450c680 Compare October 9, 2023 07:22
@athas athas marked this pull request as draft October 9, 2023 08:39
0undefined pushed a commit to 0undefined/futhark that referenced this pull request Oct 11, 2023
@athas
Copy link
Member

athas commented Nov 1, 2023

You should merge master into this branch. I moved babysitting last in the pipeline. Just replace it with your pass. The trick is a full round of CSE and simplification afterwards.

futhark.cabal Outdated Show resolved Hide resolved
@athas
Copy link
Member

athas commented Apr 21, 2024

Closing this because it's too error-prone to work with a remote master. Continuing development in an appropriately named local branch.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
run-benchmarks Makes GA run the benchmark suite.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants