Tracking PR for v0.5.0 release#412

Draft

bobbinth wants to merge 56 commits intomainfrom

Commits on Jul 2, 2025

refactor(bus boundaries): Add `PublicInputTable` node type to IR to handle bus boundary constraints uniformly (#415)
adr1anh
authored
feature(ACE): Handle variable length public inputs and generate powers of randomness (#416)
adr1anh
authored

Commits on Jul 10, 2025

chore: fix typos
bobbinth
committed

Commits on Jul 15, 2025

Fixes some bugs and clean up (#420)
Al-Kindi-0
authored

Commits on Jul 21, 2025

feat: Allow bus operations in libraries and evaluators (#410)
Leo-Besancon
authored

Commits on Jul 25, 2025

refactor: Remove the deprecated --without-mir pipeline (#424)
Leo-Besancon
authored

Commits on Jul 29, 2025

feat: combine constraints generated by selector expressions (#413)
Leo-Besancon
authored

Commits on Aug 11, 2025

refactor: define TraceSegment enum for Main and Aux traces (#438)
Leo-Besancon
authored

Commits on Aug 12, 2025

feat: add default compilation pipeline (#437)
Leo-Besancon
authored

Commits on Aug 20, 2025

feat: add Constant Propagation pass after MIR passes (#439)
Leo-Besancon
authored

Commits on Aug 22, 2025

feat: Add a pass for common subexpression elimination in the constraint graph (#419)
Leo-Besancon
authored

Commits on Sep 4, 2025

refactor: split MIR unrolling pass into multiple modules (#434)
Leo-Besancon
authored

Commits on Sep 5, 2025

fix: regressions on MIR and list_comprehensions (#449)
Leo-Besancon
authored

Commits on Sep 11, 2025

Commits on Sep 17, 2025

Commits on Sep 21, 2025

fix: Make docs_sync() test work on windows (#462)
Leo-Besancon
authored

Commits on Sep 22, 2025

Commits on Sep 25, 2025

chore: propagate code generation errors instead of panicking (#469)
sashass1315
authored

Commits on Sep 29, 2025

Commits on Oct 1, 2025

test: remove boilerplate in tests with test macro (#480)
huitseeker
authored

Commits on Oct 2, 2025

refactor: improve trace segment handling by introducing `TraceShape<T>` (#447)
surajk-m
authored

Commits on Oct 14, 2025

refactor: remove binary operation unrolling from MIR (#460)
Leo-Besancon
authored

Commits on Oct 15, 2025

Allow support for computed indices (#444)

Leo-Besancon
and
Soulthym
authored

Commits on Oct 17, 2025

fix: vector unrolling issue in nested match evaluation (#491)
Leo-Besancon
authored

Commits on Nov 5, 2025

Fix evaluator argument vector slice expansion (#495)
Soulthym
authored

Commits on Nov 14, 2025

feat: Support importing hierarchical modules (#507)
Leo-Besancon
authored

Commits on Dec 3, 2025

fix: pin mdbook version to 0.4.48 (#520)
Leo-Besancon
authored

Commits on Dec 4, 2025

docs: Add comprehensive documentation for AlgebraicGraph::node_details method (#403)

DeVikingMark
and
Leo-Besancon
authored

Commits on Dec 16, 2025

fix(mir): constant propagation folds 0^0 to 1 (#509)
Galoretka
authored

Commits on Dec 18, 2025

fix: Import::Partial equality to be symmetric (#517)
MozirDmitriy
authored

Commits on Dec 19, 2025

fix inlining loop on cross imports (#524)
Soulthym
authored