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 mathlib (#688) docs #475: Commit 29bf316 pushed by github-merge-queue bot
October 10, 2024 06:50 20m 56s main
main
October 10, 2024 06:50 20m 56s
chore: update mathlib (#683) docs #474: Commit 8a8f066 pushed by github-merge-queue bot
October 8, 2024 22:43 20m 30s main
main
October 8, 2024 22:43 20m 30s
Updated the flags in Semantics.lean to be compatible with the bitblas… docs #473: Commit a2c947a pushed by github-merge-queue bot
October 7, 2024 09:41 20m 29s main
main
October 7, 2024 09:41 20m 29s
Make bv_automata fallible (#670) docs #472: Commit b4bdf9f pushed by github-merge-queue bot
October 3, 2024 21:46 20m 46s main
main
October 3, 2024 21:46 20m 46s
refactor: Cleaned the InstCombine/scipts folder, added a config file … docs #471: Commit ff9cd88 pushed by github-merge-queue bot
October 3, 2024 16:20 21m 47s main
main
October 3, 2024 16:20 21m 47s
feat: add getMsbD_sshiftRight, getMsbD_sshiftRight', getLsbD_sshiftRi… docs #470: Commit ca91081 pushed by github-merge-queue bot
October 3, 2024 08:48 21m 34s main
main
October 3, 2024 08:48 21m 34s
feat: adding the flags for LLVM's bitwise binary operations (#678) docs #469: Commit 2633469 pushed by github-merge-queue bot
October 2, 2024 14:53 20m 23s main
main
October 2, 2024 14:53 20m 23s
feat: adding the flags for LLVM's binary operations (#677) docs #468: Commit db85e06 pushed by github-merge-queue bot
October 2, 2024 12:56 20m 38s main
main
October 2, 2024 12:56 20m 38s
chore: restored leanwuzla dependency after mathlib update (#674) docs #467: Commit d460e00 pushed by github-merge-queue bot
October 2, 2024 06:53 20m 20s main
main
October 2, 2024 06:53 20m 20s
Make bv_automata fallible (#673) docs #466: Commit 055ad59 pushed by github-merge-queue bot
October 1, 2024 12:33 20m 0s main
main
October 1, 2024 12:33 20m 0s
chore: update mathlib (#672) docs #465: Commit e511d74 pushed by github-merge-queue bot
October 1, 2024 07:19 20m 22s main
main
October 1, 2024 07:19 20m 22s
feat: add bv_compare (#669) docs #464: Commit 4b3a53f pushed by github-merge-queue bot
September 29, 2024 09:28 19m 55s main
main
September 29, 2024 09:28 19m 55s
feat: add bv_bitwuzla (#668) docs #463: Commit 251fb9b pushed by github-merge-queue bot
September 29, 2024 08:18 20m 4s main
main
September 29, 2024 08:18 20m 4s
chore: delete dead code (#666) docs #462: Commit 76fb132 pushed by github-merge-queue bot
September 29, 2024 00:58 19m 21s main
main
September 29, 2024 00:58 19m 21s
Predicate support (#656) docs #461: Commit aac5225 pushed by github-merge-queue bot
September 28, 2024 22:09 20m 1s main
main
September 28, 2024 22:09 20m 1s
feat: start experimenting with 'abs' in bv_decide (#665) docs #460: Commit b71ca39 pushed by github-merge-queue bot
September 28, 2024 14:12 19m 42s main
main
September 28, 2024 14:12 19m 42s
chore: update to nightly-2024-09-27 (#664) docs #459: Commit 19b8e1b pushed by github-merge-queue bot
September 28, 2024 06:53 20m 20s main
main
September 28, 2024 06:53 20m 20s
chore: re-hide bv_automata bug (#663) docs #458: Commit 73e02a9 pushed by github-merge-queue bot
September 27, 2024 16:17 21m 50s main
main
September 27, 2024 16:17 21m 50s
feat: DC dialect operators (#654) docs #457: Commit bc40d00 pushed by github-merge-queue bot
September 27, 2024 13:59 20m 41s main
main
September 27, 2024 13:59 20m 41s
chore: updated mathlib 09-26 (#661) docs #456: Commit c0efe64 pushed by github-merge-queue bot
September 27, 2024 09:17 21m 11s main
main
September 27, 2024 09:17 21m 11s
feat: BitVec.zero_sub (#658) docs #455: Commit 831c747 pushed by github-merge-queue bot
September 26, 2024 17:19 20m 1s main
main
September 26, 2024 17:19 20m 1s
feat: add devcontainer support (#659) docs #454: Commit 1b9ebb8 pushed by github-merge-queue bot
September 26, 2024 17:05 20m 45s main
main
September 26, 2024 17:05 20m 45s
chore: use '^^' for Bool.* in ForLean (#657) docs #453: Commit ac0a431 pushed by github-merge-queue bot
September 26, 2024 02:37 19m 40s main
main
September 26, 2024 02:37 19m 40s
chore: update to nightly-2024-09-25 (#655) docs #452: Commit b24dc53 pushed by github-merge-queue bot
September 25, 2024 20:17 20m 17s main
main
September 25, 2024 20:17 20m 17s
chore: update to nightly-2024-09-24 (#653) docs #451: Commit e6e6f63 pushed by github-merge-queue bot
September 24, 2024 17:26 19m 55s main
main
September 24, 2024 17:26 19m 55s