Skip to content

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
Merged

feat: echidna prove --output json, echidna-core client crate, Zig FFI CI#409
hyperpolymath merged 2 commits into
mainfrom
firstrun/20261005-integrations

fix(ffi/zig): make Handle an extern struct, drop pointer casts

2d76e1e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar