ragu_core: add Gadget::from_wires_gadget on GadgetKind - #8

Open

mitschabaude wants to merge 12 commits into

zksec/clean-integrationfrom

Commits on Apr 20, 2026

ragu_core: add Gadget::from_wires_gadget on GadgetKind

mitschabaude
and
claude
committed
8894b44
lean_extraction: add extract_gadget! proc macro for instance files

mitschabaude
and
claude
committed
701e807
Merge remote-tracking branch 'origin/zksec/clean-integration' into zksec/fv-ci-ux
mitschabaude
committed
e0c214c
Merge remote-tracking branch 'origin/zksec/clean-integration' into zksec/fv-ci-ux
mitschabaude
committed
e82f3f7
move to_wires to core
mitschabaude
committed
2b41c9d
add tests for from_wires to_wires roundtrip
mitschabaude
committed
5f0a4f0
document roundtrip invariant
mitschabaude
committed
9b57fc8
Merge branch 'zksec/clean-integration' into zksec/fv-ci-ux
mitschabaude
committed
7620da5
make CI happy: clippy, rustdoc, rustfmt
mitschabaude
committed
23dc211
Merge branch 'zksec/clean-integration' into zksec/fv-ci-ux
mitschabaude
committed
50aec1f
lean_extraction: consolidate all instance files into instances.rs

mitschabaude
and
claude
committed
eafb4d3
lean_extraction: fix CI rustfmt + rustdoc lints on instances.rs

mitschabaude
and
claude
committed
8268270