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

Update ARM Access for det_ext changes Lint #215: Pull request #840 synchronize by corlewis
February 4, 2025 02:16 45s
February 4, 2025 02:16 45s
remove valid_arch_mdb_ctes Lint #214: Pull request #849 opened by lsf37
January 31, 2025 02:19 49s
January 31, 2025 02:19 49s
Improve reasoning for linked lists Lint #213: Pull request #848 opened by michaelmcinerney
January 29, 2025 08:29 48s
January 29, 2025 08:29 48s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Lint #212: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:16 49s
January 10, 2025 09:16 49s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Lint #211: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:11 1m 18s
January 10, 2025 09:11 1m 18s
arch-split Refine up to Invariants_H for ARM+ARM_HYP+X64+RISCV64 Lint #210: Pull request #847 opened by Xaphiosis
January 8, 2025 08:59 55s
January 8, 2025 08:59 55s
arch-split Refine up to Invariants_H for X64 Lint #209: Pull request #842 synchronize by Xaphiosis
January 6, 2025 04:26 51s
January 6, 2025 04:26 51s
Add GIC v3 support for AArch64 platforms Lint #208: Pull request #846 synchronize by lsf37
January 5, 2025 22:01 44s
January 5, 2025 22:01 44s
Add GIC v3 support for AArch64 platforms Lint #207: Pull request #846 opened by lsf37
January 5, 2025 21:52 42s
January 5, 2025 21:52 42s
Add sorted_ipc_queues invariant Lint #206: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 44s
December 20, 2024 06:31 44s
Add sorted_ipc_queues invariant Lint #205: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 43s
December 20, 2024 05:18 43s
Some changes for Lib, December '24 edition Lint #204: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 45s
December 20, 2024 02:11 45s
Some changes for Lib, December '24 edition Lint #203: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 48s
December 19, 2024 23:54 48s
Some changes for Lib, December '24 edition Lint #202: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:31 44s
December 19, 2024 23:31 44s
Update ARM Access for det_ext changes Lint #201: Pull request #840 synchronize by corlewis
December 19, 2024 23:31 40s
December 19, 2024 23:31 40s
Lemmas for simplifying masking and thread states Lint #200: Pull request #817 synchronize by michaelmcinerney
December 19, 2024 23:28 45s
December 19, 2024 23:28 45s
Update ARM AInvs for det_ext changes Lint #199: Pull request #844 synchronize by corlewis
December 19, 2024 23:25 46s
December 19, 2024 23:25 46s
Some changes for Lib, December '24 edition Lint #198: Pull request #845 opened by michaelmcinerney
December 19, 2024 07:05 52s
December 19, 2024 07:05 52s
Add sorted_ipc_queues invariant Lint #197: Pull request #836 synchronize by michaelmcinerney
December 19, 2024 06:29 42s
December 19, 2024 06:29 42s
Update ARM AInvs for det_ext changes Lint #196: Pull request #844 opened by corlewis
December 19, 2024 04:17 40s
December 19, 2024 04:17 40s
Update ARM Access for det_ext changes Lint #195: Pull request #840 synchronize by corlewis
December 19, 2024 03:16 46s
December 19, 2024 03:16 46s
Update explicit FPU specifications for det_ext changes Lint #194: Pull request #843 opened by corlewis
December 19, 2024 01:07 1m 28s
December 19, 2024 01:07 1m 28s
Lemmas for simplifying masking and thread states Lint #193: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 8m 47s
December 19, 2024 00:46 8m 47s
make ARM+ARM_HYP proofs work for smaller irq_len Lint #192: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 3m 36s
December 19, 2024 00:43 3m 36s
Update specs to use semi-lazy FPU switching Lint #191: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 40s
December 19, 2024 00:22 40s