Skip to content

Actions: opencompl/lean-mlir

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
489 workflow runs
489 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: new bv_distrib tactic (#652) docs #450: Commit d63aaad pushed by github-merge-queue bot
September 24, 2024 12:04 20m 36s main
main
September 24, 2024 12:04 20m 36s
chore: generalize shifts (#650) docs #449: Commit d770d3e pushed by github-merge-queue bot
September 24, 2024 08:44 20m 10s main
main
September 24, 2024 08:44 20m 10s
chore: more shift lemmas (#649) docs #448: Commit 6daa533 pushed by github-merge-queue bot
September 24, 2024 08:11 20m 27s main
main
September 24, 2024 08:11 20m 27s
chore: update to nightly-2024-09-23 (#648) docs #447: Commit 6d371ad pushed by github-merge-queue bot
September 23, 2024 21:54 19m 59s main
main
September 23, 2024 21:54 19m 59s
chore: add simproc to simplify a % b using omega (#633) docs #446: Commit 849b71d pushed by github-merge-queue bot
September 23, 2024 16:33 20m 7s main
main
September 23, 2024 16:33 20m 7s
chore: fixed bv_auto to prove bv_AndOrXor_794 (#647) docs #445: Commit 69b4c9f pushed by github-merge-queue bot
September 23, 2024 10:47 19m 50s main
main
September 23, 2024 10:47 19m 50s
chore: cleaned some of the bitvec proofs (#646) docs #444: Commit 30d9e3c pushed by github-merge-queue bot
September 23, 2024 07:22 19m 34s main
main
September 23, 2024 07:22 19m 34s
chore: use automation for some of the simpler theorems (#645) docs #443: Commit 1950520 pushed by github-merge-queue bot
September 22, 2024 16:04 20m 28s main
main
September 22, 2024 16:04 20m 28s
chore: simplify handwritten example (#643) docs #442: Commit 1778479 pushed by github-merge-queue bot
September 21, 2024 16:17 19m 53s main
main
September 21, 2024 16:17 19m 53s
chore: fold rw (#642) docs #441: Commit d4ff4f5 pushed by github-merge-queue bot
September 21, 2024 16:06 21m 50s main
main
September 21, 2024 16:06 21m 50s
chore: decouple AliveAutoGenerated from AliveStatements (#641) docs #440: Commit 0587f94 pushed by github-merge-queue bot
September 21, 2024 15:48 19m 33s main
main
September 21, 2024 15:48 19m 33s
chore: shorten proof in ForLean (#640) docs #439: Commit 701e6c0 pushed by github-merge-queue bot
September 21, 2024 14:27 20m 29s main
main
September 21, 2024 14:27 20m 29s
chore: only update mathlib cache if no GitHub cache hit (#637) docs #438: Commit 6e8c82e pushed by github-merge-queue bot
September 21, 2024 12:55 21m 41s main
main
September 21, 2024 12:55 21m 41s
chore: drop some newlines from README.md (#635) docs #437: Commit 11718b7 pushed by github-merge-queue bot
September 21, 2024 12:49 19m 53s main
main
September 21, 2024 12:49 19m 53s
chore: drop whitespace from cache line (#636) docs #436: Commit 41ec978 pushed by github-merge-queue bot
September 21, 2024 12:46 21m 21s main
main
September 21, 2024 12:46 21m 21s
chore: update to nightly-2024-09-21 (#634) docs #435: Commit a443f57 pushed by github-merge-queue bot
September 21, 2024 12:30 19m 57s main
main
September 21, 2024 12:30 19m 57s
chore: add hash to ci-tools file (#631) docs #434: Commit 2d65ebd pushed by github-merge-queue bot
September 20, 2024 15:14 19m 52s main
main
September 20, 2024 15:14 19m 52s
chore: remove warnings after mathlib update (#628) docs #433: Commit bad0bad pushed by github-merge-queue bot
September 20, 2024 15:09 20m 6s main
main
September 20, 2024 15:09 20m 6s
chore: use a more descriptive key (#630) docs #432: Commit d16445b pushed by github-merge-queue bot
September 20, 2024 14:55 19m 48s main
main
September 20, 2024 14:55 19m 48s
chore: use BitVec.ofBool_*_ofBool (#629) docs #431: Commit e123f3b pushed by github-merge-queue bot
September 20, 2024 12:10 20m 33s main
main
September 20, 2024 12:10 20m 33s
chore: update to nightly-testing-2024-09-19 (#626) docs #430: Commit 5148eb1 pushed by github-merge-queue bot
September 20, 2024 11:37 20m 6s main
main
September 20, 2024 11:37 20m 6s
chore: fix unused variable warning (#625) docs #429: Commit 5c6b665 pushed by github-merge-queue bot
September 19, 2024 19:43 20m 3s main
main
September 19, 2024 19:43 20m 3s
feat: theorem for distributivity of shiftLeft over ^^^ and &&& … docs #428: Commit d9c163f pushed by github-merge-queue bot
September 19, 2024 14:46 20m 11s main
main
September 19, 2024 14:46 20m 11s
feat: distributivity theorems for shiftLeft over &&&, |||, and … docs #427: Commit 00b445e pushed by github-merge-queue bot
September 19, 2024 13:50 20m 13s main
main
September 19, 2024 13:50 20m 13s
chore: update to nightly-testing-2024-09-18 (#621) docs #426: Commit 06486aa pushed by github-merge-queue bot
September 19, 2024 09:59 20m 5s main
main
September 19, 2024 09:59 20m 5s