Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
568 workflow runs
568 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Add sorted_ipc_queues invariant Proof PR #3100: Pull request #836 synchronize by michaelmcinerney
December 10, 2024 23:02 50m 29s
December 10, 2024 23:02 50m 29s
Add sorted_ipc_queues invariant Proof PR #3099: Pull request #836 synchronize by michaelmcinerney
December 10, 2024 10:41 2h 54m 4s
December 10, 2024 10:41 2h 54m 4s
Add sorted_ipc_queues invariant Proof PR #3098: Pull request #836 opened by michaelmcinerney
December 10, 2024 10:20 24m 39s
December 10, 2024 10:20 24m 39s
Prove cancelIPC_ccorres1 Proof PR #3097: Pull request #831 synchronize by nspin
December 10, 2024 00:58 2h 55m 43s
December 10, 2024 00:58 2h 55m 43s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3096: Pull request #833 synchronize by Xaphiosis
December 9, 2024 12:32 46s
December 9, 2024 12:32 46s
Prove cancelIPC_ccorres1 Proof PR #3095: Pull request #831 synchronize by nspin
December 9, 2024 08:53 2h 24m 26s
December 9, 2024 08:53 2h 24m 26s
Style guide: _tac instantiations and attributes Proof PR #3094: Pull request #834 synchronize by Xaphiosis
December 9, 2024 08:07 28s
December 9, 2024 08:07 28s
Style guide: _tac instantiations and attributes Proof PR #3093: Pull request #834 synchronize by Xaphiosis
December 9, 2024 08:05 1m 25s
December 9, 2024 08:05 1m 25s
Prove cancelIPC_ccorres1 Proof PR #3092: Pull request #831 synchronize by nspin
December 9, 2024 08:04 1h 7m 38s
December 9, 2024 08:04 1h 7m 38s