v0.74.0

Changes

xDSL framework

• core: propagate source types through generic parsers @superlopuh (#6590)
• core: make Token and Lexer generic over str or bytes @superlopuh (#6586)
• core: make Span generic over str or bytes @superlopuh (#6584)
• core: deprecate parse_operand without a type @superlopuh (#6578)
• core: fix up Span error printing @superlopuh (#6583)
• core: make Input generic over str or bytes @superlopuh (#6579)
• core: use Position consistently for Input coordinates @superlopuh (#6567)
• core: (irdl) Verify variadic segment sizes @SomSamantray (#6560)
• core: accept bytes in Parser and use in xDSLOptMain @superlopuh (#6555)

Frontend

• frontend: register parameterized Python type annotations @superlopuh (#6591)
• frontend: add visit_single_value and use in Call and Return nodes @superlopuh (#6564)
• frontend: add support for custom func/return mappings @superlopuh (#6530)
• frontend: check for early returns at function visit level @superlopuh (#6554)

Dialects

• dialects: (riscv) add canonicalization pattern for x & ~x = 0 @kkuehner (#6599)
• dialects: (builtin) round binary64 directly to bf16 @superlopuh (#6592)
• dialects: (builtin) compare and hash FloatData by stored bits @superlopuh (#6597)
• dialects: (omp) Automap attribute on declaretarget @mesham (#6562)
• dialects: migrate mechanical attribute definitions to properties @superlopuh (#6594)
• dialects: (riscv) use assembly formats for simple operations @superlopuh (#6589)
• dialect: (csl) Add comptime_str @dk949 (#6580)
• dialects: use parse_unresolved_operand instead of parse_operand @superlopuh (#6574)
• dialects: (air) delete pipeline ops @superlopuh (#6570)
• dialects: (accfg, linalg, printf, tosa) use parse_unresolved_operand @superlopuh (#6573)
• dialect: (csl) Add csl.intptrcast op @dk949 (#6565)
• dialects: trivial migrations to prop from attr @superlopuh (#6561)
• dialects: (riscv_scf, x86_scf) print all bound register types @superlopuh (#6550)
• dialects: (func, transform) show types in return type mismatch errors @dipo101 (#6551)
• dialects: (riscv_snitch) print type of iteration count in frep @superlopuh (#6549)

Transformations

• transform: (printf-to-llvm) support signed ints in printf @dk949 (#6576)

Backend

• dialect: (csl) Add comptime_str @dk949 (#6580)
• backend: (csl) Fix yielding in CSL backend @dk949 (#6575)
• dialect: (csl) Add csl.intptrcast op @dk949 (#6565)
• backend: (csl) Add support for bitcast and alloc @dk949 (#6563)
• backend: (csl) Keep printer subclass in descend @dk949 (#6529)

Interpreter

• interpreter: (arith, builtin) materialize index attributes at the interpreter width @superlopuh (#6596)
• interpreter: (arith) normalize integer shifts, division, and index casts @superlopuh (#6588)
• interpreter: (pdl_interp) support pdl_interp.branch @superlopuh (#6572)
• interpreter: (pdl_interp) pass only record_match inputs to rewriters @superlopuh (#6571)
• interpreter: (arith) distinguish signed and unsigned integer comparisons @superlopuh (#6568)

🗎 Documentation

• documentation: separate docs website @superlopuh (#6577)
• docs: (Constraints) add guide @alexarice (#6278)

Testing

• testing: align shaped fixtures with declared element types @superlopuh (#6585)
• testing: (arith) use valid scalar types in arithmetic fixtures @superlopuh (#6569)

Installation

• installation: (python) remove support for 3.10 @alexarice (#6548)

Dependencies

• dependencies: update dependency ruff to v0.17.1 @renovate[bot] (#6600)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.17.1 @renovate[bot] (#6601)
• dependencies: update astral-sh/setup-uv action to v10.3.0 @renovate[bot] (#6552)

Miscellaneous

• misc: ignore website built @superlopuh (#6559)
• misc: (Self) import from typing @alexarice (#6558)

Tool

• tools: (xdsl-opt) children of xDSLOptMain can override version @dk949 (#6517)