Skip to content

feat: solana AccountInfo generators for proofs#4551

Closed
mizuki0x wants to merge 2 commits intomodel-checking:mainfrom
mizuki0x:kamiyo/kani-solana-agent-primitives
Closed

feat: solana AccountInfo generators for proofs#4551
mizuki0x wants to merge 2 commits intomodel-checking:mainfrom
mizuki0x:kamiyo/kani-solana-agent-primitives

Commits

Commits on Feb 17, 2026