v0.39.0

Changes

xDSL framework

• core: Improve typing of irdl_to_attr_constraint @math-fehr (#4478)
• core: refactor parser and printer for complex booleans @erick-xanadu (#4467)
• core: (constraints) introduce get_bases @alexarice (#4462)
• core: (constraints) experiment with ditching extractors @alexarice (#4432)
• core: migrate remaining optional constraint_context in verify @superlopuh (#4453)
• core: make ParametrizedAttribute parameters dynamic @superlopuh (#4451)

Dialects

• dialects: Add smt.bv type @math-fehr (#4479)
• dialects: (emitc) Add supported integer type check @Jimmy2027 (#4461)
• backend: (x86) vpbroadcast instructions @qaco (#4470)
• dialects: (emitc) remove duplicated empty shape error @Jimmy2027 (#4468)
• dialects: (vector) tighten bounds on constraint variable @alexarice (#4463)
• dialects: (arm_neon) add VectorWithArrangement.from_vec_type @emmau678 (#4345)
• dialects: (emitc) Add negative dimension verify exception @Jimmy2027 (#4460)

Transformations

• transformations: (pdl_interp) Refactor PDLInterpRewritePattern @jumerckx (#4458)

Backend

• backend: remove limit registers in register queue @superlopuh (#4464)
• backend: lowering of vector.broadcast to x86 @qaco (#4459)
• backend: (x86) vpbroadcast instructions @qaco (#4470)
• backend: RegisterQueue -> RegisterStack @superlopuh (#4466)
• backend: add x86-allocate-registers @superlopuh (#4314)
• backend: (x86) add x86 register queue @superlopuh (#4444)
• backend: add BlockNaiveAllocator @superlopuh (#4449)

Interpreter

• interpreter: keep track of scope id instead of count @jumerckx (#4471)

🐛 Bug Fixes

• bug: fix remaining register queue references @superlopuh (#4475)
• bug: fix references to RegisterStack @superlopuh (#4473)
• bug: (x86) possibly different register types for DS_Operation @qaco (#4469)
• misc: swap comparison in disjoint set @jumerckx (#4452)

Installation

• dependencies: update dependency marimo to v0.13.15 @renovate[bot] (#4483)
• dependencies: update pre-commit hook astral-sh/ruff-pre-commit to v0.11.12 @renovate[bot] (#4477)
• dependencies: update dependency ruff to v0.11.12 @renovate[bot] (#4476)
• dependencies: update dependency marimo to v0.13.14 @renovate[bot] (#4472)
• dependencies: update dependency marimo to v0.13.13 @renovate[bot] (#4465)
• dependencies: update dependency marimo to v0.13.13 @renovate[bot] (#4450)
• dependencies: update dependency pytest-asyncio to v1 @renovate[bot] (#4457)

Miscellaneous

• misc: re-run all notebooks with updated marimo @superlopuh (#4456)