Skip to content

Actions: seL4/l4v

Actions

PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr.yml
553 workflow runs
553 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Style guide: _tac instantiations and attributes PR #2791: Pull request #834 synchronize by Xaphiosis
December 9, 2024 08:07 48s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 08:07 48s
Style guide: _tac instantiations and attributes PR #2790: Pull request #834 synchronize by Xaphiosis
December 9, 2024 08:05 43s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 08:05 43s
Prove cancelIPC_ccorres1 PR #2789: Pull request #831 synchronize by nspin
December 9, 2024 08:04 50s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 9, 2024 08:04 50s
arch-split Refine up to Invariants_H for AARCH64 (Draft) PR #2788: Pull request #833 synchronize by Xaphiosis
December 9, 2024 07:53 59s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 07:53 59s
Prove cancelIPC_ccorres1 PR #2787: Pull request #831 synchronize by nspin
December 9, 2024 07:46 47s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 9, 2024 07:46 47s
Style guide: _tac instantiations and attributes PR #2786: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:41 50s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:41 50s
Style guide: _tac instantiations and attributes PR #2785: Pull request #834 synchronize by Xaphiosis
December 9, 2024 04:15 1m 7s Xaphiosis:tac_style
Xaphiosis:tac_style
December 9, 2024 04:15 1m 7s
arch-split Refine up to Invariants_H for AARCH64 (Draft) PR #2784: Pull request #833 synchronize by Xaphiosis
December 9, 2024 03:35 50s Xaphiosis:arch-split
Xaphiosis:arch-split
December 9, 2024 03:35 50s
github: fix concurrency group syntax PR #2783: Pull request #835 opened by lsf37
December 6, 2024 05:16 48s cancel-prs
cancel-prs
December 6, 2024 05:16 48s
Style guide: _tac instantiations and attributes PR #2782: Pull request #834 synchronize by Xaphiosis
December 6, 2024 05:06 51s Xaphiosis:tac_style
Xaphiosis:tac_style
December 6, 2024 05:06 51s
Style guide: _tac instantiations and attributes PR #2781: Pull request #834 opened by Xaphiosis
December 6, 2024 03:44 53s Xaphiosis:tac_style
Xaphiosis:tac_style
December 6, 2024 03:44 53s
Prove cancelIPC_ccorres1 PR #2780: Pull request #831 synchronize by nspin
December 5, 2024 23:55 43s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 23:55 43s
Prove cancelIPC_ccorres1 PR #2779: Pull request #831 synchronize by nspin
December 5, 2024 23:54 51s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 23:54 51s
Prove cancelIPC_ccorres1 PR #2778: Pull request #831 synchronize by nspin
December 5, 2024 20:36 49s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 20:36 49s
Prove cancelIPC_ccorres1 PR #2777: Pull request #831 synchronize by nspin
December 5, 2024 19:07 52s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 19:07 52s
Prove cancelIPC_ccorres1 PR #2776: Pull request #831 synchronize by nspin
December 5, 2024 18:28 53s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 18:28 53s
Prove cancelIPC_ccorres1 PR #2775: Pull request #831 synchronize by nspin
December 5, 2024 18:26 52s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
December 5, 2024 18:26 52s
arch-split Refine up to Invariants_H for AARCH64 (Draft) PR #2774: Pull request #833 opened by Xaphiosis
December 4, 2024 07:27 43s Xaphiosis:arch-split
Xaphiosis:arch-split
December 4, 2024 07:27 43s
Remove IO ports from non-X64 arches, move valid_ioports into valid_arch_state on X64 PR #2773: Pull request #829 synchronize by Xaphiosis
December 4, 2024 04:52 1m 2s Xaphiosis:hide-ioports
Xaphiosis:hide-ioports
December 4, 2024 04:52 1m 2s
x64 crefine: proof update after change to C PR #2772: Pull request #825 synchronize by lsf37
December 3, 2024 05:23 48s nspin:pr/x86-initialize-vars
nspin:pr/x86-initialize-vars
December 3, 2024 05:23 48s
lib/monads: use experiment for demo lemmas PR #2771: Pull request #832 synchronize by lsf37
December 2, 2024 21:50 51s wpfix-demo
wpfix-demo
December 2, 2024 21:50 51s
x64 crefine: proof update after change to C PR #2770: Pull request #825 synchronize by lsf37
December 2, 2024 07:50 52s nspin:pr/x86-initialize-vars
nspin:pr/x86-initialize-vars
December 2, 2024 07:50 52s
lib/monads: use experiment for demo lemmas PR #2769: Pull request #832 opened by lsf37
December 2, 2024 07:47 49s wpfix-demo
wpfix-demo
December 2, 2024 07:47 49s
Prove cancelIPC_ccorres1 PR #2768: Pull request #831 synchronize by nspin
November 30, 2024 14:36 48s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
November 30, 2024 14:36 48s
Prove cancelIPC_ccorres1 PR #2767: Pull request #831 opened by nspin
November 30, 2024 14:31 50s nspin:pr/prove-cancelipc-ccorres-1
nspin:pr/prove-cancelipc-ccorres-1
November 30, 2024 14:31 50s