Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
663 workflow runs
663 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Kani Metrics Build Book #2507: Pull request #616 synchronize by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Challenge 16: Verify safety of iterator adapter functions with Kani Build Book #2506: Pull request #632 opened by v3risec
7m 2s v3risec:challenge-16-iter
v3risec:challenge-16-iter
7m 2s
Add RAPx tool documentation Build Book #2505: Pull request #631 opened by DiuDiu777
6m 49s safer-rust:rapx-tool-docs
safer-rust:rapx-tool-docs
6m 49s
Update Kani Metrics Build Book #2504: Pull request #616 synchronize by github-actions Bot
8m 46s update-kani-metrics
update-kani-metrics
8m 46s
Verify safety of StrSearcher (Challenge 21) Build Book #2503: Pull request #538 synchronize by jrey8343
7m 8s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
7m 8s
Verify safety of StrSearcher (Challenge 21) Build Book #2502: Pull request #538 synchronize by jrey8343
7m 2s jrey8343:challenge-21-str-searcher
jrey8343:challenge-21-str-searcher
7m 2s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2501: Pull request #589 synchronize by v3risec
7m 15s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
7m 15s
Remove end dates from challenges Build Book #2500: Pull request #629 synchronize by feliperodri
13m 16s feliperodri:remove-challenge-end-dates
feliperodri:remove-challenge-end-dates
13m 16s
Use byte-wise memchr under Kani to cut symbolic execution cost Build Book #2499: Pull request #628 opened by tautschnig
7m 4s tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
7m 4s
Do not dereference in slice_from_raw_parts postcondition Build Book #2498: Pull request #627 opened by tautschnig
7m 16s tautschnig:fix-slice-from-raw-parts-ensures
tautschnig:fix-slice-from-raw-parts-ensures
7m 16s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2497: Pull request #626 synchronize by tautschnig
6m 12s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
6m 12s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2496: Pull request #626 opened by tautschnig
6m 41s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
6m 41s
Allow zero-sized offsets on dangling pointers in ptr contracts Build Book #2495: Pull request #625 opened by tautschnig
5m 38s tautschnig:fix-zero-offset-contracts
tautschnig:fix-zero-offset-contracts
5m 38s
Replace byte-inspection NonZero contracts with niche test and raw_eq Build Book #2494: Pull request #624 opened by tautschnig
7m 7s tautschnig:fix-nonzero-contract-cost
tautschnig:fix-nonzero-contract-cost
7m 7s
Respect new_unchecked precondition in IndexRange proof harnesses Build Book #2493: Pull request #623 opened by tautschnig
7m 16s tautschnig:fix-index-range-harnesses
tautschnig:fix-index-range-harnesses
7m 16s
Fix mod_inv precondition: any x is invertible modulo 1 Build Book #2492: Pull request #622 opened by tautschnig
6m 39s tautschnig:fix-mod-inv-precondition
tautschnig:fix-mod-inv-precondition
6m 39s
Challenge 21: Verify safety of StrSearcher with Kani Build Book #2491: Pull request #621 opened by v3risec
7m 1s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
7m 1s
Challenge 20: Verify Char Searcher with Kani Build Book #2490: Pull request #620 synchronize by v3risec
6m 50s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 50s
Challenge 20: Verify Char Searcher with Kani Build Book #2489: Pull request #620 synchronize by v3risec
6m 56s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
6m 56s
Challenge 20: Verify Char Searcher with Kani Build Book #2488: Pull request #620 opened by v3risec
7m 6s v3risec:challenge-20-char-searcher
v3risec:challenge-20-char-searcher
7m 6s
Update Kani Metrics Build Book #2487: Pull request #616 synchronize by github-actions Bot
Action required update-kani-metrics
update-kani-metrics
Action required
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Build Book #2486: Pull request #618 synchronize by ivmat
29m 45s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
29m 45s
Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics Build Book #2485: Pull request #618 opened by ivmat
32m 15s ivmat:challenge-2-intrinsics-memory
ivmat:challenge-2-intrinsics-memory
32m 15s
Add RAPx tool description and CI workflow Build Book #2484: Pull request #491 synchronize by hxuhack
7m 13s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
7m 13s
Update Kani Metrics Build Book #2483: Pull request #616 opened by github-actions Bot
6m 46s update-kani-metrics
update-kani-metrics
6m 46s