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 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
Update ARM Access for det_ext changes Proof PR #3116: Pull request #840 opened by corlewis
December 12, 2024 05:46 3h 28m 49s
December 12, 2024 05:46 3h 28m 49s
Refactor det_ext to remove scheduler state Proof PR #3115: Pull request #824 synchronize by corlewis
December 12, 2024 04:38 21m 41s
December 12, 2024 04:38 21m 41s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3114: Pull request #833 synchronize by Xaphiosis
December 12, 2024 04:21 43s
December 12, 2024 04:21 43s
AArch64 Access Control: initial setup Proof PR #3113: Pull request #837 synchronize by ryybrr
December 12, 2024 03:23 6h 0m 13s
December 12, 2024 03:23 6h 0m 13s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3112: Pull request #833 synchronize by Xaphiosis
December 12, 2024 03:18 30s
December 12, 2024 03:18 30s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3111: Pull request #833 synchronize by Xaphiosis
December 12, 2024 02:53 30s
December 12, 2024 02:53 30s
AArch64 Access Control: initial setup Proof PR #3110: Pull request #837 synchronize by ryybrr
December 12, 2024 01:54 1h 29m 24s
December 12, 2024 01:54 1h 29m 24s
AArch64 Access Control: initial setup Proof PR #3109: Pull request #837 opened by ryybrr
December 11, 2024 07:38 1h 29m 21s
December 11, 2024 07:38 1h 29m 21s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3108: Pull request #833 synchronize by Xaphiosis
December 11, 2024 06:36 49s
December 11, 2024 06:36 49s
Refactor det_ext to remove scheduler state Proof PR #3107: Pull request #824 synchronize by corlewis
December 11, 2024 06:05 2h 15m 46s
December 11, 2024 06:05 2h 15m 46s
Refactor det_ext to remove scheduler state Proof PR #3106: Pull request #824 synchronize by corlewis
December 11, 2024 06:01 4m 36s
December 11, 2024 06:01 4m 36s
Refactor det_ext to remove scheduler state Proof PR #3105: Pull request #824 synchronize by corlewis
December 11, 2024 05:44 17m 15s
December 11, 2024 05:44 17m 15s
Refactor det_ext to remove scheduler state Proof PR #3104: Pull request #824 synchronize by corlewis
December 11, 2024 05:25 19m 8s
December 11, 2024 05:25 19m 8s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3103: Pull request #833 synchronize by Xaphiosis
December 11, 2024 04:24 1m 10s
December 11, 2024 04:24 1m 10s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3102: Pull request #833 synchronize by Xaphiosis
December 11, 2024 04:22 33s
December 11, 2024 04:22 33s
Add sorted_ipc_queues invariant Proof PR #3101: Pull request #836 synchronize by michaelmcinerney
December 10, 2024 23:58 2h 23m 9s
December 10, 2024 23:58 2h 23m 9s