Repository navigation

feat: echidna prove --output json, echidna-core client crate, Zig FFI CI - #409

Merged

hyperpolymath merged 2 commits into

mainfrom

firstrun/20261005-integrations

Oct 5, 2026

Commits on Oct 5, 2026
- feat: echidna prove --output json, echidna-core client crate, Zig FFI CI
  
  hyperpolymath
  and
  claude
  committed
  018a5bf
- fix(ffi/zig): make Handle an extern struct, drop pointer casts
  
  hyperpolymath
  and
  claude
  committed
  2d76e1e