Skip to content

Actions: model-checking/verify-rust-std

Actions

Build Book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
book.yml
858 workflow runs
858 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
docs: mark NonZero challenge as resolved (#663) Build Book #2732: Commit ad7590c pushed by github-merge-queue Bot
7m 40s main
main
7m 40s
Build Book Build Book #2731: Merge group checks requested
7m 5s
7m 5s
docs: mark NonZero challenge as resolved (#663) Build Book #2730: Commit ad7590c pushed by github-merge-queue Bot
7m 8s gh-readonly-queue/main/pr-663-2d50a1a22bb8c14dac37ac8bbb443a8ebbb6510b
gh-readonly-queue/main/pr-663-2d50a1a22bb8c14dac37ac8bbb443a8ebbb6510b
7m 8s
add unsafe-finder tool Build Book #2729: Pull request #369 synchronize by patricklam
5m 16s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
5m 16s
add unsafe-finder tool Build Book #2728: Pull request #369 synchronize by patricklam
6m 54s patricklam:unsafe-finder-tool
patricklam:unsafe-finder-tool
6m 54s
Challenge 21: Verify safety of StrSearcher with Kani Build Book #2727: Pull request #621 synchronize by v3risec
7m 17s v3risec:challenge-21-string-searcher
v3risec:challenge-21-string-searcher
7m 17s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2726: Pull request #582 synchronize by v3risec
5m 18s v3risec:challenge-26-rc
v3risec:challenge-26-rc
5m 18s
Challenge 26: verify Rc/Weak safety in alloc::rc with Kani Build Book #2725: Pull request #582 synchronize by v3risec
6m 46s v3risec:challenge-26-rc
v3risec:challenge-26-rc
6m 46s
Build Book Build Book #2724: Merge group checks requested
7m 11s
7m 11s
Challenge 4: bounded Kani PROBEs on btree::node's copy, relink and rebalancing helpers Build Book #2723: Pull request #666 opened by ivmat
7m 9s ivmat:challenge-4-btree-v2
ivmat:challenge-4-btree-v2
7m 9s
docs: mark NonZero challenge as resolved Build Book #2722: Pull request #663 synchronize by stefanzetzsche
5m 43s stefanzetzsche:docs/resolve-challenge-12
stefanzetzsche:docs/resolve-challenge-12
5m 43s
Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms Build Book #2721: Pull request #664 synchronize by ivmat
7m 22s ivmat:challenge-21-nextback-probe
ivmat:challenge-21-nextback-probe
7m 22s
Update Kani Metrics Build Book #2720: Pull request #665 opened by github-actions Bot
7m 9s update-kani-metrics
update-kani-metrics
7m 9s
Add RAPx tool documentation (#631) Build Book #2719: Commit a279405 pushed by github-merge-queue Bot
6m 58s main
main
6m 58s
Verify safety of iterator adapter functions (Challenge 16) Build Book #2718: Pull request #549 reopened by kasimte
5m 47s kasimte:challenge-16
kasimte:challenge-16
5m 47s
Build Book Build Book #2717: Merge group checks requested
7m 5s
7m 5s
Add RAPx tool documentation (#631) Build Book #2716: Commit a279405 pushed by github-merge-queue Bot
7m 2s gh-readonly-queue/main/pr-631-4070e2f4032fc3097029189103825bf75febb61d
gh-readonly-queue/main/pr-631-4070e2f4032fc3097029189103825bf75febb61d
7m 2s
Challenge 21 (partial): bounded Kani PROBE of shipped TwoWaySearcher::next_back short-period arms Build Book #2715: Pull request #664 opened by ivmat
5m 29s ivmat:challenge-21-nextback-probe
ivmat:challenge-21-nextback-probe
5m 29s
Build Book Build Book #2714: Merge group checks requested
5m 28s
5m 28s
Add RAPx tool documentation Build Book #2713: Pull request #631 synchronize by DiuDiu777
7m 1s safer-rust:rapx-tool-docs
safer-rust:rapx-tool-docs
7m 1s
Add RAPx tool description and CI workflow Build Book #2712: Pull request #491 synchronize by DiuDiu777
6m 52s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
6m 52s
Add RAPx tool description and CI workflow Build Book #2711: Pull request #491 synchronize by DiuDiu777
7m 18s safer-rust:rapx-verify-std
safer-rust:rapx-verify-std
7m 18s
Use byte-wise memchr under Kani to cut symbolic execution cost Build Book #2710: Pull request #628 synchronize by feliperodri
17m 48s tautschnig:kani-naive-memchr
tautschnig:kani-naive-memchr
17m 48s
Use addr_eq in NonNull contracts to support wide pointers Build Book #2709: Pull request #626 synchronize by feliperodri
18m 18s tautschnig:fix-dyn-ensures
tautschnig:fix-dyn-ensures
18m 18s
Build Book Build Book #2708: Merge group checks requested
15m 59s
15m 59s