nightly-2025-01-06

chore: also print test output to stdout in CI (#6930)

nightly-2025-01-05

fix: Non-determinism from under constrained checks (#6945)

nightly-2025-01-04: chore: use logs for benchmarking (#6911)

Co-authored-by: Maxim Vezenov <mvezenov@gmail.com>

nightly-2025-01-03

feat(ssa): Hoist add and mul binary ops using known induction variabl…

nightly-2025-01-02

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…

nightly-2025-01-01

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…

nightly-2024-12-31

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…

nightly-2024-12-30

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…

nightly-2024-12-29

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…

nightly-2024-12-28

chore: add `rollup_root` and `rollup_block_merge` to tracked protocol…