Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
506 workflow runs
506 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add deletionIsSafe2 assert to deleteObjects PR #2487: Pull request #742 opened by michaelmcinerney
March 26, 2024 00:05 46s michaelm-deletionIsSafe2
michaelm-deletionIsSafe2
March 26, 2024 00:05 46s
aarch64: resolve most FIXME move tags PR #2486: Pull request #740 synchronize by lsf37
March 25, 2024 14:04 53s aarch64-fixme-move
aarch64-fixme-move
March 25, 2024 14:04 53s
word_lib+crefine: move lemmas to Word_Lib PR #2485: Pull request #736 synchronize by lsf37
March 25, 2024 14:01 53s aarch64-word-move
aarch64-word-move
March 25, 2024 14:01 53s
word_lib+crefine: move lemmas to Word_Lib PR #2484: Pull request #736 synchronize by lsf37
March 25, 2024 14:00 48s aarch64-word-move
aarch64-word-move
March 25, 2024 14:00 48s
crefine: remove unused lemmas; resolve AARCH64 FIXMEs PR #2483: Pull request #735 synchronize by lsf37
March 25, 2024 13:57 48s aarch64-cleanup
aarch64-cleanup
March 25, 2024 13:57 48s
docs: add debugging tips for vcg goals PR #2482: Pull request #741 synchronize by lsf37
March 25, 2024 13:14 44s vcg-debugging
vcg-debugging
March 25, 2024 13:14 44s
docs: add debugging tips for vcg goals PR #2481: Pull request #741 opened by lsf37
March 25, 2024 13:06 48s vcg-debugging
vcg-debugging
March 25, 2024 13:06 48s
AArch64 fastpath proofs PR #2480: Pull request #739 synchronize by Xaphiosis
March 25, 2024 09:16 48s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 09:16 48s
AArch64 fastpath proofs PR #2479: Pull request #739 synchronize by Xaphiosis
March 25, 2024 09:02 52s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 09:02 52s
AArch64 fastpath proofs PR #2478: Pull request #739 synchronize by Xaphiosis
March 25, 2024 08:16 46s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 08:16 46s
Improve wp_pre tracing PR #2477: Pull request #731 synchronize by corlewis
March 25, 2024 06:45 49s corlewis:wp_pre_tracing
corlewis:wp_pre_tracing
March 25, 2024 06:45 49s
Enlarge the prefix_refinement rule set PR #2476: Pull request #738 synchronize by corlewis
March 25, 2024 05:45 44s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 25, 2024 05:45 44s
AArch64 fastpath proofs PR #2475: Pull request #739 synchronize by Xaphiosis
March 25, 2024 01:07 51s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 25, 2024 01:07 51s
aarch64: resolve most FIXME move tags PR #2474: Pull request #740 opened by lsf37
March 24, 2024 16:46 50s aarch64-fixme-move
aarch64-fixme-move
March 24, 2024 16:46 50s
Enlarge the prefix_refinement rule set PR #2473: Pull request #738 synchronize by corlewis
March 22, 2024 05:03 54s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 22, 2024 05:03 54s
AArch64 fastpath proofs PR #2472: Pull request #739 synchronize by Xaphiosis
March 21, 2024 04:04 50s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 21, 2024 04:04 50s
AArch64 fastpath proofs PR #2471: Pull request #739 opened by Xaphiosis
March 21, 2024 02:03 58s Xaphiosis:aarch64_fastpath
Xaphiosis:aarch64_fastpath
March 21, 2024 02:03 58s
Enlarge the prefix_refinement rule set PR #2470: Pull request #738 synchronize by corlewis
March 19, 2024 21:55 52s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 21:55 52s
Enlarge the trace monad rule set for RG logic PR #2469: Pull request #721 synchronize by corlewis
March 19, 2024 21:55 51s corlewis:trace_more_rg
corlewis:trace_more_rg
March 19, 2024 21:55 51s
Yet more rules for Lib PR #2468: Pull request #737 synchronize by michaelmcinerney
March 19, 2024 13:48 1m 46s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 19, 2024 13:48 1m 46s
Enlarge the prefix_refinement rule set PR #2467: Pull request #738 synchronize by corlewis
March 19, 2024 09:25 1m 15s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:25 1m 15s
Enlarge the prefix_refinement rule set PR #2466: Pull request #738 synchronize by corlewis
March 19, 2024 09:19 1m 15s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:19 1m 15s
Enlarge the prefix_refinement rule set PR #2465: Pull request #738 synchronize by corlewis
March 19, 2024 09:09 54s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:09 54s
Enlarge the prefix_refinement rule set PR #2464: Pull request #738 opened by corlewis
March 19, 2024 09:06 53s corlewis:trace_more_refinement
corlewis:trace_more_refinement
March 19, 2024 09:06 53s
Yet more rules for Lib PR #2463: Pull request #737 opened by michaelmcinerney
March 19, 2024 08:28 59s michaelm-rules_for_Lib_Mar24
michaelm-rules_for_Lib_Mar24
March 19, 2024 08:28 59s
ProTip! You can narrow down the results and go further in time using created:<2024-03-19 or the other filters available.