Skip to content

Actions: opencompl/lean4

Actions

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
actionlint.yml
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: support BitVec.ofBool in bv_decide (#5852) Actionlint #35: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 2m 49s master
master
October 26, 2024 22:37 2m 49s
feat: #version command (#5768) Actionlint #34: Commit 682173d pushed by tobiasgrosser
October 19, 2024 05:44 2m 38s master
master
October 19, 2024 05:44 2m 38s
fix: use MessageData.tagged to mark maxHeartbeat exceptions (#5566) Actionlint #33: Commit b814be6 pushed by bollu
October 9, 2024 03:58 2m 47s master
master
October 9, 2024 03:58 2m 47s
feat: @[simp] lemmas about List.toArray (#5472) Actionlint #32: Commit 5dea30f pushed by bollu
September 27, 2024 04:05 2m 54s master
master
September 27, 2024 04:05 2m 54s
feat: sdiv reduction to udiv Actionlint #31: Pull request #23 synchronize by bollu
September 27, 2024 04:04 41s sdiv-reduction
sdiv-reduction
September 27, 2024 04:04 41s
feat: sdiv reduction to udiv Actionlint #30: Pull request #23 opened by bollu
September 27, 2024 03:47 2m 54s sdiv-reduction
sdiv-reduction
September 27, 2024 03:47 2m 54s
feat: udiv/urem bitblasting Actionlint #29: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:15 34s upstream-div
upstream-div
September 26, 2024 03:15 34s
feat: udiv/urem bitblasting Actionlint #28: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:10 39s upstream-div
upstream-div
September 26, 2024 03:10 39s
feat: udiv/urem bitblasting Actionlint #27: Pull request #18 synchronize by tobiasgrosser
September 26, 2024 03:01 36s upstream-div
upstream-div
September 26, 2024 03:01 36s
feat: udiv/urem bitblasting Actionlint #26: Pull request #18 synchronize by bollu
September 26, 2024 02:41 2m 50s upstream-div
upstream-div
September 26, 2024 02:41 2m 50s
doc: add documentation for groupBy.loop (#5349) Actionlint #25: Commit 078e9b6 pushed by tobiasgrosser
September 16, 2024 06:26 2m 45s master
master
September 16, 2024 06:26 2m 45s
feat: Nat bitwise lemmas (#5261) Actionlint #24: Commit 1b09952 pushed by luisacicolini
September 6, 2024 08:17 2m 41s master
master
September 6, 2024 08:17 2m 41s
chore: update stage0 Actionlint #23: Commit a3ae75f pushed by Equilibris
August 21, 2024 12:44 33s master
master
August 21, 2024 12:44 33s
feat: add BitVec.toInt_[pos|neg]_iff_toNat_[large|small] Actionlint #22: Commit b756ee6 pushed by tobiasgrosser
August 18, 2024 11:24 35s master
master
August 18, 2024 11:24 35s
chore: upstream List.Pairwise lemmas (#5047) Actionlint #21: Commit 2ba7c99 pushed by tobiasgrosser
August 15, 2024 05:41 2m 43s master
master
August 15, 2024 05:41 2m 43s
feat: add BitVec.toNat_[udiv|umod] and [udiv|umod]_eq Actionlint #20: Pull request #15 synchronize by tobiasgrosser
August 13, 2024 15:59 2m 50s bitvec_udiv_umod_basics
bitvec_udiv_umod_basics
August 13, 2024 15:59 2m 50s
bitvec_neg_neg Actionlint #19: Commit df4e4cb pushed by tobiasgrosser
August 9, 2024 02:13 4m 12s master
master
August 9, 2024 02:13 4m 12s
feat: add sshiftRight/shiftLeft_*_distrib Actionlint #18: Commit 070d43c pushed by tobiasgrosser
August 8, 2024 06:06 33s master
master
August 8, 2024 06:06 33s
chore: fix naming of List.Subset lemmas (#4868) Actionlint #17: Commit 90dab5e pushed by bollu
July 30, 2024 19:21 2m 43s master
master
July 30, 2024 19:21 2m 43s
chore: remove bif from hash map lemmas (#4791) Actionlint #16: Commit 92cca5e pushed by bollu
July 23, 2024 13:49 2m 52s master
master
July 23, 2024 13:49 2m 52s
feat: getLsb_replicate Actionlint #15: Pull request #10 synchronize by bollu
July 23, 2024 06:54 48s getLsb_replicate
getLsb_replicate
July 23, 2024 06:54 48s
feat: getLsb_replicate Actionlint #14: Pull request #10 opened by bollu
July 22, 2024 17:42 2m 56s getLsb_replicate
getLsb_replicate
July 22, 2024 17:42 2m 56s
chore: document failed proof strategy exploration about the higher order shift left recurrence Actionlint #13: Pull request #9 opened by bollu
July 3, 2024 09:12 53s shiftLeft-recurrence-higher-order-lemma
shiftLeft-recurrence-higher-order-lemma
July 3, 2024 09:12 53s
chore: CI: fix speedcenter tests (#4440) Actionlint #12: Commit bd3b466 pushed by bollu
June 13, 2024 13:57 27s master
master
June 13, 2024 13:57 27s
wip: bitblast shifts Actionlint #11: Pull request #8 opened by bollu
June 13, 2024 13:39 27s hargonix-bitblast-shifts
hargonix-bitblast-shifts
June 13, 2024 13:39 27s