Skip to content

Actions: powderluv/rustproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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
regions: check the deployed PLAN_STEPS bound; and deleg's universe is… ci #56: Commit e856dbe pushed by powderluv
51s main
main
51s
mm: the map search was a one-sided oracle — assert the exact allocata… ci #55: Commit 4383dd6 pushed by powderluv
46s main
main
46s
tests: close three measured gaps; delete the dead ci/ config ci #54: Commit 911bdd4 pushed by powderluv
1m 8s main
main
1m 8s
repo: delete two crates that called themselves VERIFIED TCB over zero… ci #53: Commit b117724 pushed by powderluv
1m 26s main
main
1m 26s
mm: search arbitrary alloc/free interleavings — which closed no gap, … ci #52: Commit 8fdae92 pushed by powderluv
49s main
main
49s
pvh: bound the hypervisor-supplied memory map before walking it ci #51: Commit a0fa209 pushed by powderluv
57s main
main
57s
mm: a Reserved region overlapping a Usable one was allocatable ci #50: Commit fa03276 pushed by powderluv
40s main
main
40s
kernel: the last two invisible gates were Irq, and my own test for th… ci #49: Commit 88535a7 pushed by powderluv
1m 20s main
main
1m 20s
kernel: finish the job on the Region gates — the previous commit only… ci #48: Commit afa6a78 pushed by powderluv
45s main
main
45s
kernel: two authority gates were vacuous on hardware; make them decid… ci #47: Commit 63d29f3 pushed by powderluv
50s main
main
50s
kernel: make the largest crate host-testable, and test the boot grant… ci #46: Commit a2c5e11 pushed by powderluv
53s main
main
53s
tests: explore deleg's insertion order, and pin the mask abi's search… ci #45: Commit 49686cd pushed by powderluv
50s main
main
50s
tests: search at the shape the kernel deploys, not half of it ci #44: Commit 94e64d7 pushed by powderluv
55s main
main
55s
verus: run the tool, decline it on measured grounds, and widen mm's o… ci #43: Commit 6f2c1a9 pushed by powderluv
56s main
main
56s
time: deny ring 3 the clock, and bound a wait in userland instead of … ci #42: Commit d6881bc pushed by powderluv
1m 13s main
main
1m 13s
docs: audit every documentation claim against the code ci #41: Commit e71e3b8 pushed by powderluv
1m 45s main
main
1m 45s
revocation: the gap was the doctrine sentence, not the code ci #40: Commit 068c964 pushed by powderluv
44s main
main
44s
capabilities: make the docs stop promising what the last commit deleted ci #39: Commit d884fce pushed by powderluv
1m 5s main
main
1m 5s
capabilities: delete the derivation tree the kernel never built ci #38: Commit 73a0c60 pushed by powderluv
42s main
main
42s
regions: make the quota and the type gate actually testable ci #37: Commit 9343d3b pushed by powderluv
53s main
main
53s
abi: delete ALLOC_VRAM/FREE_VRAM — DMA memory is just a region ci #36: Commit ff119ff pushed by powderluv
57s main
main
57s
mm: partition the DMA arena from the general pool, and stop a bitmap … ci #35: Commit 3db75d5 pushed by powderluv
53s main
main
53s
regions: the region lifetime as an ordered plan, with the plan actual… ci #34: Commit e0740ef pushed by powderluv
48s main
main
48s
runstate: the park/deadlock decision and the IPC matchers, made check… ci #33: Commit 17596f0 pushed by powderluv
56s main
main
56s
deleg: extract the delegation ledger, and make its tests actually bite ci #32: Commit 9f3abe4 pushed by powderluv
44s main
main
44s