cat to config tool #700
Open
cat to config tool #700
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
maranget
force-pushed
the
master
branch
2 times, most recently
from
a23d589
to
5905deb
Compare
hugookeeffe
force-pushed
the
newoption
branch
from
a9769b1
to
72dc4ea
Compare
…t major functions and added support for rmw instructions
…eeded. Implemented suggestions and slightly improved tree printing syntax. Also fixed a bug where sequences within an intersection weren't being treated properly
the following things have been added: - support for various Rf Fr and Co - removed get_tags - implemented fold_left into tree function - moved get_ast code into zyva - implemented functionality to only expand necessary let statements
…en Renaud. Implemented new exception type for clarity
Nikos Nikoleris - fix bug where sequences starting with an annotation weren't generating a relaxation - remove usage of and from functions - move helper functions to top of file - change expand functions to work with ir instead of with lists - implement helper functions for working with ir - tree generation moved to print with verbose > 0 - miscelaneous small fixes.
… fail when checking let statements against desired lets to print
- fix a bug where having a recursive let statement called from a recursive let statement caused a stack overflow - implement better detection for when the tool cannot generate appropriate relaxations - reformatted entire file using ocamlformat
… until most recent
hugookeeffe
force-pushed
the
newoption
branch
from
72dc4ea
to
6fb3a9c
Compare
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.
This PR introduces a new tool that allows the user to generate a list of relaxations from a cat file. This tool can be used by defining what let statement to generate relaxations for with
-let <name>.The tool can also generate a tree view of the expanded cat file