Skip to content

Actions: seL4/l4v

Actions

Proof PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof.yml
457 workflow runs
457 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
aarch64 infoflow: generalise example state Proof PR #3834: Pull request #1046 synchronize by lsf37
1h 7m 53s
1h 7m 53s
aarch64 infoflow: generalise example state Proof PR #3833: Pull request #1046 opened by lsf37
1h 8m 37s
1h 8m 37s
AArch64 Information Flow Proof PR #3832: Pull request #1018 synchronize by ryybrr
4h 26m 38s
4h 26m 38s
AArch64 Information Flow Proof PR #3831: Pull request #1018 synchronize by ryybrr
4h 21m 44s
4h 21m 44s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3830: Pull request #1006 synchronize by corlewis
3h 39m 37s
3h 39m 37s
Make proof generic over current seL4 RISC-V platforms Proof PR #3829: Pull request #1024 synchronize by lsf37
3h 44m 45s
3h 44m 45s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3828: Pull request #1006 synchronize by corlewis
3h 37m 48s
3h 37m 48s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3827: Pull request #1006 synchronize by corlewis
2m 30s
2m 30s
clean up manual instantiation in CRefine Proof PR #3826: Pull request #1039 synchronize by lsf37
1h 52m 9s
1h 52m 9s
arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories Proof PR #3825: Pull request #1041 synchronize by Xaphiosis
3h 41m 51s
3h 41m 51s
ignore isabelle.in.tum.de in link check Proof PR #3824: Pull request #1043 opened by lsf37
2h 53m 3s
2h 53m 3s
arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories Proof PR #3823: Pull request #1041 synchronize by Xaphiosis
44m 10s
44m 10s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3822: Pull request #1006 synchronize by corlewis
1h 42m 29s
1h 42m 29s
arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories Proof PR #3821: Pull request #1041 synchronize by Xaphiosis
21m 8s
21m 8s
arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories Proof PR #3820: Pull request #1041 synchronize by Xaphiosis
43m 56s
43m 56s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3819: Pull request #1006 synchronize by corlewis
1h 42m 21s
1h 42m 21s
refine: improve typ_at_lifts and add typ_at_props' locale Proof PR #3818: Pull request #1006 synchronize by corlewis
3h 33m 25s
3h 33m 25s
Let deployment jobs finish when new commits are pushed Proof PR #3817: Pull request #1036 synchronize by lsf37
3m 18s
3m 18s
arch-split Refine + EmptyFail_H, add Refine toplevel, clean up small theories Proof PR #3816: Pull request #1041 opened by Xaphiosis
2h 33m 20s
2h 33m 20s
MCS AARCH64 AInvs Proof PR #3815: Pull request #1040 opened by michaelmcinerney
2m 13s
2m 13s
arch-split ADT_H + PageTableDuplicates cleanup for non-Arm-32 Proof PR #3814: Pull request #1037 synchronize by Xaphiosis
2h 41m 5s
2h 41m 5s
arch-split ADT_H + PageTableDuplicates cleanup for non-Arm-32 Proof PR #3813: Pull request #1037 synchronize by Xaphiosis
17m 20s
17m 20s
arch-split ADT_H + PageTableDuplicates cleanup for non-Arm-32 Proof PR #3812: Pull request #1037 synchronize by Xaphiosis
2h 9m 19s
2h 9m 19s
clean up manual instantiation in CRefine Proof PR #3811: Pull request #1039 opened by lsf37
1h 51m 59s
1h 51m 59s
AArch64 Information Flow Proof PR #3810: Pull request #1018 synchronize by ryybrr
3h 0m 31s
3h 0m 31s