Cleanup#315

Merged

ciaranra merged 140 commits into

devfrom

May 22, 2026

Commits on May 13, 2026

Regenerate doc tests and prune stale generated files
ciaranra
committed
Auto-include CUDA Python packages when toolkit and NVIDIA GPU detected
ciaranra
committed

Commits on May 14, 2026

Commits on May 15, 2026

Add examples/ corpus to audit runner (pass 2)
ciaranra
committed
Add qeclib corpus + ExpectedFailure XFAIL mechanism to audit runner (pass 3)
ciaranra
committed
Harden Guppy v1 preflight + inline-CReg inference; lock down pass 4 audit (4 green, 5 XFAIL)
ciaranra
committed
Cutover: route SlrConverter.hugr() through AST by default; remove _force_ast kwarg
ciaranra
committed
Cutover: delete legacy gen_codes/guppy/ and dependent tests
ciaranra
committed
Apply Codex review fixes: no-arg entrypoint wrap + compile diagnostics + stale comments + 3-cycle and cross-register Permute coverage
ciaranra
committed
Fix Codex review v2 findings: entry wrapper mirrors emitter return shape (explicit Return passthrough + inline CReg result capture); broaden compile diagnostic catch; promote wrapper to shared entr…
ciaranra
committed
Mirror emitter for non-result-CReg Return values; cover nested-control-flow inline Measure in regression tests
ciaranra
committed
Widen compile-error diagnostics to module-load failures; factor out _load_and_compile_entry helper
ciaranra
committed
v2 Phase 1: add Print(value, *, tag=None, namespace='result') with SLR class, PrintOp AST node, Guppy result() emission, QASM comment fallback, and 15 Selene-roundtrip behavioral tests
ciaranra
committed
Phase 1 Print: apply Codex tracer-bullet review (validate derived tags, document Selene tag-mode flip, strengthen loop/multi-Print tests with event-list shape assertions, explicit Print-skip in QIR…
ciaranra
committed
Phase 1 Print: path-signature validator rejects asymmetric If branches + non-static loops with Print bodies (9 new tests)
ciaranra
committed
Phase 1 Print: inline-CReg definite-assignment dataflow validator + 8 tests (Codex's Print-before-Measure soundness gap closed)
ciaranra
committed
Phase 1 Print: tighten inline-CReg validator to bit-level (Codex tracer-bullet finding Q4) + add missing coverage tests (While/Parallel/Repeat(0)/partial-CReg)
ciaranra
committed
Phase 1 Print: reject whole-CReg Print of inline CReg outright (Codex v2 review Q2 -- prevents silent register shrink); rewrite affected tests at bit-level; add Codex shrink-case regression + direc…
ciaranra
committed
Phase 1 Print: adversarial tests (cross-codegen byte-identity + Selene shape edge cases + QASM exactly-one-comment assertion)
ciaranra
committed
Phase 2 deprecation warnings: CReg(result=False) construction-time warning + Main(...) implicit-return warning fired SLR-wide across all codegen entry points (cached per converter, stacklevel attri…
ciaranra
committed
Land Phase 3a.0-3a.3 iters 1-4: BlockDecl/BlockCall AST + Guppy emitter + 7 Steane Block conversions.
ciaranra
committed
Merge phase2-deprecation-warnings: DeprecationWarning for CReg(result=False) + implicit Main(...) return.
ciaranra
committed
Merge phase1-print: Print(value, *, tag=None, namespace='result') AST + Guppy/QASM/Selene emission; resolve visitor.py conflict by ordering visit_print before block-related visitors.
ciaranra
committed
Phase 3a.3 iter 5a-prep: typed BlockArg sum type for BlockCall arg/out bindings (AllocatorArg + four shape stubs).
ciaranra
committed
Fix Codex review of BlockArg refactor: flatten path now rejects deferred BlockArg shapes in out_bindings (symmetric with arg_bindings); add 4 lock-in tests across Guppy + flatten paths.
ciaranra
committed
Phase 3a.3 iter 5b: single-qubit BlockInput type + SingleQubitArg call-site shape end-to-end in Guppy emitter.
ciaranra
committed
Fix Codex iter-5b review: reject mismatched arg/out bindings for LIVE_PRESERVED inputs (would emit invalid Guppy); add flatten-rejection lock-in for SingleQubitArg + clarify test docstring.
ciaranra
committed
Phase 3a.3 iter 5c: single-bit BlockInput via array[bool,1] write-back proxy + SingleBitArg call-site shape end-to-end in Guppy emitter.
ciaranra
committed

Commits on May 16, 2026

Commits on May 17, 2026

Commits on May 18, 2026

Commits on May 19, 2026

Commits on May 20, 2026

Commits on May 21, 2026

Commits on May 22, 2026