Commits
- a7ff261: Add variadic FFI specifications (runarorama) #6266
- a41fcb3: Record passing unit and CLI integration test proof (runarorama) #6266
- 906f71a: Refresh transcript output for the variadic builtin (runarorama) #6266
- 4a1e54f: Record passing full transcript proof (runarorama) #6266
- 105609e: Merge trunk into feature/variadic-ffi (runarorama) #6266
- 5912694: Distinguish foreign functions by their call signatures (runarorama) #6266
- 676badd: Merge trunk into feature/variadic-ffi (runarorama) #6266
- a58e0ca: Record passing proofs after merging POSIX signals (runarorama) #6266