Skip to content

Actions: javra/sail

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
679 workflow runs
679 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix patterns of unannotated bitvector variables Check formatting #216: Commit 5edcffb pushed by javra
May 14, 2025 13:19 2m 10s lean/matchbv_pat_length
lean/matchbv_pat_length
May 14, 2025 13:19 2m 10s
fix patterns of unannotated bitvector variables Build matrix #216: Commit 5edcffb pushed by javra
May 14, 2025 13:19 7m 23s lean/matchbv_pat_length
lean/matchbv_pat_length
May 14, 2025 13:19 7m 23s
fix patterns of unannotated bitvector variables Build matrix #215: Commit a2f09cb pushed by javra
May 14, 2025 10:43 9m 25s lean/matchbv_pat_length
lean/matchbv_pat_length
May 14, 2025 10:43 9m 25s
fix patterns of unannotated bitvector variables Check formatting #215: Commit a2f09cb pushed by javra
May 14, 2025 10:43 5m 34s lean/matchbv_pat_length
lean/matchbv_pat_length
May 14, 2025 10:43 5m 34s
add test fixed by tactic reordering Build matrix #214: Commit 603dbd6 pushed by javra
May 7, 2025 16:44 6m 58s lean/grindbvdecide
lean/grindbvdecide
May 7, 2025 16:44 6m 58s
add test fixed by tactic reordering Check formatting #214: Commit 603dbd6 pushed by javra
May 7, 2025 16:44 48s lean/grindbvdecide
lean/grindbvdecide
May 7, 2025 16:44 48s
swap tactics used to solve matchbv goal Build matrix #213: Commit 817ae29 pushed by javra
May 7, 2025 15:37 10m 13s lean/grindbvdecide
lean/grindbvdecide
May 7, 2025 15:37 10m 13s
swap tactics used to solve matchbv goal Check formatting #213: Commit 817ae29 pushed by javra
May 7, 2025 15:37 5m 30s lean/grindbvdecide
lean/grindbvdecide
May 7, 2025 15:37 5m 30s
Lean: fix assign_rename_bug.sail Check formatting #212: Commit 0e065a2 pushed by javra
April 15, 2025 15:27 8m 51s lean/assign_rename_bug
lean/assign_rename_bug
April 15, 2025 15:27 8m 51s
Lean: fix assign_rename_bug.sail Build matrix #212: Commit 0e065a2 pushed by javra
April 15, 2025 15:27 15m 58s lean/assign_rename_bug
lean/assign_rename_bug
April 15, 2025 15:27 15m 58s
Lean: fix inc_tests.sail Check formatting #211: Commit 114b581 pushed by javra
April 15, 2025 15:17 5m 28s lean/inc_tests
lean/inc_tests
April 15, 2025 15:17 5m 28s
Lean: fix inc_tests.sail Build matrix #211: Commit 114b581 pushed by javra
April 15, 2025 15:17 13m 29s lean/inc_tests
lean/inc_tests
April 15, 2025 15:17 13m 29s
fix cheri_capreg.sail test Check formatting #210: Commit 1ed63f9 pushed by javra
April 15, 2025 14:11 5m 14s lean/cheri_capreg
lean/cheri_capreg
April 15, 2025 14:11 5m 14s
fix cheri_capreg.sail test Build matrix #210: Commit 1ed63f9 pushed by javra
April 15, 2025 14:11 7m 25s lean/cheri_capreg
lean/cheri_capreg
April 15, 2025 14:11 7m 25s
fix cheri_capreg.sail test Build matrix #209: Commit 55cef9f pushed by javra
April 15, 2025 14:07 9m 27s lean/cheri_capreg
lean/cheri_capreg
April 15, 2025 14:07 9m 27s
fix cheri_capreg.sail test Check formatting #209: Commit 55cef9f pushed by javra
April 15, 2025 14:07 6m 11s lean/cheri_capreg
lean/cheri_capreg
April 15, 2025 14:07 6m 11s
start annotating the arm prelude Check formatting #208: Commit f3a4d09 pushed by javra
April 4, 2025 09:27 5m 31s lean/annotateAArch64
lean/annotateAArch64
April 4, 2025 09:27 5m 31s
start annotating the arm prelude Build matrix #208: Commit f3a4d09 pushed by javra
April 4, 2025 09:27 10m 10s lean/annotateAArch64
lean/annotateAArch64
April 4, 2025 09:27 10m 10s
Lean: annotate _builtin_unsigned Build matrix #207: Commit e29cf9a pushed by javra
April 2, 2025 09:22 9m 43s lean/builtinUnsigned
lean/builtinUnsigned
April 2, 2025 09:22 9m 43s
Lean: annotate _builtin_unsigned Check formatting #207: Commit e29cf9a pushed by javra
April 2, 2025 09:22 5m 13s lean/builtinUnsigned
lean/builtinUnsigned
April 2, 2025 09:22 5m 13s
Lean: annotate sail_arith_shiftright and _builtin_mod_nat Build matrix #206: Commit eebd6f6 pushed by javra
April 1, 2025 10:47 9m 40s lean/arith_shiftright
lean/arith_shiftright
April 1, 2025 10:47 9m 40s
Lean: annotate sail_arith_shiftright and _builtin_mod_nat Check formatting #206: Commit eebd6f6 pushed by javra
April 1, 2025 10:47 5m 18s lean/arith_shiftright
lean/arith_shiftright
April 1, 2025 10:47 5m 18s
implement and annotate count_leading_zeros and count_trailing_zeros Check formatting #205: Commit b45fe56 pushed by javra
March 25, 2025 10:37 5m 34s lean/countTrailingZeros
lean/countTrailingZeros
March 25, 2025 10:37 5m 34s
implement and annotate count_leading_zeros and count_trailing_zeros Build matrix #205: Commit b45fe56 pushed by javra
March 25, 2025 10:37 10m 51s lean/countTrailingZeros
lean/countTrailingZeros
March 25, 2025 10:37 10m 51s
add global kid->id renames Check formatting #204: Commit 7c0cb31 pushed by javra
March 21, 2025 12:21 5m 9s lean/toplevelTyvar
lean/toplevelTyvar
March 21, 2025 12:21 5m 9s