Open Issues Need Help
View All on GitHubAI Summary: This issue reports an unexpected assertion error in the xDSL core when an SSA value is replaced by itself. The current error message is not very informative, and the goal is to address this assertion and improve the error reporting.
AI Summary: This issue requests the removal of Marimo navigation elements from all notebooks hosted at https://docs.xdsl.dev/marimo/. The goal is to adopt a navigation-free layout, similar to the example provided at https://docs.xdsl.dev/marimo/html/mlir_introduction/.
AI Summary: This issue proposes a simple renaming of a documentation URL path from `docs.xdsl.dev/marimo` to `docs.xdsl.dev/notebooks`. This is a straightforward change aimed at improving clarity or organization within the project's documentation.
AI Summary: This issue addresses an inconsistency in how block names are generated and ordered between xDSL and MLIR. Currently, xDSL orders block names based on their printing order, including successors, while MLIR orders them based on their position within a region. This difference causes conflicts when using MLIR tests in xDSL, and the proposed solution involves aligning xDSL's block naming logic with MLIR's to ensure compatibility.