Skip to content

Actions: opencompl/lean4

Actions

Update stage0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
update-stage0.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: linear integer inequality normalization using gcd of coeffici… Update stage0 #49: Commit befee89 pushed by luisacicolini
February 11, 2025 08:46 39s master
master
February 11, 2025 08:46 39s
feat: simp +arith normalizes coefficient in linear integer polynomi… Update stage0 #48: Commit d61f506 pushed by luisacicolini
February 10, 2025 08:51 37s master
master
February 10, 2025 08:51 37s
perf: fast path for multiplication with constants in bv_decide (#6739) Update stage0 #47: Commit 6ebce42 pushed by alexkeizer
January 22, 2025 17:35 36s master
master
January 22, 2025 17:35 36s
feat: add Nat.[shiftLeft_or_distrib, shiftLeft_xor_distrib`, shiftL… Update stage0 #46: Commit 906aa1b pushed by luisacicolini
January 16, 2025 16:31 35s master
master
January 16, 2025 16:31 35s
fix: adjustments to the datetime library (#6431) Update stage0 #45: Commit 8483ac7 pushed by luisacicolini
January 13, 2025 13:29 37s master
master
January 13, 2025 13:29 37s
feat: release checklist script (#6542) Update stage0 #44: Commit 78ddee9 pushed by bollu
January 6, 2025 12:28 35s master
master
January 6, 2025 12:28 35s
chore: protect Fin.cast and BitVec.cast (#6315) Update stage0 #43: Commit 019f8e1 pushed by tobiasgrosser
December 5, 2024 07:51 40s master
master
December 5, 2024 07:51 40s
chore: polish Update stage0 #42: Commit 6f0e41c pushed by tobiasgrosser
December 5, 2024 07:46 39s master
master
December 5, 2024 07:46 39s
chore: deprecate Fin.ofNat (replaced by Fin.ofNat', subsequently to b… Update stage0 #41: Commit 6d49558 pushed by bollu
December 3, 2024 18:58 32s master
master
December 3, 2024 18:58 32s
chore: add changelog-* labels via comment (#6147) Update stage0 #40: Commit 9cf8370 pushed by bollu
November 21, 2024 15:32 39s master
master
November 21, 2024 15:32 39s
fix: handle reordered indices in structural recursion (#6116) Update stage0 #39: Commit 799b2b6 pushed by luisacicolini
November 18, 2024 15:08 37s master
master
November 18, 2024 15:08 37s
chore: update stage0 Update stage0 #38: Commit 9f42368 pushed by bollu
November 12, 2024 18:56 35s master
master
November 12, 2024 18:56 35s
feat: change Array.set to take a Nat and a tactic provided bound (#5988) Update stage0 #37: Commit 258d372 pushed by luisacicolini
November 11, 2024 09:06 34s master
master
November 11, 2024 09:06 34s
feat: enable recursive structure command (#5783) Update stage0 #36: Commit 0fcee10 pushed by tobiasgrosser
November 1, 2024 02:01 37s master
master
November 1, 2024 02:01 37s
feat: if support and more in bv_decide (#5855) Update stage0 #35: Commit 8c7f748 pushed by tobiasgrosser
October 27, 2024 14:22 27s master
master
October 27, 2024 14:22 27s
feat: support BitVec.ofBool in bv_decide (#5852) Update stage0 #34: Commit 8b5443e pushed by tobiasgrosser
October 26, 2024 22:37 30s master
master
October 26, 2024 22:37 30s
feat: #version command (#5768) Update stage0 #33: Commit 682173d pushed by tobiasgrosser
October 19, 2024 05:44 25s master
master
October 19, 2024 05:44 25s
fix: use MessageData.tagged to mark maxHeartbeat exceptions (#5566) Update stage0 #32: Commit b814be6 pushed by bollu
October 9, 2024 03:58 32s master
master
October 9, 2024 03:58 32s
feat: @[simp] lemmas about List.toArray (#5472) Update stage0 #31: Commit 5dea30f pushed by bollu
September 27, 2024 04:05 33s master
master
September 27, 2024 04:05 33s
chore: basic cleanups for bv_decide (#5408) Update stage0 #30: Commit a6830f9 pushed by tobiasgrosser
September 21, 2024 18:52 34s master
master
September 21, 2024 18:52 34s
feat: add _self, _zero, and _allOnes for BitVec.[and|or|xor] Update stage0 #29: Commit 042cd6c pushed by tobiasgrosser
September 21, 2024 18:51 33s master
master
September 21, 2024 18:51 33s
feat: add BitVec.ofBool_[and|or|xor]_ofBool theorems (#5385) Update stage0 #28: Commit daf24ff pushed by tobiasgrosser
September 18, 2024 22:38 35s master
master
September 18, 2024 22:38 35s
refactor: remove the last use of Lean.(HashSet|HashMap) (#5362) Update stage0 #27: Commit fa6afa8 pushed by tobiasgrosser
September 18, 2024 19:09 34s master
master
September 18, 2024 19:09 34s
doc: add documentation for groupBy.loop (#5349) Update stage0 #26: Commit 078e9b6 pushed by tobiasgrosser
September 16, 2024 06:26 34s master
master
September 16, 2024 06:26 34s
feat: more List.attach lemmas (#5277) Update stage0 #25: Commit 7432a6f pushed by tobiasgrosser
September 7, 2024 06:06 28s master
master
September 7, 2024 06:06 28s