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
833 workflow runs
833 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

arm: Save VCPU virt timer registers when disabled Proofs #4847: Pull request #1384 synchronize by lsf37
March 11, 2025 05:43 2s
March 11, 2025 05:43 2s
mcs: rephrase invokeSchedControl_ConfigureFlags Proofs #4846: Pull request #1423 labeled by lsf37
March 10, 2025 00:50 2s
March 10, 2025 00:50 2s
mcs: rephrase invokeSchedControl_ConfigureFlags Proofs #4845: Pull request #1423 labeled by lsf37
March 9, 2025 23:59 3s
March 9, 2025 23:59 3s
mcs: rephrase invokeSchedControl_ConfigureFlags Proofs #4844: Pull request #1423 labeled by michaelmcinerney
March 9, 2025 23:54 2s
March 9, 2025 23:54 2s
Add new APIs for generating SGIs Proofs #4843: Pull request #1222 synchronize by lsf37
March 9, 2025 23:29 2s
March 9, 2025 23:29 2s
statedata: only define tlbLockCount for cortex-a8 Proofs #4842: Pull request #1382 synchronize by midnightveil
March 7, 2025 01:29 2s
March 7, 2025 01:29 2s
Add new APIs for generating SGIs Proofs #4841: Pull request #1222 synchronize by lsf37
March 6, 2025 06:01 1s
March 6, 2025 06:01 1s
Add new APIs for generating SGIs Proofs #4840: Pull request #1222 synchronize by lsf37
March 6, 2025 05:54 3s
March 6, 2025 05:54 3s
mcs: rephrase setNextInterrupt to ease verification Proofs #4839: Pull request #1418 synchronize by michaelmcinerney
March 5, 2025 23:56 2s
March 5, 2025 23:56 2s
smp: Address MCS timekeeping issues in ipiStallCoreCallback Proofs #4838: Pull request #867 synchronize by kent-mcleod
March 5, 2025 11:14 2s
March 5, 2025 11:14 2s
rpi4,elfloader: select firmware node for smp boot Proofs #4837: Pull request #1420 synchronize by kent-mcleod
March 5, 2025 09:16 2s
March 5, 2025 09:16 2s
rpi4,elfloader: select firmware node for smp boot Proofs #4836: Pull request #1420 synchronize by kent-mcleod
March 5, 2025 09:15 2s
March 5, 2025 09:15 2s
boot: Check that predicted page tables were used Proofs #4835: Pull request #914 synchronize by kent-mcleod
March 5, 2025 07:27 2s
March 5, 2025 07:27 2s
Fixes #1334: install target fails arm_hyp configs Proofs #4834: Pull request #1338 synchronize by kent-mcleod
March 5, 2025 06:35 3s
March 5, 2025 06:35 3s
Fixes #1334: install target fails arm_hyp configs Proofs #4833: Pull request #1338 synchronize by kent-mcleod
March 5, 2025 03:18 1s
March 5, 2025 03:18 1s
boot: Check that predicted page tables were used Proofs #4832: Pull request #914 synchronize by kent-mcleod
March 5, 2025 01:43 1s
March 5, 2025 01:43 1s
boot: Check that predicted page tables were used Proofs #4831: Pull request #914 synchronize by kent-mcleod
March 5, 2025 01:42 2s
March 5, 2025 01:42 2s
[RFC-15] Add experimental CHERI support (hybrid kernel) Proofs #4830: Pull request #1344 labeled by lsf37
March 4, 2025 23:43 4h 18m 41s
March 4, 2025 23:43 4h 18m 41s
mcs: rephrase setNextInterrupt to ease verification Proofs #4829: Pull request #1418 labeled by lsf37
March 4, 2025 22:24 2s
March 4, 2025 22:24 2s
mcs: rephrase setNextInterrupt to ease verification Proofs #4828: Pull request #1418 labeled by michaelmcinerney
March 4, 2025 12:04 3s
March 4, 2025 12:04 3s
gicv3: Use split EOI mode Proofs #4827: Pull request #1183 labeled by lsf37
March 3, 2025 22:42 2s
March 3, 2025 22:42 2s
gicv3: Use split EOI mode Proofs #4826: Pull request #1183 synchronize by lsf37
March 3, 2025 22:41 1s
March 3, 2025 22:41 1s
gicv3: Use split EOI mode Proofs #4825: Pull request #1183 synchronize by lsf37
March 3, 2025 22:08 2h 12m 20s
March 3, 2025 22:08 2h 12m 20s
Fixes #1334: install target fails arm_hyp configs Proofs #4824: Pull request #1338 synchronize by lsf37
March 3, 2025 03:39 1s
March 3, 2025 03:39 1s
RISC-V: reserve memory for SBI in device tree Proofs #4823: Pull request #759 synchronize by lsf37
March 3, 2025 00:47 3s
March 3, 2025 00:47 3s
0