8000 Proofs · Workflow runs · seL4/seL4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: seL4/seL4

Actions

Proofs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
877 workflow runs
877 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Detect 'aarch64-elf-' toolchain Proofs #4945: Pull request #1465 synchronize by Indanz
May 21, 2025 07:53 1s
May 21, 2025 07:53 1s
Detect 'aarch64-elf-' toolchain Proofs #4944: Pull request #1465 synchronize by Ivan-Velickovic
May 21, 2025 05:39 1s
May 21, 2025 05:39 1s
aarch32/vspace: use BIT and MASK macros Proofs #4943: Pull request #1460 synchronize by lsahn-gh
May 20, 2025 12:08 8m 31s
May 20, 2025 12:08 8m 31s
aarch32/vspace: use BIT and MASK macros Proofs #4942: Pull request #1460 synchronize by lsahn-gh
May 20, 2025 11:19 8m 35s
May 20, 2025 11:19 8m 35s
aarch32/vspace: use BIT and MASK macros Proofs #4941: Pull request #1460 synchronize by lsahn-gh
May 19, 2025 15:09 8m 36s
May 19, 2025 15:09 8m 36s
aarch32/vspace: use BIT and MASK macros Proofs #4940: Pull request #1460 labeled by lsf37
May 18, 2025 11:37 14m 51s
May 18, 2025 11:37 14m 51s
FPU Context Switching Proofs #4939: Pull request #1325 synchronize by Indanz
May 10, 2025 10:05 1s
May 10, 2025 10:05 1s
FPU Context Switching Proofs #4938: Pull request #1325 synchronize by Indanz
May 9, 2025 17:10 1s
May 9, 2025 17:10 1s
yieldTo: respect kernel reply protocol Proofs #4937: Pull request #1435 synchronize by michaelmcinerney
May 9, 2025 04:21 1s
May 9, 2025 04:21 1s
FPU Context Switching Proofs #4936: Pull request #1325 synchronize by Indanz
May 8, 2025 14:40 1s
May 8, 2025 14:40 1s
FPU Context Switching Proofs #4935: Pull request #1325 synchronize by Indanz
May 8, 2025 12:28 1s
May 8, 2025 12:28 1s
FPU Context Switching Proofs #4934: Pull request #1325 synchronize by Indanz
May 8, 2025 12:14 1s
May 8, 2025 12:14 1s
FPU Context Switching Proofs #4933: Pull request #1325 synchronize by Indanz
May 8, 2025 11:34 3s
May 8, 2025 11:34 3s
FPU Context Switching Proofs #4932: Pull request #1325 synchronize by Indanz
May 8, 2025 11:05 3s
May 8, 2025 11:05 3s
FPU Context Switching Proofs #4931: Pull request #1325 synchronize by Indanz
May 6, 2025 22:08 2s
May 6, 2025 22:08 2s
FPU Context Switching Proofs #4930: Pull request #1325 synchronize by Indanz
May 5, 2025 23:31 2s
May 5, 2025 23:31 2s
FPU Context Switching Proofs #4929: Pull request #1325 synchronize by Indanz
May 5, 2025 23:22 2s
May 5, 2025 23:22 2s
Add new APIs for generating SGIs Proofs #4928: Pull request #1222 synchronize by lsf37
May 4, 2025 23:37 3s
May 4, 2025 23:37 3s
FPU Context Switching Proofs #4927: Pull request #1325 synchronize by Indanz
May 2, 2025 11:31 4s
May 2, 2025 11:31 4s
Add new APIs for generating SGIs Proofs #4926: Pull request #1222 synchronize by lsf37
May 2, 2025 06:03 3s
May 2, 2025 06:03 3s
cleanup: remove obselete pageType and asidMax Proofs #4925: Pull request #1454 synchronize by midnightveil
April 30, 2025 09:59 2s
April 30, 2025 09:59 2s
TCB_SetSchedParams: Change to match API reference Proofs #4924: Pull request #1312 synchronize by lsf37
April 30, 2025 03:02 4s
April 30, 2025 03:02 4s
Update links after seL4 website re-org Proofs #4923: Pull request #1452 synchronize by lsf37
April 29, 2025 06:54 1s
April 29, 2025 06:54 1s
FPU Context Switching Proofs #4922: Pull request #1325 synchronize by Indanz
April 28, 2025 22:04 1s
April 28, 2025 22:04 1s
FPU Context Switching Proofs #4921: Pull request #1325 synchronize by Indanz
April 28, 2025 10:22 6s
April 28, 2025 10:22 6s
0