Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
555 workflow runs
555 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
arch-split Refine up to Invariants_H for X64 PR #2819: Pull request #842 opened by Xaphiosis
December 18, 2024 04:13 52s arch-split_x64
arch-split_x64
December 18, 2024 04:13 52s
Update specs to use semi-lazy FPU switching PR #2818: Pull request #819 synchronize by corlewis
December 17, 2024 23:51 54s fpu_context_switching
fpu_context_switching
December 17, 2024 23:51 54s
AArch64 Access Control: initial setup PR #2817: Pull request #837 synchronize by ryybrr
December 13, 2024 03:12 48s aarch64-access-setup
aarch64-access-setup
December 13, 2024 03:12 48s
AArch64 Access Control: initial setup PR #2816: Pull request #837 synchronize by ryybrr
December 13, 2024 00:56 1m 17s aarch64-access-setup
aarch64-access-setup
December 13, 2024 00:56 1m 17s
Add sorted_ipc_queues invariant PR #2815: Pull request #836 synchronize by michaelmcinerney
December 13, 2024 00:20 1m 8s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 13, 2024 00:20 1m 8s
Add sorted_ipc_queues invariant PR #2814: Pull request #836 synchronize by michaelmcinerney
December 12, 2024 07:30 48s michaelm-sorted_ipc_queues
michaelm-sorted_ipc_queues
December 12, 2024 07:30 48s