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

chore: update to 2024-10-22 (#714) docs #500: Commit 16b9c51 pushed by github-merge-queue bot
October 22, 2024 22:48 1m 20s main
main
October 22, 2024 22:48 1m 20s
chore: update mathlib 2024-10-19 (#713) docs #499: Commit 806cae7 pushed by github-merge-queue bot
October 22, 2024 21:03 22m 0s main
main
October 22, 2024 21:03 22m 0s
chore: moved examples from chapter 3 (Hackers' Delight), used `bv_aut… docs #498: Commit ac08b76 pushed by github-merge-queue bot
October 18, 2024 08:48 21m 33s main
main
October 18, 2024 08:48 21m 33s
chore: update mathlib nightly 2024-10-17 (#711) docs #497: Commit f6b42bc pushed by github-merge-queue bot
October 17, 2024 19:53 21m 30s main
main
October 17, 2024 19:53 21m 30s
chore: improve preprocessing of bv_automata' (#710) docs #496: Commit 64b116e pushed by github-merge-queue bot
October 16, 2024 15:33 21m 9s main
main
October 16, 2024 15:33 21m 9s
feat: Fixed lshr and shl being swapped in PrettyEDSL (#709) docs #495: Commit ce6c733 pushed by github-merge-queue bot
October 16, 2024 12:16 22m 4s main
main
October 16, 2024 12:16 22m 4s
chore: update mathlib (#708) docs #494: Commit bdd19d8 pushed by github-merge-queue bot
October 16, 2024 11:00 22m 7s main
main
October 16, 2024 11:00 22m 7s
feat: Start proving termination of NFA constructs (#707) docs #493: Commit 71653c8 pushed by github-merge-queue bot
October 15, 2024 16:43 21m 48s main
main
October 15, 2024 16:43 21m 48s
feat: make bv_automata' faster (#704) docs #492: Commit 0046648 pushed by github-merge-queue bot
October 15, 2024 09:16 21m 34s main
main
October 15, 2024 09:16 21m 34s
feat: add BitVec.(getMsbD, getLsbD, msb)_(neg, abs) (#702) docs #491: Commit 7c49d9c pushed by github-merge-queue bot
October 15, 2024 08:43 21m 23s main
main
October 15, 2024 08:43 21m 23s
feat: do not use toNat for division (#703) docs #490: Commit 01ee836 pushed by github-merge-queue bot
October 14, 2024 18:04 21m 8s main
main
October 14, 2024 18:04 21m 8s
Use automatic structures for bv_automata (#685) docs #489: Commit b52c067 pushed by github-merge-queue bot
October 14, 2024 17:26 22m 56s main
main
October 14, 2024 17:26 22m 56s
Remove toNat from LLVM semantics (#699) docs #488: Commit 5bc7ae4 pushed by github-merge-queue bot
October 14, 2024 13:08 21m 31s main
main
October 14, 2024 13:08 21m 31s
chore: test bv_decide properly for Hacker's delight (#701) docs #487: Commit 5c0da3d pushed by github-merge-queue bot
October 14, 2024 11:25 21m 29s main
main
October 14, 2024 11:25 21m 29s
chore: update to nightly-2024-10-14 (#700) docs #486: Commit ca850bb pushed by github-merge-queue bot
October 14, 2024 11:04 21m 19s main
main
October 14, 2024 11:04 21m 19s
chore: reduce bitvec size for experiments (#698) docs #485: Commit 0ea60fd pushed by github-merge-queue bot
October 14, 2024 05:49 21m 15s main
main
October 14, 2024 05:49 21m 15s
chore: address warnings (#697) docs #484: Commit 888d1d1 pushed by github-merge-queue bot
October 14, 2024 05:21 20m 52s main
main
October 14, 2024 05:21 20m 52s
chore: update leanwuzla (#696) docs #483: Commit 56d3446 pushed by github-merge-queue bot
October 14, 2024 04:59 20m 54s main
main
October 14, 2024 04:59 20m 54s
chore: updated mathlib (#695) docs #482: Commit 84d72a8 pushed by github-merge-queue bot
October 13, 2024 17:44 21m 15s main
main
October 13, 2024 17:44 21m 15s
feat: add BitVec.msb_(add, sub, neg) (#693) docs #481: Commit 202c52e pushed by github-merge-queue bot
October 12, 2024 19:09 21m 25s main
main
October 12, 2024 19:09 21m 25s
feat: add BitVec.getMsbD_(add, sub, neg) and `Bitvec.getLsbD(sub, n… docs #480: Commit 5833e4a pushed by github-merge-queue bot
October 12, 2024 18:46 22m 9s main
main
October 12, 2024 18:46 22m 9s
feat: added overflow tags to EDSL and prettyEDSL, and re-generated th… docs #479: Commit 42a0a22 pushed by github-merge-queue bot
October 11, 2024 12:03 21m 24s main
main
October 11, 2024 12:03 21m 24s
chore: revert "feat: add BitVec.getMsbD_(add, sub, neg) and `Bitvec… docs #478: Commit 0a919de pushed by github-merge-queue bot
October 11, 2024 07:35 21m 26s main
main
October 11, 2024 07:35 21m 26s
chore: mathlib update (#690) docs #477: Commit 6002f2b pushed by github-merge-queue bot
October 11, 2024 06:59 20m 36s main
main
October 11, 2024 06:59 20m 36s
feat: add BitVec.getMsbD_(add, sub, neg) and `Bitvec.getLsbD(sub, n… docs #476: Commit fa7602a pushed by github-merge-queue bot
October 10, 2024 20:25 23m 10s main
main
October 10, 2024 20:25 23m 10s