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

Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 Proof PR #3066: Pull request #829 synchronize by Xaphiosis
November 27, 2024 22:05 28s
November 27, 2024 22:05 28s
Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 Proof PR #3065: Pull request #829 synchronize by Xaphiosis
November 27, 2024 21:43 15m 26s
November 27, 2024 21:43 15m 26s
Remove valid_ioports' from X64 Refine Proof PR #3064: Pull request #830 opened by Xaphiosis
November 27, 2024 14:00 2h 8m 22s
November 27, 2024 14:00 2h 8m 22s
Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 Proof PR #3063: Pull request #829 synchronize by Xaphiosis
November 21, 2024 19:14 2h 18m 8s
November 21, 2024 19:14 2h 18m 8s
Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 Proof PR #3062: Pull request #829 opened by Xaphiosis
November 21, 2024 19:06 5m 35s
November 21, 2024 19:06 5m 35s
Refactor det_ext to remove scheduler state Proof PR #3061: Pull request #824 synchronize by corlewis
November 21, 2024 05:25 2h 27m 32s
November 21, 2024 05:25 2h 27m 32s
Merge master into rt Proof PR #3060: Pull request #828 opened by corlewis
November 20, 2024 01:50 2h 48m 43s
November 20, 2024 01:50 2h 48m 43s
Refactor det_ext to remove scheduler state Proof PR #3059: Pull request #824 synchronize by corlewis
November 14, 2024 10:24 18m 31s
November 14, 2024 10:24 18m 31s
Discard ARM Refine proofs on rt branch Proof PR #3058: Pull request #826 synchronize by corlewis
November 14, 2024 10:21 36m 27s
November 14, 2024 10:21 36m 27s
Discard ARM Refine proofs on rt branch Proof PR #3057: Pull request #826 opened by corlewis
November 14, 2024 07:59 2h 40m 11s
November 14, 2024 07:59 2h 40m 11s
Refactor det_ext to remove scheduler state Proof PR #3056: Pull request #824 synchronize by corlewis
November 13, 2024 10:34 43m 53s
November 13, 2024 10:34 43m 53s
Refactor det_ext to remove scheduler state Proof PR #3055: Pull request #824 synchronize by corlewis
November 13, 2024 08:07 2h 21m 20s
November 13, 2024 08:07 2h 21m 20s
Refactor det_ext to remove scheduler state Proof PR #3054: Pull request #824 synchronize by corlewis
November 8, 2024 05:50 35m 55s
November 8, 2024 05:50 35m 55s
Refactor det_ext to remove scheduler state Proof PR #3053: Pull request #824 synchronize by corlewis
November 8, 2024 05:08 34m 41s
November 8, 2024 05:08 34m 41s
Refactor det_ext to remove scheduler state Proof PR #3052: Pull request #824 synchronize by corlewis
November 8, 2024 04:59 9m 1s
November 8, 2024 04:59 9m 1s
Refactor det_ext to remove scheduler state Proof PR #3051: Pull request #824 synchronize by corlewis
November 8, 2024 04:55 4m 33s
November 8, 2024 04:55 4m 33s
Refactor det_ext to remove scheduler state Proof PR #3050: Pull request #824 synchronize by corlewis
November 8, 2024 04:35 21m 10s
November 8, 2024 04:35 21m 10s
x64 crefine: proof update after change to C Proof PR #3049: Pull request #825 opened by nspin
November 6, 2024 10:07 2h 19m 55s
November 6, 2024 10:07 2h 19m 55s
Refactor det_ext to remove scheduler state Proof PR #3048: Pull request #824 opened by corlewis
October 28, 2024 07:12 20m 4s
October 28, 2024 07:12 20m 4s
verification for deferred cache flush in untyped reset Proof PR #3047: Pull request #811 synchronize by lsf37
October 24, 2024 03:01 19m 23s
October 24, 2024 03:01 19m 23s
verification for deferred cache flush in untyped reset Proof PR #3046: Pull request #811 synchronize by lsf37
October 23, 2024 23:24 1h 14m 12s
October 23, 2024 23:24 1h 14m 12s
verification for deferred cache flush in untyped reset Proof PR #3045: Pull request #811 synchronize by lsf37
October 23, 2024 07:05 2h 48m 59s
October 23, 2024 07:05 2h 48m 59s
verification for deferred cache flush in untyped reset Proof PR #3044: Pull request #811 synchronize by lsf37
October 23, 2024 00:43 2h 50m 53s
October 23, 2024 00:43 2h 50m 53s
verification for deferred cache flush in untyped reset Proof PR #3043: Pull request #811 synchronize by lsf37
October 21, 2024 23:01 3h 29m 49s
October 21, 2024 23:01 3h 29m 49s
AutoCorres 1.11 + CParser 1.21 release Proof PR #3042: Pull request #823 opened by lsf37
October 10, 2024 22:43 17m 3s
October 10, 2024 22:43 17m 3s