Add csol - #352

Open

d-xo wants to merge 9 commits into

mainfrom

Commits on Apr 9, 2026

fix: handle SComment in yule genStmt

d-xo
and
claude
committed
dda7d0a
extract yule/Pipeline.hs, add --output-dir to sol-core

d-xo
and
claude
committed
8b4b858
bump nix ghc from 9.8 to 9.10

d-xo
and
claude
committed
7c86885
add csol build subcommand

d-xo
and
claude
committed
973f877
add csol run subcommand

d-xo
and
claude
committed
6802a6c
fix compiler warnings, gate EmitHull debug output

d-xo
and
claude
committed
ab63b96
fix ormolu formatting

d-xo
and
claude
committed
0ee9a87
default nix app is now csol

d-xo
and
claude
committed
1256fba
update README for csol CLI

d-xo
and
claude
committed
c01af9e