Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
2,186 workflow runs
2,186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generalise Rocq pattern semantics (#1621) Check formatting #3814: Commit aafbbbb pushed by Alasdair
35s sail2
sail2
35s
Generalise Rocq pattern semantics Check formatting #3813: Pull request #1621 opened by Alasdair
35s rocq_pattern_u
rocq_pattern_u
35s
Generalise pattern matching in Rocq semantics to work with unknown va… Check formatting #3812: Commit 5a85c41 pushed by Alasdair
29s rocq_pattern_u
rocq_pattern_u
29s
Move undefined from literal to expression Check formatting #3811: Commit 0fdec9e pushed by Alasdair
34s sail2
sail2
34s
Avoid generating some empty switches in C code (#1618) Check formatting #3810: Commit 8262c3c pushed by Alasdair
38s sail2
sail2
38s
Avoid generating some empty switches in C code Check formatting #3809: Pull request #1618 synchronize by Alasdair
44s Timmmm:user/timh/empty_switch
Timmmm:user/timh/empty_switch
44s
Older OCaml compatability Check formatting #3808: Commit 0bf57ee pushed by Alasdair
32s user/timh/empty_switch
user/timh/empty_switch
32s
Avoid generating some empty switches in C code Check formatting #3807: Pull request #1618 synchronize by Alasdair
29s Timmmm:user/timh/empty_switch
Timmmm:user/timh/empty_switch
29s
Move undefined from literal to expression Check formatting #3806: Pull request #1620 synchronize by Alasdair
30s e_undef
e_undef
30s
Move undefined from literal to expression Check formatting #3805: Commit 955bee4 pushed by Alasdair
29s e_undef
e_undef
29s
Move undefined from literal to expression Check formatting #3804: Pull request #1620 opened by Alasdair
27s e_undef
e_undef
27s
Move undefined from literal to expression Check formatting #3803: Commit 943a706 pushed by Alasdair
32s e_undef
e_undef
32s
Lean: Fix an issue where fp_bits compilation was skipped in the float library Check formatting #3802: Pull request #1617 synchronize by nek0las
56s nek0las:lean4exist
nek0las:lean4exist
56s
Lean: Fix an issue where fp_bits compilation was skipped in the float library Check formatting #3801: Pull request #1617 opened by nek0las
38s nek0las:lean4exist
nek0las:lean4exist
38s
Move AST comparisons to separate file Check formatting #3800: Commit 4c16c32 pushed by Alasdair
25s sail2
sail2
25s
Move AST comparisons to separate file Check formatting #3799: Pull request #1616 opened by Alasdair
34s rocqsem
rocqsem
34s
Move AST comparisons to separate file Check formatting #3798: Commit 1de3fba pushed by Alasdair
31s rocqsem
rocqsem
31s
Expose in-place loop termination measures in Sail syntax Check formatting #3797: Commit ffd8740 pushed by bacam
31s sail2
sail2
31s
Expose in-place loop termination measures in Sail syntax Check formatting #3796: Pull request #1615 synchronize by bacam
30s bacam:loop-termination
bacam:loop-termination
30s
Expose in-place loop termination measures in Sail syntax Check formatting #3795: Pull request #1615 opened by bacam
36s bacam:loop-termination
bacam:loop-termination
36s
Move completing partial patterns to Rocq semantics Check formatting #3794: Commit a8e6091 pushed by Alasdair
31s sail2
sail2
31s
Sail Rocq semantics improvements Check formatting #3793: Pull request #1614 synchronize by Alasdair
1m 2s rocqsem
rocqsem
1m 2s
Move completing partial patterns to Rocq semantics Check formatting #3792: Commit d9c5423 pushed by Alasdair
1m 10s rocqsem
rocqsem
1m 10s
Sail Rocq semantics improvements Check formatting #3791: Pull request #1614 opened by Alasdair
41s rocqsem
rocqsem
41s
Use identifiers in Rocq value type Check formatting #3790: Commit 99fdba0 pushed by Alasdair
47s rocqsem
rocqsem
47s