Skip to content
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

refactor: downgrade MLIR generic parser from syntax categories to closed syntax #364

Draft
wants to merge 14 commits into
base: main
Choose a base branch
from
Draft

refactor: downgrade MLIR generic parser from syntax categories to closed syntax #364

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
5050a28
refactor: downgrade `mlir_op_operand` from a syntax category to a clo…
alexkeizer May 31, 2024
1954068
refactor: close `mlir_ops`
alexkeizer May 31, 2024
cc1112d
refactor: close regions
alexkeizer May 31, 2024
b262f4c
refactor: remove unused `mlir_bb` syntax category
alexkeizer May 31, 2024
6c1e3e3
fix build by opening MLIR.EDSL namespace
alexkeizer May 31, 2024
a52b0f5
refactor: close affine_expr, _tuple, and _map syntax
alexkeizer May 31, 2024
d4868b2
refactor: remove unused `mlir_int` syntax
alexkeizer May 31, 2024
b61194f
WIP: turn mlir_region back into a category
alexkeizer May 31, 2024
ba99b51
WIP
alexkeizer Jun 3, 2024
cdf0ee1
Merge branch 'main' into mlir-parser-refactor
alexkeizer Jun 3, 2024
4571064
Revert "refactor: close regions"
alexkeizer Jun 3, 2024
4b0802b
refactor: put all EDSL tests in sections
alexkeizer Jun 3, 2024
645fd86
document failing test case for region antiquotations
alexkeizer Jun 3, 2024
cc4d389
Merge branch 'private-edsl-tests' into mlir-parser-refactor
alexkeizer Jun 3, 2024
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
1 change: 1 addition & 0 deletions SSA/Core/MLIRSyntax/EDSL.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@ namespace SSA

open Qq Lean Meta Elab Term
open MLIR.AST
open MLIR.EDSL

/-- `ctxtNf` reduces an expression of type `Ctxt _` to something in between whnf and normal form.
`ctxtNf` recursively calls `whnf` on the tail of the list, so that the result is of the form
Expand Down
Loading
Loading