This repository was archived by the owner on Jun 14, 2026. It is now read-only.

Skip HardConcrete tests when l0-python is not installed - #2

Closed

MaxGhenis wants to merge 7 commits into

mainfrom

fix/skip-l0-tests

Commits on Feb 8, 2026

WIP: auto-save before context compact (38 files on main)
MaxGhenis
committed
483ff54
WIP: auto-save before context compact (4 files on main)
MaxGhenis
committed
66944df
WIP: auto-save before context compact (8 files on main)
MaxGhenis
committed
a1a9d64
Address referee feedback: determinism, code cleanup, CI fixes, and multi-seed benchmarks

MaxGhenis
and
claude
committed
ba12ed1
WIP: auto-save before context compact (6 files on paper/address-referee-feedback)
MaxGhenis
committed
0e8f364
Address referee feedback: bibliography, tutorial, and README updates

MaxGhenis
and
claude
committed
d67bb43
Skip HardConcrete tests when l0-python is not installed

MaxGhenis
and
claude
committed
2d62c0d