xdslproject/xdsl: v0.40.0

This release adds TypeVarConstraint, a way to bridge Python's type variables to constraints in xDSL. Most users of xDSL won't need to use this, but advanced users of custom constraints are invited to take a look at the documentation.

Changes

• bench: add readme file to benchmarks directory @EdmundGoodman (#4500)
• bench: switch to using bytesight implementation from github @EdmundGoodman (#4495)

xDSL framework

• core: deprecate attr_constr_coercion @alexarice (#4507)
• core: use attribute definition in irdl_to_attr_constraint @superlopuh (#4499)
• core: constrain Data bound to be Hashable @superlopuh (#4498)
• core: Add support for qualified attributes in assembly format @math-fehr (#4481)
• core: add TypeVarConstraint, and use in irdl_to_attr_constraint @superlopuh (#3443)
• core: allow multiple levels of Generics in operation definitions @superlopuh (#4496)
• core: Fix printing of non-builtin TypedAttribute @math-fehr (#4480)

Dialects

• dialects: (emitc) Add additional invalid emitc array type checks @Jimmy2027 (#4511)
• dialects: Add bitvector attribute and constant operation @math-fehr (#4482)
• dialects: (eqsat) Add eqsat egraph and yield operation @jumerckx (#4491)
• dialects: (fir and hlfir) Updates to dialects based upon new operations and types in FIR and HLFIR to bring up to date @mesham (#4489)
• dialects: (emitc) add emitc array verify and parsing checks @Jimmy2027 (#4447)
• dialects: (emitc) Remove duplicated testcase @Jimmy2027 (#4484)

Transformations

• transformations: shift right by zero canonicalization for RISCV dialect @baymaks (#4501)
• transformations: (convert-memref-to-ptr) lower static offset @superlopuh (#4426)

Interpreter

• interpreter: (eqsat) Interpret for GetResult(s)Op @jumerckx (#4515)
• interpreter: (eqsat) populate_known_ops @jumerckx (#4514)

Installation

• dependencies: update dependency ruff to v0.11.13 @renovate[bot] (#4505)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.11.13 @renovate[bot] (#4506)
• dependencies: update dependency pytest to <8.5 @renovate[bot] (#4490)
• dependencies: update dependency textual to v3.3.0 @renovate[bot] (#4485)

Miscellaneous

• misc: enable PYI rule for ruff @superlopuh (#4488)
• misc: remove unused private TypeVars @superlopuh (#4487)
• misc: enforce use of typing_extensions.TypeVar @alexarice (#4486)