Thread Haskell-backend logging and booster-only-simplify flags - #1149

Merged

automergerpr-permission-manager[bot] merged 6 commits into

logging-updates

Jun 16, 2026

Commits on Jun 8, 2026

cli,options,prove,foundry,display: thread Haskell-backend logging + booster-only-simplify flags; CLAUDE.md: document

ehildenb
and
claude
committed
5828774

Commits on Jun 9, 2026

Merge remote-tracking branch 'upstream/master' into logging-updates
ehildenb
committed
0443143

Commits on Jun 15, 2026

Merge remote-tracking branch 'upstream/master' into logging-updates
ehildenb
committed
4f631da
options,prove,tests/test_toml_args: default --haskell-log-entries to curated set for all RPC commands

ehildenb
and
claude
committed
3bcdfaa
CLAUDE.md: document architecture, dev/build workflow, commands, tests, deps, and kup overrides

ehildenb
and
claude
committed
22d8544
tests/{conftest,test_foundry_prove}: forward --haskell-log-dir pytest option into ProveOptions

ehildenb
and
claude
committed
bfc82a2