-
Notifications
You must be signed in to change notification settings - Fork 160
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
Questions on riscv-ast-raw.txt
#562
Comments
It's a dump of the Sail internal AST. Not sure why it's there - could be for some RMEM deep embedding experiment. It's from 5 years ago when we were first building the model, and weren't being particularly careful with what we checked in. As to how it was generated - not sure we still have the code set up to do it, but the Sail internal AST is specified as an Ott grammar, and Ott can (or could) dump the contents of that in a format that is basically a big OCaml literal. We should probably remove it. |
Should we remove the entire |
Yes, those snapshots are seriously out-of-date. Ideally we'd have the CI generate some and when it fails only spam the people who might fix it, but currently they probably won't build without updates to the handwritten bits anyway. (Which I might try and sort out quite soon.) |
What is the purpose of
generated_definitions/ast/riscv-ast-raw.txt
and how is it generated?The text was updated successfully, but these errors were encountered: