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

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
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
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS Proof PR #3031: Pull request #815 synchronize by lsf37
September 25, 2024 08:11 2h 58m 58s
September 25, 2024 08:11 2h 58m 58s
make proofs generic in cacheLineBits Proof PR #3030: Pull request #814 synchronize by lsf37
September 24, 2024 16:28 3h 7m 33s
September 24, 2024 16:28 3h 7m 33s
Update specs to use semi-lazy FPU switching Proof PR #3029: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 19m 29s
September 24, 2024 06:31 19m 29s
Update specs to use semi-lazy FPU switching Proof PR #3028: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 51m 57s
September 24, 2024 05:42 51m 57s
Update specs to use semi-lazy FPU switching Proof PR #3027: Pull request #819 opened by corlewis
September 24, 2024 05:37 41m 36s
September 24, 2024 05:37 41m 36s
Prove cancelBadgedSends_ccorres Proof PR #3026: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 2h 54m 12s
September 13, 2024 11:56 2h 54m 12s