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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

riscv: document our choice of -mcmodel=medany & Proofs #4872: Pull request #1431 synchronize by midnightveil
March 24, 2025 03:43 3s
March 24, 2025 03:43 3s
utils: wrap config_set for verification Proofs #4871: Pull request #1430 labeled by lsf37
March 23, 2025 23:48 4s
March 23, 2025 23:48 4s
mcs: some small changes to ease verification Proofs #4870: Pull request #1429 synchronize by michaelmcinerney
March 20, 2025 06:24 2s
March 20, 2025 06:24 2s
mcs: some small changes to ease verification Proofs #4869: Pull request #1429 labeled by michaelmcinerney
March 20, 2025 01:02 2s
March 20, 2025 01:02 2s
mcs: rephrase invokeSchedControl_ConfigureFlags Proofs #4868: Pull request #1423 synchronize by lsf37
March 19, 2025 06:20 3s
March 19, 2025 06:20 3s
riscv: restructure map_kernel_window for clarity Proofs #4867: Pull request #1412 synchronize by midnightveil
March 19, 2025 03:40 2s
March 19, 2025 03:40 2s
riscv: restructure map_kernel_window for clarity Proofs #4866: Pull request #1412 synchronize by midnightveil
March 19, 2025 03:25 2s
March 19, 2025 03:25 2s
mcs: rephrase invokeSchedControl_ConfigureFlags Proofs #4865: Pull request #1423 synchronize by lsf37
March 17, 2025 23:53 3s
March 17, 2025 23:53 3s
aarch32/vcpu: save and restore CNTKCTL Proofs #4864: Pull request #1425 synchronize by ryybrr
March 17, 2025 06:54 2s
March 17, 2025 06:54 2s
aarch32/vcpu: save and restore CNTKCTL Proofs #4863: Pull request #1425 synchronize by ryybrr
March 17, 2025 02:25 2s
March 17, 2025 02:25 2s
aarch32/vcpu: save and restore CNTKCTL Proofs #4862: Pull request #1425 synchronize by ryybrr
March 17, 2025 02:05 2s
March 17, 2025 02:05 2s
aarch32/vcpu: save and restore CNTKCTL Proofs #4861: Pull request #1425 synchronize by lsf37
March 13, 2025 08:02 3s
March 13, 2025 08:02 3s
tools: fix kernel physBase alignment on AArch64 Proofs #4860: Pull request #1426 labeled by kent-mcleod
March 13, 2025 04:09 3s
March 13, 2025 04:09 3s
tools: fix kernel physBase alignment on AArch64 Proofs #4859: Pull request #1426 labeled by kent-mcleod
March 13, 2025 04:09 3s
March 13, 2025 04:09 3s
tools: fix kernel physBase alignment on AArch64 Proofs #4858: Pull request #1426 synchronize by Ivan-Velickovic
March 13, 2025 03:09 3s
March 13, 2025 03:09 3s
tools: fix kernel physBase alignment on AArch64 Proofs #4857: Pull request #1426 synchronize by Ivan-Velickovic
March 13, 2025 02:57 3s
March 13, 2025 02:57 3s
Add new APIs for generating SGIs Proofs #4856: Pull request #1222 synchronize by lsf37
March 12, 2025 22:43 3s
March 12, 2025 22:43 3s
arm: avoid saving seL4_VCPUReg_CPACR to a disabled VCPU Proofs #4855: Pull request #1404 synchronize by ryybrr
March 12, 2025 07:36 2s
March 12, 2025 07:36 2s
arm: avoid saving seL4_VCPUReg_CPACR to a disabled VCPU Proofs #4854: Pull request #1404 synchronize by ryybrr
March 12, 2025 04:59 2s
March 12, 2025 04:59 2s
arm: avoid saving seL4_VCPUReg_CPACR to a disabled VCPU Proofs #4853: Pull request #1404 synchronize by ryybrr
March 12, 2025 04:49 1s
March 12, 2025 04:49 1s
arm: avoid saving seL4_VCPUReg_CPACR to a disabled VCPU 9800 Proofs #4852: Pull request #1404 synchronize by ryybrr
March 12, 2025 04:41 2s
March 12, 2025 04:41 2s
arm: avoid saving seL4_VCPUReg_CPACR to a disabled VCPU Proofs #4851: Pull request #1404 synchronize by ryybrr
March 12, 2025 03:50 2s
March 12, 2025 03:50 2s
statedata: only define tlbLockCount for cortex-a8 Proofs #4850: Pull request #1382 synchronize by lsf37
March 12, 2025 02:24 2s
March 12, 2025 02:24 2s
Add support for SiFive Premier P550 platform Proofs #4849: Pull request #1397 synchronize by Ivan-Velickovic
March 11, 2025 11:26 3s
March 11, 2025 11:26 3s
Add support for SiFive Premier P550 platform Proofs #4848: Pull request #1397 synchronize by Ivan-Velickovic
March 11, 2025 10:28 2s
March 11, 2025 10:28 2s
0