Skip to content

Actions: safer-rust/RAPx-Book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
367 workflow runs
367 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
doc: sync Chapter 2 with current RAPx CLI (v0.7.27) Deploy mdBook site to Pages #642: Commit 24c626a pushed by hxuhack
2m 2s main
main
2m 2s
update running output Deploy mdBook site to Pages #641: Commit d372b28 pushed by DiuDiu777
2m 5s main
main
2m 5s
update paths of running cases Deploy mdBook site to Pages #640: Commit cf38b4d pushed by DiuDiu777
1m 59s main
main
1m 59s
doc: remove struct invariants from drop example in pipeline docs Deploy mdBook site to Pages #639: Commit 2d43436 pushed by hxuhack
1m 59s main
main
1m 59s
docs: sync 10.1 output with actual verification (37 functions, all SO… Deploy mdBook site to Pages #638: Commit 2068bc6 pushed by hxuhack
1m 57s main
main
1m 57s
docs: sync 10.1 case study with actual RAPx contracts (swap_unchecked… Deploy mdBook site to Pages #637: Commit e52b3ba pushed by hxuhack
1m 56s main
main
1m 56s
fix: chapter 8 review — remove 8.5, fix broken anchors, normalize ful… Deploy mdBook site to Pages #636: Commit 2920dc9 pushed by hxuhack
2m 1s main
main
2m 1s
docs: note convergence considers intermediate facts, not just verdicts Deploy mdBook site to Pages #635: Commit 54ec035 pushed by hxuhack
1m 35s main
main
1m 35s
docs: fix 8.4.5 checkpoint paths — each repeat shows one bb10 path Deploy mdBook site to Pages #634: Commit e31adc4 pushed by hxuhack
1m 58s main
main
1m 58s
docs: simplify 8.4.5, show only bb10 checkpoint paths Deploy mdBook site to Pages #633: Commit d248000 pushed by hxuhack
2m 53s main
main
2m 53s
docs: fix Chinese text in chain description Deploy mdBook site to Pages #632: Commit 454c837 pushed by hxuhack
2m 17s main
main
2m 17s
docs: add drop target to log output with ellipsis Deploy mdBook site to Pages #631: Commit f3fe6ca pushed by hxuhack
1m 44s main
main
1m 44s
docs: match actual RAPx output (two as_mut checkpoints) Deploy mdBook site to Pages #630: Commit 2fb8c65 pushed by hxuhack
3m 1s main
main
3m 1s
docs: update log output to match new checkpoint grouping format Deploy mdBook site to Pages #629: Commit ce148e3 pushed by hxuhack
3m 2s main
main
3m 2s
docs: rewrite 8.4.5 with full checkpoint context and precondition bre… Deploy mdBook site to Pages #628: Commit e2d24b1 pushed by hxuhack
1m 53s main
main
1m 53s
docs: combine formula structure with concrete values in Init check Deploy mdBook site to Pages #627: Commit ec072a7 pushed by hxuhack
1m 54s main
main
1m 54s
docs: rewrite Init check as two clear questions Deploy mdBook site to Pages #626: Commit 27e9a03 pushed by hxuhack
1m 57s main
main
1m 57s
docs: clarify offset/access semantics in Init check Deploy mdBook site to Pages #625: Commit 91b73a1 pushed by hxuhack
3m 16s main
main
3m 16s
docs: remove redundant 'Both discharged' summary Deploy mdBook site to Pages #624: Commit a6b0621 pushed by hxuhack
3m 31s main
main
3m 31s
docs: remove struct invariant tangent from 8.4.4 Deploy mdBook site to Pages #623: Commit f58aca3 pushed by hxuhack
3m 28s main
main
3m 28s
docs: rewrite Init check explanation step by step Deploy mdBook site to Pages #622: Commit c8359a9 pushed by hxuhack
1m 56s main
main
1m 56s
revert bookstore checkpoint grouping note (fixed in RAPx output instead) Deploy mdBook site to Pages #621: Commit b318e53 pushed by hxuhack
2m 4s main
main
2m 4s
docs: note checkpoint grouping in 8.4.1, simplify 8.4.5 convergence Deploy mdBook site to Pages #620: Commit dbfe86e pushed by hxuhack
2m 50s main
main
2m 50s
docs: drop redundant general mechanism from 8.4.5 Deploy mdBook site to Pages #619: Commit 65987f0 pushed by hxuhack
2m 28s main
main
2m 28s
docs: show repeat 0 and repeat 1 paths, explain convergence indicator Deploy mdBook site to Pages #618: Commit 5010dcb pushed by hxuhack
2m 32s main
main
2m 32s