Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
538 workflow runs
538 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update ARM Access for det_ext changes Proof PR #3150: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 38m 21s
February 4, 2025 02:16 38m 21s
remove valid_arch_mdb_ctes Proof PR #3149: Pull request #849 opened by lsf37
January 31, 2025 02:19 3h 5m 10s
January 31, 2025 02:19 3h 5m 10s
Improve reasoning for linked lists Proof PR #3148: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 2h 40m 29s
January 29, 2025 08:29 2h 40m 29s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Proof PR #3147: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:16 1h 57m 39s
January 10, 2025 09:16 1h 57m 39s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Proof PR #3146: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:11 5m 11s
January 10, 2025 09:11 5m 11s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Proof PR #3145: Pull request #847 opened by Xaphiosis
January 8, 2025 08:59 1h 50m 54s
January 8, 2025 08:59 1h 50m 54s
arch-split Refine up to Invariants_H for X64 Proof PR #3144: Pull request #842 synchronize by Xaphiosis
January 6, 2025 04:26 2h 55m 57s
January 6, 2025 04:26 2h 55m 57s
Add GIC v3 support for AArch64 platforms Proof PR #3143: Pull request #846 synchronize by lsf37
January 5, 2025 22:01 2h 54m 37s
January 5, 2025 22:01 2h 54m 37s
Add GIC v3 support for AArch64 platforms Proof PR #3142: Pull request #846 opened by lsf37
January 5, 2025 21:52 8m 20s
January 5, 2025 21:52 8m 20s
Add sorted_ipc_queues invariant Proof PR #3141: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 1h 18m 45s
December 20, 2024 06:31 1h 18m 45s
Add sorted_ipc_queues invariant Proof PR #3140: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 2h 20m 14s
December 20, 2024 05:18 2h 20m 14s
Some changes for Lib, December '24 edition Proof PR #3139: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 2h 50m 44s
December 20, 2024 02:11 2h 50m 44s
Some changes for Lib, December '24 edition Proof PR #3138: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 2h 13m 1s
December 19, 2024 23:54 2h 13m 1s
Some changes for Lib, December '24 edition Proof PR #3137: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:31 22m 27s
December 19, 2024 23:31 22m 27s
Update ARM Access for det_ext changes Proof PR #3136: Pull request #840 synchronize by corlewis
December 19, 2024 23:31 3h 33m 39s
December 19, 2024 23:31 3h 33m 39s
Lemmas for simplifying masking and thread states Proof PR #3135: Pull request #817 synchronize by michaelmcinerney
December 19, 2024 23:28 3h 2m 45s
December 19, 2024 23:28 3h 2m 45s
Update ARM AInvs for det_ext changes Proof PR #3134: Pull request #844 synchronize by corlewis
December 19, 2024 23:25 2h 33m 58s
December 19, 2024 23:25 2h 33m 58s
Some changes for Lib, December '24 edition Proof PR #3133: Pull request #845 opened by michaelmcinerney
December 19, 2024 07:05 2h 59m 26s
December 19, 2024 07:05 2h 59m 26s
Add sorted_ipc_queues invariant Proof PR #3132: Pull request #836 synchronize by michaelmcinerney
December 19, 2024 06:29 2h 23m 39s
December 19, 2024 06:29 2h 23m 39s
Update ARM AInvs for det_ext changes Proof PR #3131: Pull request #844 opened by corlewis
December 19, 2024 04:17 2h 12m 52s
December 19, 2024 04:17 2h 12m 52s
Update ARM Access for det_ext changes Proof PR #3130: Pull request #840 synchronize by corlewis
December 19, 2024 03:16 3h 29m 33s
December 19, 2024 03:16 3h 29m 33s
Update explicit FPU specifications for det_ext changes Proof PR #3129: Pull request #843 opened by corlewis
December 19, 2024 01:07 56m 13s
December 19, 2024 01:07 56m 13s
Lemmas for simplifying masking and thread states Proof PR #3128: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 2h 55m 37s
December 19, 2024 00:46 2h 55m 37s
make ARM+ARM_HYP proofs work for smaller irq_len Proof PR #3127: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 2h 33m 54s
December 19, 2024 00:43 2h 33m 54s
Update specs to use semi-lazy FPU switching Proof PR #3126: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 55m 34s
December 19, 2024 00:22 55m 34s