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

remove valid_arch_mdb_ctes Proof PR #3175: Pull request #849 synchronize by lsf37
February 18, 2025 21:21 2h 14m 17s
February 18, 2025 21:21 2h 14m 17s
remove valid_arch_mdb_ctes Proof PR #3174: Pull request #849 synchronize by lsf37
February 18, 2025 21:19 1m 52s
February 18, 2025 21:19 1m 52s
Update ARM and AARCH64 AInvs for explicit FPU changes Proof PR #3173: Pull request #850 synchronize by corlewis
February 17, 2025 07:58 47m 29s
February 17, 2025 07:58 47m 29s
Update ARM and AARCH64 AInvs for explicit FPU changes Proof PR #3172: Pull request #850 synchronize by corlewis
February 17, 2025 06:34 1h 12m 38s
February 17, 2025 06:34 1h 12m 38s
Refactor arch_thread_get/set lemmas Proof PR #3171: Pull request #852 synchronize by corlewis
February 17, 2025 01:45 16m 54s
February 17, 2025 01:45 16m 54s
arch-split Refine up to InvariantUpdates_H Proof PR #3170: Pull request #853 synchronize by Xaphiosis
February 16, 2025 22:09 2h 14m 50s
February 16, 2025 22:09 2h 14m 50s
arch-split Refine up to InvariantUpdates_H Proof PR #3169: Pull request #853 synchronize by Xaphiosis
February 16, 2025 22:02 6m 52s
February 16, 2025 22:02 6m 52s
arch-split Refine up to InvariantUpdates_H Proof PR #3168: Pull request #853 synchronize by Xaphiosis
February 16, 2025 21:59 3m 9s
February 16, 2025 21:59 3m 9s
arch-split Refine up to InvariantUpdates_H Proof PR #3167: Pull request #853 synchronize by Xaphiosis
February 16, 2025 21:54 5m 13s
February 16, 2025 21:54 5m 13s
arch-split Refine up to InvariantUpdates_H Proof PR #3166: Pull request #853 opened by Xaphiosis
February 16, 2025 21:53 1m 43s
February 16, 2025 21:53 1m 43s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Proof PR #3165: Pull request #847 synchronize by Xaphiosis
February 16, 2025 21:37 2h 17m 37s
February 16, 2025 21:37 2h 17m 37s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Proof PR #3164: Pull request #847 synchronize by Xaphiosis
February 16, 2025 21:21 15m 50s
February 16, 2025 21:21 15m 50s
Refactor arch_thread_get/set lemmas Proof PR #3163: Pull request #852 synchronize by corlewis
February 14, 2025 11:50 2h 7m 36s
February 14, 2025 11:50 2h 7m 36s
Refactor arch_thread_get/set lemmas Proof PR #3162: Pull request #852 opened by corlewis
February 14, 2025 07:25 2h 9m 49s
February 14, 2025 07:25 2h 9m 49s
refill_budget_check_ccorres Proof PR #3161: Pull request #821 synchronize by michaelmcinerney
February 13, 2025 00:22 2h 38m 2s
February 13, 2025 00:22 2h 38m 2s
Improve reasoning for linked lists Proof PR #3160: Pull request #848 synchronize by michaelmcinerney
February 13, 2025 00:04 11m 36s
February 13, 2025 00:04 11m 36s
Improve reasoning for linked lists Proof PR #3159: Pull request #848 synchronize by michaelmcinerney
February 12, 2025 00:39 2h 35m 19s
February 12, 2025 00:39 2h 35m 19s
Improve reasoning for linked lists Proof PR #3158: Pull request #848 synchronize by michaelmcinerney
February 12, 2025 00:24 2h 38m 24s
February 12, 2025 00:24 2h 38m 24s
lib: add heap_path_not_Nil to Heap_List Proof PR #3157: Pull request #851 opened by michaelmcinerney
February 11, 2025 06:16 1h 57m 12s
February 11, 2025 06:16 1h 57m 12s
Prove cancelIPC_ccorres1 Proof PR #3156: Pull request #831 synchronize by lsf37
February 10, 2025 21:48 2h 35m 2s
February 10, 2025 21:48 2h 35m 2s
Lemmas for simplifying masking and thread states Proof PR #3155: Pull request #817 synchronize by michaelmcinerney
February 10, 2025 09:54 2h 45m 0s
February 10, 2025 09:54 2h 45m 0s
Update ARM and AARCH64 AInvs for explicit FPU changes Proof PR #3154: Pull request #850 opened by corlewis
February 10, 2025 06:09 1h 41m 20s
February 10, 2025 06:09 1h 41m 20s
Update ARM Access for det_ext changes Proof PR #3153: Pull request #840 synchronize by corlewis
February 10, 2025 03:00 3h 32m 39s
February 10, 2025 03:00 3h 32m 39s
Update ARM Access for det_ext changes Proof PR #3152: Pull request #840 synchronize by corlewis
February 10, 2025 03:00 26s
February 10, 2025 03:00 26s
Update ARM Access for det_ext changes Proof PR #3151: Pull request #840 synchronize by corlewis
February 4, 2025 02:54 3h 32m 35s
February 4, 2025 02:54 3h 32m 35s