Skip to content

VeriContest v2026.10

Choose a tag to compare

View all tags
@Gax-c Gax-c released this 08 Oct 20:31
· 6 commits to main since this release
v2026.10
0854818

VeriContest benchmark: 1,006 problems (722 LeetCode, 284 Codeforces), at commit 0854818.

All 1,006 verified.rs files verify with Verus 0.2026.04.10.01bf489 (Rust 1.94.0, Linux x86-64), using --no-cheating --expand-errors --rlimit 100000. The toolchain is bundled in verus/ and is also attached below, because this build is no longer published upstream.

Test cases: Gax-c/VeriContest on Hugging Face.

Assets 3
Loading