Search results

Bug: 9 proof/spec atoms tagged language "rust" instead of "verus"

Status: Open.

#26 In Beneficial-AI-Foundation/probe-verus;

· astefano opened on Apr 3, 2026

Run backward-compat test on dalek-lite for broader coverage

Status: Open.

#22 In Beneficial-AI-Foundation/probe-verus;

· astefano opened on Mar 22, 2026

Add full-extract golden test with cargo verus for verification-status coverage

Status: Open.

#21 In Beneficial-AI-Foundation/probe-verus;

· astefano opened on Mar 22, 2026

Remove merge-atoms command once probe merge-atoms is available

Status: Open.

#16 In Beneficial-AI-Foundation/probe-verus;

· astefano opened on Mar 5, 2026