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

Trig recipe cleanup #217

Open

ajpal wants to merge 4 commits into main from trig-recipe-cleanup

Collaborator

ajpal commented Jul 3, 2023

Add panic! if run_rule_lifting doesn't find rules
Restructure the trig recipe so that each phase is self-contained. I think it's easier to tell what's in each workload if there's fewer layers of plugs, and everything is local in the file. Lmk what you think!

The workloads + rules are very similar, but not identical. The new rules can derive 100% of the old rules, though, so hopefully it should be okay.

ajpal added 3 commits

July 3, 2023 12:00


          re-structure recipe

92db55b


          Update trig.rs

e728bd7


          take out derive check

ajpal requested a review from bksaiki

July 3, 2023 19:09


          delete unused test

44abc13

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet