[CODE] xdslproject/xdsl: v0.40.0

  • Sasha Lopoukhine (Creator)
  • Fehr Mathieu (Creator)
  • Emilien Bauer (Creator)
  • Alex Rice (Creator)
  • Anton Lydike (Creator)
  • Nicolai Stawinoga (Creator)
  • Michel Weber (Creator)
  • Chris Vasiladiotis (Creator)
  • Dalia Shaaban (Creator)
  • George Bisbas (Creator)
  • kingiler (Creator)
  • Tobias Grosser (Creator)
  • kayode-gif (Creator)
  • Joren Dumoulin (Creator)
  • Nick Brown (Creator)
  • Théo Degioanni (Creator)
  • Emma Urquhart (Creator)
  • Hugo Pompougnac (Creator)
  • KGrykiel (Creator)
  • Edmund Goodman (Creator)
  • Prathamesh Tagore (Creator)
  • Christian Ulmann (Creator)
  • Josse Van Delm (Creator)
  • jumerckx (Creator)
  • Max Manainen (Creator)
  • Federico Ficarelli (Creator)

Dataset

Description

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

Data Citation

Sasha Lopoukhine, Fehr Mathieu, Emilien Bauer, Alex Rice, Anton Lydike, Nicolai Stawinoga, Michel Weber, Chris Vasiladiotis, Dalia Shaaban, George Bisbas, kingiler, Tobias Grosser, kayode-gif, Joren Dumoulin, Nick Brown, Théo Degioanni, Emma Urquhart, Hugo Pompougnac, KGrykiel, … Federico Ficarelli. (2025). xdslproject/xdsl: v0.40.0 (v0.40.0). Zenodo. https://doi.org/10.5281/zenodo.15625509
Date made available9 Jun 2025
PublisherZenodo

Cite this