Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
553 workflow runs
553 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

verification for deferred cache flush in untyped reset PR #2741: Pull request #811 synchronize by lsf37
October 23, 2024 00:43 51s ut-reset-caching
ut-reset-caching
October 23, 2024 00:43 51s
verification for deferred cache flush in untyped reset PR #2740: Pull request #811 synchronize by lsf37
October 21, 2024 23:01 48s ut-reset-caching
ut-reset-caching
October 21, 2024 23:01 48s
AutoCorres 1.11 + CParser 1.21 release PR #2739: Pull request #823 opened by lsf37
October 10, 2024 22:43 52s autocorres-release
autocorres-release
October 10, 2024 22:43 52s
Small IPC lemmas PR #2738: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 57s michaelm-small_ipc_lemmas
michaelm-small_ipc_lemmas
October 8, 2024 05:08 57s
refill_budget_check_ccorres PR #2737: Pull request #821 opened by michaelmcinerney
October 2, 2024 05:26 1m 13s michaelm-rbc_ccorres
michaelm-rbc_ccorres
October 2, 2024 05:26 1m 13s
make ARM+ARM_HYP proofs work for smaller irq_len PR #2736: Pull request #820 opened by lsf37
September 28, 2024 07:30 46s irq-fixes
irq-fixes
September 28, 2024 07:30 46s
Update specs to use semi-lazy FPU switching PR #2735: Pull request #819 synchronize by corlewis
September 27, 2024 11:39 53s fpu_context_switching
fpu_context_switching
September 27, 2024 11:39 53s
Update specs to use semi-lazy FPU switching PR #2734: Pull request #819 synchronize by corlewis
September 27, 2024 10:41 1m 1s fpu_context_switching
fpu_context_switching
September 27, 2024 10:41 1m 1s
Update specs to use semi-lazy FPU switching PR #2733: Pull request #819 synchronize by corlewis
September 27, 2024 01:02 1m 2s fpu_context_switching
fpu_context_switching
September 27, 2024 01:02 1m 2s
Update specs to use semi-lazy FPU switching PR #2732: Pull request #819 synchronize by corlewis
September 26, 2024 04:51 49s fpu_context_switching
fpu_context_switching
September 26, 2024 04:51 49s
Update specs to use semi-lazy FPU switching PR #2731: Pull request #819 synchronize by corlewis
September 26, 2024 04:48 56s fpu_context_switching
fpu_context_switching
September 26, 2024 04:48 56s
Update specs to use semi-lazy FPU switching PR #2730: Pull request #819 synchronize by corlewis
September 26, 2024 03:27 49s fpu_context_switching
fpu_context_switching
September 26, 2024 03:27 49s
Update specs to use semi-lazy FPU switching PR #2729: Pull request #819 synchronize by corlewis
September 26, 2024 03:06 48s fpu_context_switching
fpu_context_switching
September 26, 2024 03:06 48s
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS PR #2728: Pull request #815 synchronize by lsf37
September 25, 2024 08:11 1m 1s wfi-wfe-traps
wfi-wfe-traps
September 25, 2024 08:11 1m 1s
make proofs generic in cacheLineBits PR #2727: Pull request #814 synchronize by lsf37
September 24, 2024 16:29 58s cacheLineBits
cacheLineBits
September 24, 2024 16:29 58s
Update specs to use semi-lazy FPU switching PR #2726: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 44s fpu_context_switching
fpu_context_switching
September 24, 2024 06:31 44s
Update specs to use semi-lazy FPU switching PR #2725: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 1m 3s fpu_context_switching
fpu_context_switching
September 24, 2024 05:42 1m 3s
Update specs to use semi-lazy FPU switching PR #2724: Pull request #819 opened by corlewis
September 24, 2024 05:37 46s fpu_context_switching
fpu_context_switching
September 24, 2024 05:37 46s
Prove cancelBadgedSends_ccorres PR #2723: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 49s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 13, 2024 11:56 49s
Update decodeSetSchedParams PR #2722: Pull request #818 opened by michaelmcinerney
September 12, 2024 03:05 54s michaelm-decodeSetSchedParams
michaelm-decodeSetSchedParams
September 12, 2024 03:05 54s
Prove cancelBadgedSends_ccorres PR #2721: Pull request #816 synchronize by michaelmcinerney
September 11, 2024 13:57 52s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 11, 2024 13:57 52s
Prove cancelBadgedSends_ccorres PR #2720: Pull request #816 synchronize by michaelmcinerney
September 10, 2024 03:01 52s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 10, 2024 03:01 52s
Lemmas for simplifying masking and thread states PR #2719: Pull request #817 synchronize by michaelmcinerney
September 10, 2024 02:56 53s michaelm-mask_thread_state
michaelm-mask_thread_state
September 10, 2024 02:56 53s
Lemmas for simplifying masking and thread states PR #2718: Pull request #817 opened by michaelmcinerney
September 9, 2024 04:16 56s michaelm-mask_thread_state
michaelm-mask_thread_state
September 9, 2024 04:16 56s
Prove cancelBadgedSends_ccorres PR #2717: Pull request #816 synchronize by michaelmcinerney
September 4, 2024 13:02 57s michaelm-cancelBadgedSends_ccorres
michaelm-cancelBadgedSends_ccorres
September 4, 2024 13:02 57s