Skip to content

first pass at a BNFC grammar for the rASL AST format #143

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

Open
wants to merge 12 commits into
base: partial_eval
Choose a base branch
from
Open

first pass at a BNFC grammar for the rASL AST format #143

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
587ae1f
starting bnfc
katrinafyi Aug 29, 2025
e1c142c
add statements
katrinafyi Aug 29, 2025
df0c95e
add lots of prim names from offline IBI
katrinafyi Aug 29, 2025
c59c1ec
add .0 suffixes ;-;
katrinafyi Aug 29, 2025
1af0935
fix bugs and add StmtLines for newline-separated
katrinafyi Aug 29, 2025
3f96d9e
starting to do coverage
katrinafyi Aug 29, 2025
de4c405
dune promote for bnfc files
katrinafyi Aug 29, 2025
7ccc06b
invoke bnfc-generated things directly in coverage test
katrinafyi Aug 29, 2025
78e4c64
mark as generated
katrinafyi Aug 29, 2025
ab4f39a
remove unconstrained tycon case
katrinafyi Aug 29, 2025
82e3787
add TestSemantics exe, move libASL_bnfc into libASL-stage1
katrinafyi Sep 8, 2025
5566b1e
review: remove makefile, remove unix, use public asli.libASL-bnfc name
katrinafyi Sep 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
11 changes: 11 additions & 0 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,3 +5,14 @@
dune.generated linguist-generated
mill linguist-generated
mill.bat linguist-generated

libASL/bnfc/AbsSemantics.ml linguist-generated
libASL/bnfc/LexSemantics.mll linguist-generated
libASL/bnfc/ParSemantics.mly linguist-generated
libASL/bnfc/SkelSemantics.ml linguist-generated
libASL/bnfc/PrintSemantics.ml linguist-generated
libASL/bnfc/ShowSemantics.ml linguist-generated
libASL/bnfc/TestSemantics.ml linguist-generated
libASL/bnfc/BNFC_Util.ml linguist-generated
libASL/bnfc/Makefile linguist-generated

4 changes: 4 additions & 0 deletions libASL/bnfc/.gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
*.bak
*.cmo
*.cmi
/TestSemantics
166 changes: 166 additions & 0 deletions libASL/bnfc/AbsSemantics.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

6 changes: 6 additions & 0 deletions libASL/bnfc/BNFC_Util.ml
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

77 changes: 77 additions & 0 deletions libASL/bnfc/LexSemantics.mll
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading