Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
536 workflow runs
536 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

arch-split Refine up to Invariants_H for ARM+ARM_HYP PR #2844: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:16 51s arch-split_arm
arch-split_arm
January 10, 2025 09:16 51s
arch-split Refine up to Invariants_H for ARM+ARM_HYP PR #2843: Pull request #847 synchronize by Xaphiosis
January 10, 2025 09:11 1m 53s arch-split_arm
arch-split_arm
January 10, 2025 09:11 1m 53s
arch-split Refine up to Invariants_H for ARM+ARM_HYP PR #2842: Pull request #847 opened by Xaphiosis
January 8, 2025 08:59 57s arch-split_arm
arch-split_arm
January 8, 2025 08:59 57s
arch-split Refine up to Invariants_H for X64 PR #2841: Pull request #842 synchronize by Xaphiosis
January 6, 2025 04:26 59s arch-split_x64
arch-split_x64
January 6, 2025 04:26 59s
Add GIC v3 support for AArch64 platforms PR #2840: Pull request #846 synchronize by lsf37
January 5, 2025 22:01 55s gicv3
gicv3
January 5, 2025 22:01 55s
Add GIC v3 support for AArch64 platforms PR #2839: Pull request #846 opened by lsf37
January 5, 2025 21:52 2m 8s gicv3
gicv3
January 5, 2025 21:52 2m 8s
Add sorted_ipc_queues invariant PR #2838: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 06:31 56s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 06:31 56s
Add sorted_ipc_queues invariant PR #2837: Pull request #836 synchronize by michaelmcinerney
December 20, 2024 05:18 49s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 20, 2024 05:18 49s
Some changes for Lib, December '24 edition PR #2836: Pull request #845 synchronize by michaelmcinerney
December 20, 2024 02:11 1m 34s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 20, 2024 02:11 1m 34s
Some changes for Lib, December '24 edition PR #2835: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:54 45s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:54 45s
Some changes for Lib, December '24 edition PR #2834: Pull request #845 synchronize by michaelmcinerney
December 19, 2024 23:31 59s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 23:31 59s
Update ARM Access for det_ext changes PR #2833: Pull request #840 synchronize by corlewis
December 19, 2024 23:31 52s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
December 19, 2024 23:31 52s
Lemmas for simplifying masking and thread states PR #2832: Pull request #817 synchronize by michaelmcinerney
December 19, 2024 23:28 49s michaelm-mask_thread_state
michaelm-mask_thread_state
December 19, 2024 23:28 49s
Update ARM AInvs for det_ext changes PR #2831: Pull request #844 synchronize by corlewis
December 19, 2024 23:25 56s corlewis:get_ext_state_arm_ainvs
corlewis:get_ext_state_arm_ainvs
December 19, 2024 23:25 56s
Some changes for Lib, December '24 edition PR #2830: Pull request #845 opened by michaelmcinerney
December 19, 2024 07:05 1m 26s michaelm-rules_for_Lib_Dec24
michaelm-rules_for_Lib_Dec24
December 19, 2024 07:05 1m 26s
Add sorted_ipc_queues invariant PR #2829: Pull request #836 synchronize by michaelmcinerney
December 19, 2024 06:29 48s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 19, 2024 06:29 48s
Update ARM AInvs for det_ext changes PR #2828: Pull request #844 opened by corlewis
December 19, 2024 04:17 53s corlewis:get_ext_state_arm_ainvs
corlewis:get_ext_state_arm_ainvs
December 19, 2024 04:17 53s
Update ARM Access for det_ext changes PR #2827: Pull request #840 synchronize by corlewis
December 19, 2024 03:17 43s corlewis:det_ext_state_arm
corlewis:det_ext_state_arm
December 19, 2024 03:17 43s
Update explicit FPU specifications for det_ext changes PR #2826: Pull request #843 opened by corlewis
December 19, 2024 01:07 3m 4s corlewis:explicit_fpu_det_ext
corlewis:explicit_fpu_det_ext
December 19, 2024 01:07 3m 4s
Lemmas for simplifying masking and thread states PR #2825: Pull request #817 synchronize by lsf37
December 19, 2024 00:46 8m 56s michaelm-mask_thread_state
michaelm-mask_thread_state
December 19, 2024 00:46 8m 56s
make ARM+ARM_HYP proofs work for smaller irq_len PR #2824: Pull request #820 synchronize by lsf37
December 19, 2024 00:43 11m 26s irq-fixes
irq-fixes
December 19, 2024 00:43 11m 26s
Update specs to use semi-lazy FPU switching PR #2823: Pull request #819 synchronize by corlewis
December 19, 2024 00:22 58s fpu_context_switching
fpu_context_switching
December 19, 2024 00:22 58s
Update specs to use semi-lazy FPU switching PR #2822: Pull request #819 synchronize by corlewis
December 18, 2024 23:46 54s fpu_context_switching
fpu_context_switching
December 18, 2024 23:46 54s
Update specs to use semi-lazy FPU switching PR #2821: Pull request #819 synchronize by corlewis
December 18, 2024 08:00 55s fpu_context_switching
fpu_context_switching
December 18, 2024 08:00 55s
Update specs to use semi-lazy FPU switching PR #2820: Pull request #819 synchronize by corlewis
December 18, 2024 07:41 54s fpu_context_switching
fpu_context_switching
December 18, 2024 07:41 54s