Search results

[spl-token] test_process_freeze_account_multisig proof fails

Status: Open.

#180 In runtimeverification/solana-token;

· Stevengre opened on Mar 12, 2026

[spl-token] test_process_close_account_multisig proof fails

Status: Open.

#179 In runtimeverification/solana-token;

· Stevengre opened on Mar 12, 2026

[spl-token] test_process_transfer_multisig proof fails with fail_fast

Status: Open.

#178 In runtimeverification/solana-token;

· Stevengre opened on Mar 12, 2026

Non-Overflow and other assumed invariants in process_transfer code

Status: Open.

#119 In runtimeverification/solana-token;

· jberthold opened on Nov 25, 2025

Remaining Thunks

Status: Open.

#103 In runtimeverification/solana-token;

· JuanCoRo opened on Nov 13, 2025

Multisig Proof Status

Status: Open.

#97 In runtimeverification/solana-token;

· dkcumming opened on Nov 11, 2025

Mint initialised flag restricted assumes validity in cheatcode which avoids branches

Status: Open.

#139 In runtimeverification/solana-token;

· dkcumming opened on Nov 9, 2025

Insufficient Branching in Passing Proofs

Status: Open.

#69 In runtimeverification/solana-token;

· dkcumming opened on Oct 24, 2025

[MAIN] SPL-Token Proof Status

Status: Open.

#47 In runtimeverification/solana-token;

· jberthold opened on Oct 13, 2025

Proof Status

high

Status: Open.

Task

#24 In runtimeverification/solana-token;

· jberthold opened on Sep 24, 2025