Skip to content

Actions: opencompl/lean4

Actions

Check for stage0 changes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-stage0.yml
442 workflow runs
442 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Bitvec.toFin_twoPow Check for stage0 changes #442: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:05 39s twopow-tofin
twopow-tofin
February 25, 2025 13:05 39s
feat: add Bitvec.toFin_twoPow Check for stage0 changes #441: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:03 48s twopow-tofin
twopow-tofin
February 25, 2025 13:03 48s
feat: add Bitvec.toFin_twoPow Check for stage0 changes #440: Pull request #51 synchronize by luisacicolini
February 25, 2025 08:53 37s twopow-tofin
twopow-tofin
February 25, 2025 08:53 37s
feat: add BitVec.toFin_abs Check for stage0 changes #439: Pull request #44 synchronize by luisacicolini
February 24, 2025 11:04 31s tofin-abs
tofin-abs
February 24, 2025 11:04 31s
feat: add BitVec.toFin_abs Check for stage0 changes #438: Pull request #44 synchronize by luisacicolini
February 24, 2025 11:03 33s tofin-abs
tofin-abs
February 24, 2025 11:03 33s
feat: add BitVec.toFin_abs Check for stage0 changes #437: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:23 38s tofin-abs
tofin-abs
February 24, 2025 10:23 38s
feat: add BitVec.toFin_abs Check for stage0 changes #436: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:19 35s tofin-abs
tofin-abs
February 24, 2025 10:19 35s
feat: add BitVec.toFin_abs Check for stage0 changes #435: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:18 35s tofin-abs
tofin-abs
February 24, 2025 10:18 35s
feat: add Bitvec.toFin_twoPow Check for stage0 changes #434: Pull request #51 opened by luisacicolini
February 21, 2025 17:47 38s twopow-tofin
twopow-tofin
February 21, 2025 17:47 38s
feat: BitVec.(toFin, toInt)_(rotateLeft, rotateRight) Check for stage0 changes #433: Pull request #50 opened by luisacicolini
February 21, 2025 17:40 38s rotate-int-fin
rotate-int-fin
February 21, 2025 17:40 38s
chore: toFin_signExtend Check for stage0 changes #432: Pull request #49 synchronize by luisacicolini
February 21, 2025 16:36 41s signextend-tofin
signextend-tofin
February 21, 2025 16:36 41s
chore: toFin_signExtend Check for stage0 changes #431: Pull request #49 opened by luisacicolini
February 21, 2025 16:31 43s signextend-tofin
signextend-tofin
February 21, 2025 16:31 43s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #430: Pull request #47 synchronize by luisacicolini
February 20, 2025 23:13 36s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 23:13 36s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #429: Pull request #47 synchronize by luisacicolini
February 20, 2025 22:47 37s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 22:47 37s
feat: add BitVec.(toInt, toFin)_setWidth' Check for stage0 changes #428: Pull request #48 synchronize by luisacicolini
February 20, 2025 19:12 36s setwidth-prime
setwidth-prime
February 20, 2025 19:12 36s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #427: Pull request #47 synchronize by luisacicolini
February 20, 2025 18:53 44s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:53 44s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #426: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:48 42s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:48 42s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #425: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 39s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 39s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #424: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 40s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 40s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #423: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 41s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 41s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Check for stage0 changes #422: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 37s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 37s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Check for stage0 changes #421: Pull request #46 opened by luisacicolini
February 20, 2025 17:48 42s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 17:48 42s
feat: add BitVec.(getElem, getLsbD, getMsbD, msb)_(srem, sdiv) Check for stage0 changes #420: Pull request #45 opened by luisacicolini
February 20, 2025 16:54 39s sdiv-srem
sdiv-srem
February 20, 2025 16:54 39s
feat: add BitVec.toFin_abs Check for stage0 changes #419: Pull request #44 opened by luisacicolini
February 20, 2025 16:45 38s tofin-abs
tofin-abs
February 20, 2025 16:45 38s
feat: implement ac_nf', an alternative normalizer that takes terms shared across both sides of an equality into account Check for stage0 changes #418: Pull request #43 synchronize by bollu
February 17, 2025 14:59 43s ac-rfl-term-sharing
ac-rfl-term-sharing
February 17, 2025 14:59 43s