Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
675 workflow runs
675 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
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2522: Pull request #589 synchronize by v3risec
7m 1s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
7m 1s
Challenge 29: Verify Boxed safety in alloc::boxed, alloc::boxed::convert and alloc::boxed::thin with Kani Build Book #2521: Pull request #589 synchronize by v3risec
7m 8s v3risec:challenge-29-boxed
v3risec:challenge-29-boxed
7m 8s
Verify safety of char-related Searcher methods (Challenge 20) Build Book #2520: Pull request #537 synchronize by jrey8343
7m 9s jrey8343:challenge-20-str-pattern
jrey8343:challenge-20-str-pattern
7m 9s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Build Book #2519: Pull request #543 synchronize by jrey8343
23m 38s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
23m 38s
Verify CStr CloneToUninit and Index<RangeFrom> safety (Challenge 13) Build Book #2518: Pull request #543 synchronize by jrey8343
6m 43s jrey8343:challenge-13-cstr
jrey8343:challenge-13-cstr
6m 43s
Verify safety of NonZero operations (Challenge 12) Build Book #2517: Pull request #544 synchronize by jrey8343
5m 4s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
5m 4s
Verify safety of NonZero operations (Challenge 12) Build Book #2516: Pull request #544 synchronize by jrey8343
5m 18s jrey8343:challenge-12-nonzero
jrey8343:challenge-12-nonzero
5m 18s
Add Kani contracts and harnesses for NonZero (Challenge 12) Build Book #2515: Pull request #600 synchronize by kasimte
6m 52s kasimte:challenge-12-nonzero
kasimte:challenge-12-nonzero
6m 52s
Build Book Build Book #2514: Merge group checks requested
6m 51s
6m 51s
Update committee list in pull_requests.toml Build Book #2513: Pull request #635 opened by feliperodri
4m 16s feliperodri:update-committee-list
feliperodri:update-committee-list
4m 16s
Verify core::num::flt2dec memory safety (challenge #28) Build Book #2512: Pull request #601 synchronize by MavenRain
20m 12s MavenRain:verify-flt2dec-challenge-28
MavenRain:verify-flt2dec-challenge-28
20m 12s
Verify iter adapter unsafe methods + safe abstractions (challenge #16) Build Book #2511: Pull request #602 synchronize by MavenRain
39m 55s MavenRain:16-iter-adapters
MavenRain:16-iter-adapters
39m 55s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2510: Pull request #549 synchronize by kasimte
6m 42s kasimte:challenge-16
kasimte:challenge-16
6m 42s
Verify the safety of slice functions (challenge #17) Build Book #2509: Pull request #603 synchronize by MavenRain
7m 13s MavenRain:17-slice
MavenRain:17-slice
7m 13s
Verify the safety of slice functions (challenge #17) Build Book #2508: Pull request #603 synchronize by MavenRain
5m 50s MavenRain:17-slice
MavenRain:17-slice
5m 50s
Update Kani Metrics Build Book #2507: Pull request #616 synchronize by github-actions Bot
6m 52s update-kani-metrics
update-kani-metrics
6m 52s
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