Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
557 workflow runs
557 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prove cancelBadgedSends_ccorres Proof PR #3019: Pull request #816 opened by michaelmcinerney
September 3, 2024 07:53 2h 12m 25s
September 3, 2024 07:53 2h 12m 25s
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS Proof PR #3018: Pull request #815 opened by lsf37
September 2, 2024 20:19 3h 16m 4s
September 2, 2024 20:19 3h 16m 4s
make proofs generic in cacheLineBits Proof PR #3017: Pull request #814 synchronize by lsf37
September 2, 2024 11:31 3h 4m 0s
September 2, 2024 11:31 3h 4m 0s
make proofs generic in cacheLineBits Proof PR #3016: Pull request #814 synchronize by lsf37
September 2, 2024 11:16 15m 8s
September 2, 2024 11:16 15m 8s
make proofs generic in cacheLineBits Proof PR #3015: Pull request #814 opened by lsf37
September 2, 2024 11:14 17m 32s
September 2, 2024 11:14 17m 32s
lib: Requalify: better document annotation Proof PR #3014: Pull request #813 synchronize by Xaphiosis
August 27, 2024 10:08 3h 5m 6s
August 27, 2024 10:08 3h 5m 6s
lib: Requalify: better document annotation Proof PR #3013: Pull request #813 opened by Xaphiosis
August 27, 2024 04:52 29m 8s
August 27, 2024 04:52 29m 8s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proof PR #3012: Pull request #812 synchronize by Xaphiosis
August 20, 2024 08:29 3h 0m 29s
August 20, 2024 08:29 3h 0m 29s
lib: Requalify: enable ctrl+click jumps for arch_requalify Proof PR #3011: Pull request #812 opened by Xaphiosis
August 20, 2024 03:10 2h 57m 41s
August 20, 2024 03:10 2h 57m 41s
Arch-split overhaul for design spec Proof PR #3010: Pull request #809 synchronize by Xaphiosis
August 19, 2024 02:13 17m 2s
August 19, 2024 02:13 17m 2s
Arch-split overhaul for design spec Proof PR #3009: Pull request #809 synchronize by Xaphiosis
August 19, 2024 02:09 5m 48s
August 19, 2024 02:09 5m 48s
Arch-split overhaul for design spec Proof PR #3008: Pull request #809 synchronize by Xaphiosis
August 18, 2024 22:25 2h 58m 25s
August 18, 2024 22:25 2h 58m 25s
verification for deferred cache flush in untyped reset Proof PR #3007: Pull request #811 synchronize by lsf37
August 17, 2024 12:19 2h 40m 54s
August 17, 2024 12:19 2h 40m 54s
verification for deferred cache flush in untyped reset Proof PR #3006: Pull request #811 synchronize by lsf37
August 16, 2024 08:05 3h 3m 57s
August 16, 2024 08:05 3h 3m 57s
verification for deferred cache flush in untyped reset Proof PR #3005: Pull request #811 synchronize by lsf37
August 16, 2024 08:01 5m 2s
August 16, 2024 08:01 5m 2s
verification for deferred cache flush in untyped reset Proof PR #3004: Pull request #811 opened by lsf37
August 16, 2024 08:00 39s
August 16, 2024 08:00 39s
MCS: Remove grant right from reply cap Proof PR #3003: Pull request #808 synchronize by corlewis
August 12, 2024 08:36 2h 14m 51s
August 12, 2024 08:36 2h 14m 51s
MCS: Remove grant right from reply cap Proof PR #3002: Pull request #808 synchronize by corlewis
August 9, 2024 04:26 2h 39m 43s
August 9, 2024 04:26 2h 39m 43s
Arch-split overhaul for design spec Proof PR #3001: Pull request #809 opened by Xaphiosis
August 8, 2024 18:42 2h 49m 15s
August 8, 2024 18:42 2h 49m 15s
Prove schedContext_donate_ccorres Proof PR #3000: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 13:57 13m 55s
August 8, 2024 13:57 13m 55s
Prove schedContext_donate_ccorres Proof PR #2999: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:40 2h 10m 47s
August 8, 2024 10:40 2h 10m 47s
Prove schedContext_donate_ccorres Proof PR #2998: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:35 1m 18s
August 8, 2024 10:35 1m 18s
Prove schedContext_donate_ccorres Proof PR #2997: Pull request #807 synchronize by michaelmcinerney
August 8, 2024 10:09 26m 8s
August 8, 2024 10:09 26m 8s
Overhaul arch-split in machine, ASpec and AInvs Proof PR #2996: Pull request #805 synchronize by Xaphiosis
August 8, 2024 05:36 2h 6m 9s
August 8, 2024 05:36 2h 6m 9s
Overhaul arch-split in machine, ASpec and AInvs Proof PR #2995: Pull request #805 synchronize by Xaphiosis
August 8, 2024 01:43 2h 36m 56s
August 8, 2024 01:43 2h 36m 56s