Skip to content

Actions: opencompl/lean-mlir

Actions

docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
306 workflow run results
306 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bugfix: Change Syntax so that Parentheses are Required for `llvm.mlir… docs #338: Commit 9b9fc9d pushed by github-merge-queue bot
July 17, 2024 16:28 20m 50s main
main
July 17, 2024 16:28 20m 50s
Fix: Clean up Formatting of Generic Parser (#466) docs #337: Commit 81f28e0 pushed by github-merge-queue bot
July 17, 2024 16:21 23m 24s main
main
July 17, 2024 16:21 23m 24s
Feat: Auto-generate inst-combine files to lean (#452) docs #336: Commit ab81800 pushed by github-merge-queue bot
July 16, 2024 12:41 18m 24s main
main
July 16, 2024 12:41 18m 24s
feat: use functional induction support to avoid long compile times (#… docs #335: Commit 102be68 pushed by github-merge-queue bot
July 15, 2024 17:18 19m 3s main
main
July 15, 2024 17:18 19m 3s
feat: add fast decision procedure for arith and bitwise reasoning (#464) docs #334: Commit 7626ba2 pushed by github-merge-queue bot
July 14, 2024 13:21 18m 5s main
main
July 14, 2024 13:21 18m 5s
feat: add leansat (#463) docs #333: Commit df918de pushed by github-merge-queue bot
July 13, 2024 23:42 18m 32s main
main
July 13, 2024 23:42 18m 32s
chore: fix typo in readme (#462) docs #332: Commit 9f77b8e pushed by github-merge-queue bot
July 13, 2024 12:38 18m 25s main
main
July 13, 2024 12:38 18m 25s
chore: remove unnecessary includes and open namespaces (#461) docs #331: Commit b29c898 pushed by github-merge-queue bot
July 13, 2024 12:32 17m 59s main
main
July 13, 2024 12:32 17m 59s
feat: Add DC dialect with Branch operator. (#407) docs #330: Commit 1d589c6 pushed by github-merge-queue bot
July 12, 2024 19:23 19m 17s main
main
July 12, 2024 19:23 19m 17s
feat: Adding HackersDelight file (#457) docs #329: Commit f78035f pushed by github-merge-queue bot
July 12, 2024 14:56 18m 22s main
main
July 12, 2024 14:56 18m 22s
fear: add more complete but untyped mlir datastructures (#458) docs #328: Commit d30ad76 pushed by github-merge-queue bot
July 12, 2024 14:14 18m 48s main
main
July 12, 2024 14:14 18m 48s
chore: drop unnecessary heartbeat (#459) docs #327: Commit 5152073 pushed by github-merge-queue bot
July 12, 2024 13:24 20m 11s main
main
July 12, 2024 13:24 20m 11s
chore: update to nightly-testing-2024-07-11 (#456) docs #326: Commit ddd4322 pushed by github-merge-queue bot
July 11, 2024 18:56 17m 59s main
main
July 11, 2024 18:56 17m 59s
Bugfix: Allow Properties with Carets in MLIR syntax. (#455) docs #325: Commit 97f3369 pushed by github-merge-queue bot
July 11, 2024 17:35 18m 26s main
main
July 11, 2024 17:35 18m 26s
Allow Numeric Block Ids (#454) docs #324: Commit 5bf047a pushed by github-merge-queue bot
July 11, 2024 16:58 18m 17s main
main
July 11, 2024 16:58 18m 17s
chore: def to lemma (#438) docs #323: Commit e401e5d pushed by github-merge-queue bot
July 11, 2024 10:25 19m 21s main
main
July 11, 2024 10:25 19m 21s
feat: add Lean-MLIR publication to GitHub page (#451) docs #322: Commit c939d68 pushed by github-merge-queue bot
July 11, 2024 08:36 18m 45s main
main
July 11, 2024 08:36 18m 45s
chore: update to nightly-testing-2024-07-09 (#450) docs #321: Commit b224b29 pushed by github-merge-queue bot
July 10, 2024 23:25 18m 4s main
main
July 10, 2024 23:25 18m 4s
chore: fix mathlib to 4.10.0-rc2 (#449) docs #320: Commit 131e862 pushed by github-merge-queue bot
July 10, 2024 22:56 18m 18s main
main
July 10, 2024 22:56 18m 18s
inspiration: two more theorem classes (#446) docs #319: Commit 0b66518 pushed by github-merge-queue bot
July 10, 2024 13:13 18m 56s main
main
July 10, 2024 13:13 18m 56s
Feat: Change Tactic Auto (#448) docs #318: Commit 3d45c8f pushed by github-merge-queue bot
July 10, 2024 09:24 17m 58s main
main
July 10, 2024 09:24 17m 58s
update to lean 4.10.0 rc2 (#444) docs #317: Commit 9c3fe5f pushed by github-merge-queue bot
July 9, 2024 19:34 18m 53s main
main
July 9, 2024 19:34 18m 53s
Fix: update test cases for test/LLVMDialect/InstCombine (#441) docs #316: Commit 0aa33ef pushed by github-merge-queue bot
July 9, 2024 15:21 18m 9s main
main
July 9, 2024 15:21 18m 9s
feat: canonicalize BitVec to arithmetic before running ring_nf (#437) docs #315: Commit 64f5e8e pushed by github-merge-queue bot
July 8, 2024 15:02 18m 47s main
main
July 8, 2024 15:02 18m 47s
chore: migrate to lakefile.toml (#396) docs #314: Commit b064c26 pushed by github-merge-queue bot
July 8, 2024 07:01 19m 48s main
main
July 8, 2024 07:01 19m 48s