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

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
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3091: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 51s
December 9, 2024 07:53 51s
Prove cancelIPC_ccorres1 Proof PR #3090: Pull request #831 synchronize by nspin
December 9, 2024 07:46 2h 9m 35s
December 9, 2024 07:46 2h 9m 35s
Style guide: _tac instantiations and attributes Proof PR #3089: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 16m 0s
December 9, 2024 04:41 16m 0s
Style guide: _tac instantiations and attributes Proof PR #3088: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 29s
December 9, 2024 04:15 29s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3087: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 1m 26s
December 9, 2024 03:35 1m 26s
github: fix concurrency group syntax Proof PR #3086: Pull request #835 opened by lsf37
December 6, 2024 05:16 26s
December 6, 2024 05:16 26s
Style guide: _tac instantiations and attributes Proof PR #3085: Pull request #834 synchronize by Xaphiosis
December 6, 2024 05:06 28s
December 6, 2024 05:06 28s
Style guide: _tac instantiations and attributes Proof PR #3084: Pull request #834 opened by Xaphiosis
December 6, 2024 03:44 3m 16s
December 6, 2024 03:44 3m 16s
Prove cancelIPC_ccorres1 Proof PR #3083: Pull request #831 synchronize by nspin
December 5, 2024 23:55 1h 5m 3s
December 5, 2024 23:55 1h 5m 3s
Prove cancelIPC_ccorres1 Proof PR #3082: Pull request #831 synchronize by nspin
December 5, 2024 23:54 54m 43s
December 5, 2024 23:54 54m 43s
Prove cancelIPC_ccorres1 Proof PR #3081: Pull request #831 synchronize by nspin
December 5, 2024 20:36 1h 26m 45s
December 5, 2024 20:36 1h 26m 45s
Prove cancelIPC_ccorres1 Proof PR #3080: Pull request #831 synchronize by nspin
December 5, 2024 19:07 2h 16m 41s
December 5, 2024 19:07 2h 16m 41s
Prove cancelIPC_ccorres1 Proof PR #3079: Pull request #831 synchronize by nspin
December 5, 2024 18:28 1h 39m 23s
December 5, 2024 18:28 1h 39m 23s
Prove cancelIPC_ccorres1 Proof PR #3078: Pull request #831 synchronize by nspin
December 5, 2024 18:26 22m 33s
December 5, 2024 18:26 22m 33s
arch-split Refine up to Invariants_H for AARCH64 (Draft) Proof PR #3077: Pull request #833 opened by Xaphiosis
December 4, 2024 07:27 30s
December 4, 2024 07:27 30s
Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 Proof PR #3076: Pull request #829 synchronize by Xaphiosis
December 4, 2024 04:52 26m 5s
December 4, 2024 04:52 26m 5s