Skip to content

Actions: seL4/l4v

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor det_ext to remove scheduler state Lint #115: Pull request #824 synchronize by corlewis
November 8, 2024 04:35 45s
November 8, 2024 04:35 45s
x64 crefine: proof update after change to C Lint #114: Pull request #825 opened by nspin
November 6, 2024 10:07 57s
November 6, 2024 10:07 57s
Refactor det_ext to remove scheduler state Lint #113: Pull request #824 opened by corlewis
October 28, 2024 07:12 44s
October 28, 2024 07:12 44s
verification for deferred cache flush in untyped reset Lint #112: Pull request #811 synchronize by lsf37
October 24, 2024 03:01 47s
October 24, 2024 03:01 47s
verification for deferred cache flush in untyped reset Lint #111: Pull request #811 synchronize by lsf37
October 23, 2024 23:24 47s
October 23, 2024 23:24 47s
verification for deferred cache flush in untyped reset Lint #110: Pull request #811 synchronize by lsf37
October 23, 2024 07:05 47s
October 23, 2024 07:05 47s
verification for deferred cache flush in untyped reset Lint #109: Pull request #811 synchronize by lsf37
October 23, 2024 00:43 46s
October 23, 2024 00:43 46s
verification for deferred cache flush in untyped reset Lint #108: Pull request #811 synchronize by lsf37
October 21, 2024 23:01 47s
October 21, 2024 23:01 47s
AutoCorres 1.11 + CParser 1.21 release Lint #107: Pull request #823 opened by lsf37
October 10, 2024 22:43 45s
October 10, 2024 22:43 45s
Small IPC lemmas Lint #106: Pull request #822 opened by michaelmcinerney
October 8, 2024 05:08 48s
October 8, 2024 05:08 48s
refill_budget_check_ccorres Lint #105: Pull request #821 opened by michaelmcinerney
October 2, 2024 05:26 47s
October 2, 2024 05:26 47s
make ARM+ARM_HYP proofs work for smaller irq_len Lint #104: Pull request #820 opened by lsf37
September 28, 2024 07:30 42s
September 28, 2024 07:30 42s
Update specs to use semi-lazy FPU switching Lint #103: Pull request #819 synchronize by corlewis
September 27, 2024 11:39 52s
September 27, 2024 11:39 52s
Update specs to use semi-lazy FPU switching Lint #102: Pull request #819 synchronize by corlewis
September 27, 2024 10:41 45s
September 27, 2024 10:41 45s
Update specs to use semi-lazy FPU switching Lint #101: Pull request #819 synchronize by corlewis
September 27, 2024 01:02 44s
September 27, 2024 01:02 44s
Update specs to use semi-lazy FPU switching Lint #100: Pull request #819 synchronize by corlewis
September 26, 2024 04:51 40s
September 26, 2024 04:51 40s
Update specs to use semi-lazy FPU switching Lint #99: Pull request #819 synchronize by corlewis
September 26, 2024 04:48 43s
September 26, 2024 04:48 43s
Update specs to use semi-lazy FPU switching Lint #98: Pull request #819 synchronize by corlewis
September 26, 2024 03:27 47s
September 26, 2024 03:27 47s
Update specs to use semi-lazy FPU switching Lint #97: Pull request #819 synchronize by corlewis
September 26, 2024 03:06 49s
September 26, 2024 03:06 49s
arm-hyp+aarch64 spec+proof: make generic in CONFIG_DISABLE_WFI_WFE_TRAPS Lint #96: Pull request #815 synchronize by lsf37
September 25, 2024 08:11 51s
September 25, 2024 08:11 51s
make proofs generic in cacheLineBits Lint #95: Pull request #814 synchronize by lsf37
September 24, 2024 16:29 47s
September 24, 2024 16:29 47s
Update specs to use semi-lazy FPU switching Lint #94: Pull request #819 synchronize by corlewis
September 24, 2024 06:31 46s
September 24, 2024 06:31 46s
Update specs to use semi-lazy FPU switching Lint #93: Pull request #819 synchronize by corlewis
September 24, 2024 05:42 40s
September 24, 2024 05:42 40s
Update specs to use semi-lazy FPU switching Lint #92: Pull request #819 opened by corlewis
September 24, 2024 05:37 46s
September 24, 2024 05:37 46s
Prove cancelBadgedSends_ccorres Lint #91: Pull request #816 synchronize by michaelmcinerney
September 13, 2024 11:56 49s
September 13, 2024 11:56 49s