RAPx

rapx.yml

436 workflow runs

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani
completed successfully:
RAPx#436:Pull request#587synchronizebyv3risec
v3risec:challenge-27-arc
Oct 23, 20262m 22s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani
completed successfully:
RAPx#435:Pull request#582synchronizebyv3risec
v3risec:challenge-26-rc
Oct 22, 20266m 25s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani
completed successfully:
RAPx#434:Pull request#582synchronizebyv3risec
v3risec:challenge-26-rc
Oct 22, 20262m 24s
Merge subtree update for toolchain nightly-2026-10-12 (#732)
completed successfully:
RAPx#433:Commitc0bd09cpushedbygithub-merge-queue[bot]Bot
main
Oct 22, 20261h 21m 30s
Challenge 13: safety of CStr
completed successfully:
RAPx#432:Pull request#638synchronizebystefanzetzsche
stefanzetzsche:cstr-challenge-13
Oct 22, 20267m 46s
Challenge 29: Kani contracts for Box, convert, and ThinBox
completed successfully:
RAPx#431:Pull request#639synchronizebysankalpsthakur
sankalpsthakur:challenge/29-boxed
Oct 22, 20262m 24s
Challenge 29: Kani contracts for Box, convert, and ThinBox
completed successfully:
RAPx#430:Pull request#639synchronizebysankalpsthakur
sankalpsthakur:challenge/29-boxed
Oct 21, 20264m 57s
Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)
completed successfully:
RAPx#429:Pull request#681synchronizebyfeliperodri
jrey8343:challenge-25-vecdeque
Oct 21, 20269m 50s
Merge subtree update for toolchain nightly-2026-10-12
completed successfully:
RAPx#428:Pull request#732openedbygithub-actions[bot]Bot
sync-2026-10-12
Oct 21, 202613m 57s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani
completed successfully:
RAPx#427:Pull request#582synchronizebyv3risec
v3risec:challenge-26-rc
Oct 21, 20261m 50s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani
completed successfully:
RAPx#426:Pull request#589synchronizebyv3risec
v3risec:challenge-29-boxed
Oct 21, 20262m 11s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani
completed successfully:
RAPx#425:Pull request#589synchronizebyv3risec
v3risec:challenge-29-boxed
Oct 21, 20261m 54s
Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani
completed successfully:
RAPx#424:Pull request#587synchronizebyv3risec
v3risec:challenge-27-arc
Oct 21, 20261m 50s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani
completed successfully:
RAPx#423:Pull request#582synchronizebyv3risec
v3risec:challenge-26-rc
Oct 21, 20261m 50s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani
completed successfully:
RAPx#422:Pull request#582synchronizebyv3risec
v3risec:challenge-26-rc
Oct 21, 20262m 22s
Challenge 8: verify smallsort safety and sorting correctness with Kani
completed successfully:
RAPx#421:Pull request#694synchronizebykasimte
kasimte:8-build
Oct 21, 20261m 48s
Challenge 21: Verify StrSearcher safety in str::pattern with Kani
completed successfully:
RAPx#420:Pull request#721synchronizebykasimte
kasimte:challenge-21-strsearcher
Oct 21, 20262m 37s
Challenge 23: verify Vec mod.rs function safety with Kani
completed successfully:
RAPx#419:Pull request#692synchronizebykasimte
kasimte:challenge-23-vec-part1
Oct 21, 20262m 8s
Challenge 24: verify Vec IntoIter and spec_* function safety with Kani
completed successfully:
RAPx#418:Pull request#689synchronizebykasimte
kasimte:24-build
Oct 21, 20262m 13s
Challenge 22: Verify the safety of str iter functions
completed successfully:
RAPx#417:Pull request#706synchronizebykasimte
kasimte:merlin
Oct 21, 20262m 14s
Verify safety of slice functions (Challenge 17)
completed successfully:
RAPx#416:Pull request#703synchronizebykasimte
kasimte:ch17-slice
Oct 21, 20262m 12s
Challenge 20: Verify char-class Searcher safety in str::pattern with Kani
completed successfully:
RAPx#415:Pull request#722synchronizebykasimte
kasimte:20-build-s2
Oct 21, 20262m 16s
Verify safety of iterator adapter functions (Challenge 16)
completed successfully:
RAPx#414:Pull request#549synchronizebykasimte
kasimte:challenge-16
Oct 21, 20262m 17s
Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed
completed successfully:
RAPx#413:Pull request#669synchronizebykasimte
kasimte:challenge-29
Oct 21, 20261m 47s
Add CI-generated autoharness dashboard
completed successfully:
RAPx#412:Pull request#700synchronizebyfeliperodri
wodex1nhaoIeng:dashboard-ci
Oct 20, 20262m 15s

Navigation Menu

RAPx

436 workflow runs

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Merge subtree update for toolchain nightly-2026-10-12 (#732)

Challenge 13: safety of CStr

Challenge 29: Kani contracts for Box, convert, and ThinBox

Challenge 29: Kani contracts for Box, convert, and ThinBox

Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)

Merge subtree update for toolchain nightly-2026-10-12

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani

Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani

Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 26: verify Rc/Weak safety in alloc::rc with Kani

Challenge 8: verify smallsort safety and sorting correctness with Kani

Challenge 21: Verify StrSearcher safety in str::pattern with Kani

Challenge 23: verify Vec mod.rs function safety with Kani

Challenge 24: verify Vec IntoIter and spec_* function safety with Kani

Challenge 22: Verify the safety of str iter functions

Verify safety of `slice` functions (Challenge 17)

Challenge 20: Verify char-class Searcher safety in str::pattern with Kani

Verify safety of iterator adapter functions (Challenge 16)

Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed

Add CI-generated autoharness dashboard

Workflow runs for RAPx

436 workflow runs