v0.13.0

xDSL framework

• core: Add PyRDL constraint variables @math-fehr (#999)
• core: move dialect attr/type parser to new lexer (NFC) @math-fehr (#984)
• core: rename some methods in parser (NFC) @math-fehr (#983)
• core: Allow generic operations @math-fehr (#979)
• core: Remove some unused and deprecated parser methods @math-fehr (#982)
• core: Allow to print regions with arguments separately @math-fehr (#974)
• core: Add region arguments support in parser @math-fehr (#972)
• core: Fix is_structurally_equivalent @math-fehr (#977)
• core: parse region properly @math-fehr (#971)
• core: Add HasParent trait @math-fehr (#965)
• core: move symbol parsing to lexer @math-fehr (#960)
• core: Remove unused try_parse_value_id_and_type method @math-fehr (#961)
• core: Remove irdl mlir printer @math-fehr (#959)
• core: Add successors to IRDL @math-fehr (#905)
• core: Move block parser to lexer @math-fehr (#946)
• core: Rename -split-input-file to --split-input-file @math-fehr (#953)
• core: use Sequence[Operation] in PatternRewriter @superlopuh (#947)
• core: add --print-op-generic to xdsl-opt, and add custom syntax for builtin.module @math-fehr (#944)
• core: Update printer @ShaolunWang (#931)
• frontend: Strengthen Python code check @georgemitenkov (#802)
• core: Switch to ClassVar names in Operation, ModulePass and Attribute @TaoBi22 (#902)
• core: Remove build from Attribute @TaoBi22 (#898)
• core: Remove parse_int_literal with parse_integer @math-fehr (#881)
• core: make walk an iterator instead of passing function @superlopuh (#878)
• core: Add Position as alias for int @math-fehr (#879)
• core: add dce function to allow for dead code elimination within other passes @superlopuh (#875)
• core: Add parsing for attributes with keyword @math-fehr (#868)
• core: Add support for interfaces through traits @math-fehr (#862)
• core: fix DenseIntOrFPElementsAttr.tensor_from_list with empty shape @superlopuh (#873)
• core: Update mlir hash @math-fehr (#871)
• core: Allow default values and default factories in dataclasses @AntonLydike (#989)
• core: Remove parse_list_of and remove its uses @math-fehr (#981)
• core: Integrate parser for more complex pass pipeline specs into xdsl-opt @AntonLydike (#964)
• core: Add parser for more complex pass pipeline specs @AntonLydike (#956)
• core: Add lexer for more complex pass pipeline specs @AntonLydike (#955)
• core: SSAValue.name -> name_hint @superlopuh (#904)

Dialects

• dialects: Add a dialect for high-level distributed memory parallelism operations @AntonLydike (#1005)
• dialects: (llvm) add name printing/parsing to struct @superlopuh (#1010)
• dialects: Factorize stencil types. @PapyChacal (#1001)
• dialects: Add custom printing to arith binary ops @PapyChacal (#991)
• dialects: Add mpi.gather operation with lowering @AntonLydike (#998)
• dialects: Add custom parsing to arith binary ops @PapyChacal (#990)
• dialects: Factoring out some mpi passes, adding support for pass args @AntonLydike (#996)
• dialects: Add IRDL dialect @math-fehr (#978)
• dialects: Switch all arith binary operations to init @PapyChacal (#988)
• dialects: Improve and test memref.Subview.from_static_parameters @PapyChacal (#986)
• dialects: Make arith.BinaryOp Generic. @PapyChacal (#987)
• dialects: Add custom syntax to stencil types @PapyChacal (#976)
• dialects: riscv: Add DirectiveOp to riscv dialect @adutilleul (#969)
• dialects: Add custom syntax for stencil.index @PapyChacal (#975)
• dialects: add pdl custom format @math-fehr (#945)
• dialects: Fix some PDL constructors and definitions @math-fehr (#954)
• dialects: add riscv_func with lowering from syscall op @superlopuh (#914)
• dialects: introduces riscv Jump operations with better return address handling @superlopuh (#932)
• dialects: Fix a comparison in mpi lowering @AntonLydike (#951)
• dialects: add ability to print comments in riscv assembly @superlopuh (#908)
• dialects: Change RewriteOp constructor @math-fehr (#942)
• dialects: Remove unused things from stencil dialect @meshtag (#936)
• dialects: Improve stencil result type @meshtag (#938)
• dialects: dialects: add snitch → riscv lowering @nazavode (#919)
• dialects: make register name property non-optional @superlopuh (#934)
• dialects: Relax castOp verifier @AntonLydike (#927)
• dialects: Improve Stencil TempType @meshtag (#924)
• dialects: remove dealloca because it doesn't exist @ShaolunWang (#921)
• dialects: streamline snitch to basic config ops @nazavode (#915)
• dialects: Add tests for stencil.IndexAttr @meshtag (#909)
• dialects: Remove unused constraint from stencil dialect @meshtag (#917)
• dialects: Lowering for stencil indexop @mesham (#912)
• dialects: Add memref.dma_wait op @lukamac (#894)
• dialects: Improve Stencil Fieldtype @meshtag (#907)
• dialects: add mv pseudo-instruction to riscv dialect @superlopuh (#910)
• dialects: Stencil load op get method enhancement @mesham (#899)
• dialects: add snitch low-level dialect @nazavode (#872)
• dialects: Add memref.dma_start op @AntonLydike (#893)
• dialects: add riscv.GetRegisterOp @superlopuh (#896)
• dialects: add riscv.ret @superlopuh (#900)
• dialects: Add xdsl-opt option to emit RISCV assembly @JosseVanDelm (#877)
• dialects: Add wfi instruction, update link to spec @AntonLydike (#895)
• dialects: Rename call get ops->args @AntonLydike (#897)
• dialects: Move stencil CastOp from experimental to main @AntonLydike (#891)
• dialects: Improve GEPOp docs and ergonomics @AntonLydike (#606)
• dialects: Improvements to stencil dialect for indexop and applyop @mesham (#888)
• dialects: add jal, j, jalr + LabelAttr to riscv @superlopuh (#886)
• stencil: add verify to LoadOp and StoreOp @AntonLydike (#889)
• dialects: Add verify for stencil.cast @AntonLydike (#884)
• dialects: Fix PDL definitions, and lint it with latest xDSL features @math-fehr (#882)
• dialects: register allocation skips indices @superlopuh (#876)
• dialects: Add infinite register allocation as a compiler pass @JosseVanDelm (#865)
• dialects: use constants for RISC-V register names instead of strings @superlopuh (#866)
• dialects: add 'M' standard extension rv32m/rv64m @eymay (#925)

🗎 Documentation

• documentation: add inlining to Toy @superlopuh (#948)
• documentation: move interpret test to filecheck @superlopuh (#949)
• documentation: add shape inference to Toy @superlopuh (#943)
• documentation: add Ch3 playground @superlopuh (#940)
• documentation: add Toy optimisations @superlopuh (#933)
• documentation: fix toy playgrounds @superlopuh (#935)
• documentation: fix imports @superlopuh (#922)
• documentation: move chapter 2 contents from xdsl-workshop @superlopuh (#870)
• documentation: remove .xdsl file extension mentions @superlopuh (#901)
• dialects: Improve GEPOp docs and ergonomics @AntonLydike (#606)
• misc: put MLIR commit hash into README @AntonLydike (#885)
• docs: add back scalar.toy filecheck @superlopuh (#874)

🐛 Bug Fixes

• core: Fix is_structurally_equivalent @math-fehr (#977)
• bug: Fix merge of #960 @math-fehr (#963)
• dialects: fix missing attribute from riscv.csrrwi @nazavode (#892)
• bug: Fix use of walk method @math-fehr (#880)

Testing

• tests: Only test that we have passes/parsers/targets available on xdsl-opt @AntonLydike (#997)
• testing: add nbval to requirements-optional @superlopuh (#923)
• tests: Adding support for "-split-input-file" @ShaolunWang (#861)
• install: move dev imports to requirements-optional @superlopuh (#903)
• documentation: remove .xdsl file extension mentions @superlopuh (#901)
• tests: Add main and filecheck tests for Toy @superlopuh (#867)
• testing: Removed Test tests/filecheck/dialects/riscv/riscv_allocation.mlir @eymay (#928)

Continuous Integration

• CI: Remove Pyright on diffs @webmiche (#1000)
• CI: Add CODEOWNERS file with math-fehr ownership @math-fehr (#966)
• CI: add new label to release drafter @AntonLydike (#918)

Installation

• pip prod(deps): bump pyright from 1.1.309 to 1.1.310 @dependabot (#1006)
• pip prod(deps): bump pyright from 1.1.308 to 1.1.309 @dependabot (#967)
• pip prod(deps): bump pre-commit from 3.3.1 to 3.3.2 @dependabot (#962)
• pip prod(deps): bump pyright from 1.1.307 to 1.1.308 @dependabot (#950)
• pip prod(deps): bump pyright from 1.1.306 to 1.1.307 @dependabot (#939)
• install: move dev imports to requirements-optional @superlopuh (#903)
• pip prod(deps): bump pyright from 1.1.305 to 1.1.306 @dependabot (#869)

Miscellaneous

• misc: enable --split-input-file --verify-diagnostics @PapyChacal (#1011)
• misc: remove extra newline print in riscv assembly @superlopuh (#993)
• documentation: fix toy playgrounds @superlopuh (#935)
• documentation: fix imports @superlopuh (#922)
• dialects: Remove unused constraint from stencil dialect @meshtag (#917)