Search results

[prover] Behavioral predicates in spec fun bodies do not contribute to memory usage

Status: Open.

#20279 In aptos-labs/aptos-core;

· wrwg opened on Jul 27, 2026

[prover] Generalize the chain-lemma layer: generic lemma instance checks, multi-captures, apply triggers

Status: Open.

#20278 In aptos-labs/aptos-core;

· wrwg opened on Jul 27, 2026

[prover] Recursive lemma application lacks a well-foundedness check

Status: Open.

#20275 In aptos-labs/aptos-core;

· wrwg opened on Jul 27, 2026

[prover] Fun-value disequalities are provable from constructor distinctness

Status: Open.

#20274 In aptos-labs/aptos-core;

· wrwg opened on Jul 27, 2026

[prover] fun_post_of: chained mutations of capturing closures in loop-invoking HOFs

Status: Open.

#20273 In aptos-labs/aptos-core;

· wrwg opened on Jul 27, 2026

[prover] Support &mut-returning targets for mut-capturing closures

move-prover

stale-exemptPrevents issues from being automatically marked and closed as stalePrevents issues from being automatically marked and closed as stale

Status: Open.

#20268 In aptos-labs/aptos-core;

· wrwg opened on Jul 26, 2026

[indexer] Indexer cleanup

Status: Open.

#20246 In aptos-labs/aptos-core;

· wrwg opened on Jul 22, 2026

[prover] Data invariant violations inside loops escape verification

bugSomething isn't workingSomething isn't working

move-prover

Status: Open.

#20217 In aptos-labs/aptos-core;

· wrwg opened on Jul 15, 2026

[prover][tracking] Cover issue for open ends in prophecy reference model

move-prover

Status: Open.

#20205 In aptos-labs/aptos-core;

· wrwg opened on Jul 12, 2026

[Bug] testnet aptos v1.48.1 halt because of error shown below

bugSomething isn't workingSomething isn't working

Status: Open.

#20188 In aptos-labs/aptos-core;

· bomaxchenbtse opened on Jul 6, 2026

security: verify_window_contents() stubbed out — no validation performed

Status: Open.

#20122 In aptos-labs/aptos-core;

· shunfeng8421 opened on Jun 21, 2026

[prover] Aggregated behavioral-predicate assumes use a single pre-label per callee

Stale

Status: Open.

#20069 In aptos-labs/aptos-core;

· wrwg opened on Jun 12, 2026