Skip to content

ci: fmt under stable 1.96 to make rust-ci green (follow-up) #47

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 9 commits into from
Jun 28, 2026
Merged

ci: fmt under stable 1.96 to make rust-ci green (follow-up) #47

Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
2de801f
feat(abi): add Semantics flagship proof — bounded array access safety
claude Jun 27, 2026
8c91763
abi(idrisiser): add Layer-3 array-update law proofs (Invariants)
claude Jun 27, 2026
18aba4c
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath Jun 28, 2026
a97f2f5
abi: seal ABI<->FFI seam with Layer 4 soundness proof
claude Jun 28, 2026
b05825f
Add Layer-5 ABI soundness capstone certificate
claude Jun 28, 2026
bbbacf9
ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta…
claude Jun 28, 2026
50a41ed
ci: adopt canonical Julia ABI-FFI gate (estate standard, matches veri…
claude Jun 28, 2026
b0c9d99
style: cargo fmt + clippy --fix under stable 1.96 (CI toolchain) — fm…
claude Jun 28, 2026
215bdf9
Merge branch 'main' into claude/new-session-znxgm7
hyperpolymath Jun 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 4 additions & 3 deletions src/codegen/parser.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -488,7 +488,8 @@ mod tests {

#[test]
fn parse_c_function_simple() {
let contract = try_parse_c_function("int process_item(void* input, size_t len);").expect("TODO: handle error");
let contract = try_parse_c_function("int process_item(void* input, size_t len);")
.expect("TODO: handle error");
assert_eq!(contract.name, "process_item");
assert_eq!(contract.return_type, "Int");
assert_eq!(contract.params.len(), 2);
Expand All @@ -503,8 +504,8 @@ mod tests {

#[test]
fn parse_rpc_method() {
let contract =
try_parse_rpc("rpc GetUser (GetUserRequest) returns (UserResponse);").expect("TODO: handle error");
let contract = try_parse_rpc("rpc GetUser (GetUserRequest) returns (UserResponse);")
.expect("TODO: handle error");
assert_eq!(contract.name, "GetUser");
assert_eq!(contract.params[0].type_name, "GetUserRequest");
assert_eq!(contract.return_type, "UserResponse");
Expand Down
Loading