Search results

Generate all harness functions from p-token to spl-token;

Status: Open.

#59 In runtimeverification/solana-token;

· Stevengre opened on Oct 21, 2025

Generating and linking SMIR JSON for SPL-Token-based property tests

Status: Open.

#54 In runtimeverification/solana-token;

· Stevengre opened on Oct 17, 2025

[Meta] Improving Symbolic Execution Performance

Status: Open.

#52 In runtimeverification/solana-token;

· Stevengre opened on Oct 15, 2025

Setting up cheat-codes for SPL-token-idiomatic access to the raw data

Status: Open.

Task

#50 In runtimeverification/solana-token;

· Stevengre opened on Oct 15, 2025

[MAIN] SPL-Token Setup

Status: Open.

#47 In runtimeverification/solana-token;

· jberthold opened on Oct 13, 2025

Inconsistent <code>uint</code> types in proofs <code>initialize_account*</code>

Status: Open.

#41 In runtimeverification/solana-token;

· jberthold opened on Oct 6, 2025

INVESTIGATION: <code>AccountInfo.owner != Account.owner</code>

Status: Open.

#38 In runtimeverification/solana-token;

· dkcumming opened on Oct 3, 2025

Handle Rent calculations

Status: Open.

#33 In runtimeverification/solana-token;

· dkcumming opened on Sep 30, 2025

[MAIN] P-Token Proof Status

high

Status: Open.

Task

#24 In runtimeverification/solana-token;

· jberthold opened on Sep 24, 2025

[FEATURE] Hard-wire conversions between <code>[u8;8]</code> and <code>u64</code>

Status: Open.

#6 In runtimeverification/solana-token;

· Stevengre opened on Sep 18, 2025