A number of sample DSL programs #14
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
I am adding a number of programs written in our aspirational DSL.
The policies under the directory
nowcan, I think, already be handled by our Calyx queues. Of course there is work to be done re: parsing the program and harnessing the eDSL to generate an appropriate tree, but if we allow ourselves to make any Calyx tree, we can get these programs running. Note that this already features hierarchical policies:rr_hier.schedis the motivating example from Formal Abstractions.Sometimes I have a file named
something_sugar.sched. That is justsomething.sched, but with some syntactic sugar to ease the way. I am keeping both versions so that we don't get bogged down by the lack of implementation of the syntactic sugar.In the directory
soon, I always use syntactic sugar. I have placed there some policies that we will be able to support once calyxir/calyx#1810 lands.For an understanding of what these policies do, please see #13. For an idea of the AST that would support these policies, see #5.