Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
563 workflow runs
563 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Update specs to use semi-lazy FPU switching Proof PR #3125: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 36m 22s
December 18, 2024 23:46 36m 22s
Update specs to use semi-lazy FPU switching Proof PR #3124: Pull request #819 synchronize by corlewis
December 18, 2024 08:00 1h 14m 25s
December 18, 2024 08:00 1h 14m 25s
Update specs to use semi-lazy FPU switching Proof PR #3123: Pull request #819 synchronize by corlewis
December 18, 2024 07:41 19m 17s
December 18, 2024 07:41 19m 17s
arch-split Refine up to Invariants_H for X64 Proof PR #3122: Pull request #842 opened by Xaphiosis
December 18, 2024 04:13 2h 4m 52s
December 18, 2024 04:13 2h 4m 52s
Update specs to use semi-lazy FPU switching Proof PR #3121: Pull request #819 synchronize by corlewis
December 17, 2024 23:51 52m 7s
December 17, 2024 23:51 52m 7s
AArch64 Access Control: initial setup Proof PR #3120: Pull request #837 synchronize by ryybrr
December 13, 2024 03:12 18m 33s
December 13, 2024 03:12 18m 33s
AArch64 Access Control: initial setup Proof PR #3119: Pull request #837 synchronize by ryybrr
December 13, 2024 00:56 2h 9m 43s
December 13, 2024 00:56 2h 9m 43s
Add sorted_ipc_queues invariant Proof PR #3118: Pull request #836 synchronize by michaelmcinerney
December 13, 2024 00:20 2h 51m 13s
December 13, 2024 00:20 2h 51m 13s
Add sorted_ipc_queues invariant Proof PR #3117: Pull request #836 synchronize by michaelmcinerney
December 12, 2024 07:30 2h 47m 11s
December 12, 2024 07:30 2h 47m 11s