Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
523 workflow runs
523 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 2m 3s
November 6, 2024 10:07 2h 2m 3s
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
Small IPC lemmas Proof PR #3041: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 2h 58m 48s
October 8, 2024 05:08 2h 58m 48s
refill_budget_check_ccorres Proof PR #3040: Pull request #821 opened by michaelmcinerney
October 2, 2024 05:26 2h 48m 33s
October 2, 2024 05:26 2h 48m 33s
make ARM+ARM_HYP proofs work for smaller irq_len Proof PR #3039: Pull request #820 opened by lsf37
September 28, 2024 07:30 2h 37m 11s
September 28, 2024 07:30 2h 37m 11s
Update specs to use semi-lazy FPU switching Proof PR #3038: Pull request #819 synchronize by corlewis
September 27, 2024 11:39 26m 39s
September 27, 2024 11:39 26m 39s
Update specs to use semi-lazy FPU switching Proof PR #3037: Pull request #819 synchronize by corlewis
September 27, 2024 10:41 3m 24s
September 27, 2024 10:41 3m 24s
Update specs to use semi-lazy FPU switching Proof PR #3036: Pull request #819 synchronize by corlewis
September 27, 2024 01:02 19m 34s
September 27, 2024 01:02 19m 34s
Update specs to use semi-lazy FPU switching Proof PR #3035: Pull request #819 synchronize by corlewis
September 26, 2024 04:51 35m 12s
September 26, 2024 04:51 35m 12s
Update specs to use semi-lazy FPU switching Proof PR #3034: Pull request #819 synchronize by corlewis
September 26, 2024 04:48 21m 46s
September 26, 2024 04:48 21m 46s
Update specs to use semi-lazy FPU switching Proof PR #3033: Pull request #819 synchronize by corlewis
September 26, 2024 03:27 42m 5s
September 26, 2024 03:27 42m 5s
Update specs to use semi-lazy FPU switching Proof PR #3032: Pull request #819 synchronize by corlewis
September 26, 2024 03:06 44m 22s
September 26, 2024 03:06 44m 22s