Skip to content

Actions: opencompl/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
520 workflow runs
520 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add Bitvec.toFin_twoPow Nix CI #520: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:05 54m 32s twopow-tofin
twopow-tofin
February 25, 2025 13:05 54m 32s
feat: add Bitvec.toFin_twoPow Nix CI #519: Pull request #51 synchronize by luisacicolini
February 25, 2025 13:03 6m 28s twopow-tofin
twopow-tofin
February 25, 2025 13:03 6m 28s
fix: replace the compare_self simp lemma with a less generic one (#… Nix CI #518: Commit 2377f35 pushed by luisacicolini
February 25, 2025 12:47 43m 41s master
master
February 25, 2025 12:47 43m 41s
feat: add Bitvec.toFin_twoPow Nix CI #517: Pull request #51 synchronize by luisacicolini
February 25, 2025 08:53 2m 34s twopow-tofin
twopow-tofin
February 25, 2025 08:53 2m 34s
feat: add BitVec.toFin_abs Nix CI #516: Pull request #44 synchronize by luisacicolini
February 24, 2025 11:04 24m 39s tofin-abs
tofin-abs
February 24, 2025 11:04 24m 39s
feat: add BitVec.toFin_abs Nix CI #515: Pull request #44 synchronize by luisacicolini
February 24, 2025 11:03 34s tofin-abs
tofin-abs
February 24, 2025 11:03 34s
feat: add BitVec.toFin_abs Nix CI #514: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:23 40m 31s tofin-abs
tofin-abs
February 24, 2025 10:23 40m 31s
feat: add BitVec.toFin_abs Nix CI #513: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:19 4m 31s tofin-abs
tofin-abs
February 24, 2025 10:19 4m 31s
feat: add BitVec.toFin_abs Nix CI #512: Pull request #44 synchronize by luisacicolini
February 24, 2025 10:18 1m 0s tofin-abs
tofin-abs
February 24, 2025 10:18 1m 0s
feat: tree map lemmas about containsThenInsert(IfNew) (#7165) Nix CI #511: Commit c934e6c pushed by luisacicolini
February 24, 2025 09:51 41m 12s master
master
February 24, 2025 09:51 41m 12s
fix: lake: setup-file on an invalid Lean config (#7182) Nix CI #510: Commit 3aef45c pushed by luisacicolini
February 22, 2025 10:45 55m 31s master
master
February 22, 2025 10:45 55m 31s
feat: add Bitvec.toFin_twoPow Nix CI #509: Pull request #51 opened by luisacicolini
February 21, 2025 17:47 54m 21s twopow-tofin
twopow-tofin
February 21, 2025 17:47 54m 21s
feat: BitVec.(toFin, toInt)_(rotateLeft, rotateRight) Nix CI #508: Pull request #50 opened by luisacicolini
February 21, 2025 17:40 52m 5s rotate-int-fin
rotate-int-fin
February 21, 2025 17:40 52m 5s
chore: toFin_signExtend Nix CI #507: Pull request #49 synchronize by luisacicolini
February 21, 2025 16:36 51m 27s signextend-tofin
signextend-tofin
February 21, 2025 16:36 51m 27s
chore: toFin_signExtend Nix CI #506: Pull request #49 opened by luisacicolini
February 21, 2025 16:31 4m 59s signextend-tofin
signextend-tofin
February 21, 2025 16:31 4m 59s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Nix CI #505: Pull request #47 synchronize by luisacicolini
February 20, 2025 23:13 50m 32s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 23:13 50m 32s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Nix CI #504: Pull request #47 synchronize by luisacicolini
February 20, 2025 22:47 25m 36s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 22:47 25m 36s
feat: add BitVec.(toInt, toFin)_setWidth' Nix CI #503: Pull request #48 synchronize by luisacicolini
February 20, 2025 19:12 24m 59s setwidth-prime
setwidth-prime
February 20, 2025 19:12 24m 59s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Nix CI #502: Pull request #47 synchronize by luisacicolini
February 20, 2025 18:53 18m 8s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:53 18m 8s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #501: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:48 24m 11s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:48 24m 11s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #500: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 18s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 18s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #499: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 17s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 17s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #498: Pull request #46 synchronize by luisacicolini
February 20, 2025 18:47 16s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 18:47 16s
feat: add BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend Nix CI #497: Pull request #47 opened by luisacicolini
February 20, 2025 18:46 6m 45s shiftLeftZeroExtend
shiftLeftZeroExtend
February 20, 2025 18:46 6m 45s
feat: add BitVec.(extractLsb, extractLsb')_(toInt, toFin) Nix CI #496: Pull request #46 opened by luisacicolini
February 20, 2025 17:48 50m 56s extract-toInt-toFin
extract-toInt-toFin
February 20, 2025 17:48 50m 56s