Skip to content

Actions: rems-project/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
1,622 workflow runs
1,622 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Lean: use match_bv to match on bitvectors for function clauses Check formatting #2056: Pull request #970 synchronize by arthur-adjedj
February 11, 2025 18:03 Action required arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 18:03 Action required
define undefined_vector Check formatting #2055: Commit 6c0caba pushed by Alasdair
February 11, 2025 16:52 50s sail2
sail2
February 11, 2025 16:52 50s
Lean: define undefined_vector Check formatting #2054: Pull request #978 opened by javra
February 11, 2025 16:27 1m 1s javra:lean/undefined_vector
javra:lean/undefined_vector
February 11, 2025 16:27 1m 1s
Lean: fix lets that use tuples Check formatting #2053: Commit f17fb4b pushed by Alasdair
February 11, 2025 16:21 44s sail2
sail2
February 11, 2025 16:21 44s
feat(test/lean): support self-tests from the C backend Check formatting #2052: Pull request #973 synchronize by ineol
February 11, 2025 16:08 54s RaitoBezarius:runnable-lean-tests
RaitoBezarius:runnable-lean-tests
February 11, 2025 16:08 54s
Lean: Memory model Check formatting #2051: Pull request #965 synchronize by lfrenot
February 11, 2025 15:47 44s lfrenot:lean/Arch-class
lfrenot:lean/Arch-class
February 11, 2025 15:47 44s
Tests: Thread expected_status through step_with_status Check formatting #2050: Commit c8020d3 pushed by Alasdair
February 11, 2025 15:35 38s sail2
sail2
February 11, 2025 15:35 38s
Lean: fix lets that use tuples Check formatting #2049: Pull request #976 opened by lfrenot
February 11, 2025 15:25 41s lfrenot:lean/fix-let-pattern
lfrenot:lean/fix-let-pattern
February 11, 2025 15:25 41s
C: Refactor some option handling Check formatting #2048: Pull request #975 opened by Alasdair
February 11, 2025 15:09 38s some_fixes
some_fixes
February 11, 2025 15:09 38s
Tests: Thread expected_status through step_with_status Check formatting #2047: Commit cf64dc0 pushed by Alasdair
February 11, 2025 15:08 47s some_fixes
some_fixes
February 11, 2025 15:08 47s
implement and test vector_update Check formatting #2046: Commit aca43b4 pushed by Alasdair
February 11, 2025 14:40 1m 48s sail2
sail2
February 11, 2025 14:40 1m 48s
feat(test/lean): support self-tests from the C backend Check formatting #2045: Pull request #973 opened by RaitoBezarius
February 11, 2025 14:22 46s RaitoBezarius:runnable-lean-tests
RaitoBezarius:runnable-lean-tests
February 11, 2025 14:22 46s
Lean: Two fixes for the RISCV duopod Check formatting #2044: Pull request #972 opened by javra
February 11, 2025 14:11 45s javra:lean/riscv-duopod
javra:lean/riscv-duopod
February 11, 2025 14:11 45s
Lean: Memory model Check formatting #2043: Pull request #965 synchronize by lfrenot
February 11, 2025 12:45 39s lfrenot:lean/Arch-class
lfrenot:lean/Arch-class
February 11, 2025 12:45 39s
Lean: fix indentation of match blocks (#966) Check formatting #2042: Commit 40d03c0 pushed by bacam
February 11, 2025 11:13 50s sail2
sail2
February 11, 2025 11:13 50s
Lean: use match_bv to match on bitvectors for function clauses Check formatting #2041: Pull request #970 synchronize by arthur-adjedj
February 11, 2025 10:49 38s arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 10:49 38s
Lean: fix indentation of match blocks Check formatting #2040: Pull request #966 synchronize by javra
February 11, 2025 10:08 39s javra:lean/match-indent
javra:lean/match-indent
February 11, 2025 10:08 39s
Adds several Lean backends for built-in SAIL functions (mostly arithm… Check formatting #2039: Commit b689188 pushed by bacam
February 11, 2025 09:36 35s sail2
sail2
February 11, 2025 09:36 35s
Lean: use match_bv to match on bitvectors for function clauses Check formatting #2038: Pull request #970 synchronize by arthur-adjedj
February 11, 2025 09:35 Action required arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 09:35 Action required
Lean: use match_bv to match on bitvectors for function clauses Check formatting #2037: Pull request #970 opened by arthur-adjedj
February 11, 2025 09:29 Action required arthur-adjedj:match_bv
arthur-adjedj:match_bv
February 11, 2025 09:29 Action required
sail-to-lean: Add lean backends for mapping.sail Check formatting #2036: Pull request #969 opened by benjaminselfridge
February 10, 2025 23:08 35s GaloisInc:feature/lean_external_mapping
GaloisInc:feature/lean_external_mapping
February 10, 2025 23:08 35s
Feature/lean external arith shifts Check formatting #2035: Pull request #968 opened by benjaminselfridge
February 10, 2025 22:04 35s GaloisInc:feature/lean_external_arith_shifts
GaloisInc:feature/lean_external_arith_shifts
February 10, 2025 22:04 35s
Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) Check formatting #2034: Pull request #954 synchronize by benjaminselfridge
February 10, 2025 22:01 33s GaloisInc:feature/lean_external_arith
GaloisInc:feature/lean_external_arith
February 10, 2025 22:01 33s
Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) Check formatting #2033: Pull request #954 synchronize by benjaminselfridge
February 10, 2025 21:54 36s GaloisInc:feature/lean_external_arith
GaloisInc:feature/lean_external_arith
February 10, 2025 21:54 36s
Adds several Lean backends for built-in SAIL functions (mostly arithmetic and equality) Check formatting #2032: Pull request #954 synchronize by benjaminselfridge
February 10, 2025 20:22 45s GaloisInc:feature/lean_external_arith
GaloisInc:feature/lean_external_arith
February 10, 2025 20:22 45s