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

Merge pull request #141 from opencompl/scf-for-fusion docs #100: Commit 5311207 pushed by alexkeizer
January 22, 2024 15:13 1m 31s main
main
January 22, 2024 15:13 1m 31s
Edsl cleanup refactor (#158) docs #99: Commit a1d8513 pushed by bollu
January 11, 2024 22:58 1m 15s main
main
January 11, 2024 22:58 1m 15s
Merge pull request #128 from opencompl/transform-dialect-generic-no-m… docs #98: Commit caf0dff pushed by alexkeizer
January 10, 2024 21:41 1m 18s main
main
January 10, 2024 21:41 1m 18s
feat: Separate lib for Alive examples (#147) docs #97: Commit eee6843 pushed by bollu
January 10, 2024 18:58 1m 20s main
main
January 10, 2024 18:58 1m 20s
feat: plan to validate our semantics against LLVM. docs #96: Commit 0c7af61 pushed by bollu
January 10, 2024 15:30 1m 20s main
main
January 10, 2024 15:30 1m 20s
feat: add LICENSE docs #95: Commit 9f01e6b pushed by bollu
January 9, 2024 15:56 1m 22s main
main
January 9, 2024 15:56 1m 22s
feat: add derived contexts, that bundle a context difference w.r.t so… docs #94: Commit f7d54d1 pushed by bollu
January 8, 2024 18:02 2m 44s main
main
January 8, 2024 18:02 2m 44s
Correctness proof for fuel based peephole rewrite applier (#145) docs #93: Commit a37ebf8 pushed by bollu
December 8, 2023 06:17 1m 15s main
main
December 8, 2023 06:17 1m 15s
Do not run lake update and see if this fixes docgen docs #92: Commit 0c70c2a pushed by tobiasgrosser
December 4, 2023 12:46 1m 18s main
main
December 4, 2023 12:46 1m 18s
Common Subexpression Elimination (squashed) (#143) docs #91: Commit 7934d7f pushed by tobiasgrosser
December 4, 2023 08:35 37s main
main
December 4, 2023 08:35 37s
Merge branch 'main' of https://github.com/opencompl/ssa docs #90: Commit bafe49b pushed by alexkeizer
November 17, 2023 11:31 14m 38s main
main
November 17, 2023 11:31 14m 38s
feat: add rewriter that's based on fuel, which tries applying the rew… docs #89: Commit 6283edb pushed by bollu
November 16, 2023 02:49 14m 6s main
main
November 16, 2023 02:49 14m 6s
Add syntactic sugar for HVector docs #88: Commit 9a46d69 pushed by goens
November 15, 2023 19:00 14m 33s main
main
November 15, 2023 19:00 14m 33s
feat: always test AliveAutoGenerated (#140) docs #87: Commit 3ada315 pushed by bollu
November 15, 2023 06:46 24m 28s main
main
November 15, 2023 06:46 24m 28s
Move ext processing to 'alive_auto' (#139) docs #86: Commit 24ae230 pushed by bollu
November 14, 2023 23:20 9m 13s main
main
November 14, 2023 23:20 9m 13s
Scf.if, Scf.for operations. (#133) docs #85: Commit 9761197 pushed by bollu
November 14, 2023 22:15 9m 3s main
main
November 14, 2023 22:15 9m 3s
Try the 'ext' branch (#136) docs #84: Commit fe61904 pushed by tobiasgrosser
November 14, 2023 21:09 9m 51s main
main
November 14, 2023 21:09 9m 51s
fix lake invocation with -R docs #83: Commit 379e58b pushed by bollu
November 14, 2023 19:45 9m 8s main
main
November 14, 2023 19:45 9m 8s
fix: create phony build/doc folder if docgen fails docs #82: Commit e6dd7a4 pushed by bollu
November 14, 2023 16:44 1m 34s main
main
November 14, 2023 16:44 1m 34s
change docgen.sh to ignore failed doc build docs #81: Commit ef8e95e pushed by bollu
November 14, 2023 16:41 1m 16s main
main
November 14, 2023 16:41 1m 16s
chore: remove lakefile.olean (#137) docs #80: Commit a5dcb87 pushed by tobiasgrosser
November 14, 2023 16:27 1m 16s main
main
November 14, 2023 16:27 1m 16s
Found another theorem that is already proven docs #79: Commit e33817c pushed by tobiasgrosser
November 13, 2023 20:29 1m 14s main
main
November 13, 2023 20:29 1m 14s
Use ring to solve Alive theorems (#134) docs #78: Commit 1fc339f pushed by tobiasgrosser
November 13, 2023 19:25 1m 13s main
main
November 13, 2023 19:25 1m 13s
feat: fix select semantics to lazily evaluate arguments (#135) docs #77: Commit b51dfa6 pushed by tobiasgrosser
November 13, 2023 17:50 15m 11s main
main
November 13, 2023 17:50 15m 11s
fromTensor: full proof works, two believed sorrys are to be filled in… docs #76: Commit 8ce82f1 pushed by bollu
November 9, 2023 13:44 13m 25s main
main
November 9, 2023 13:44 13m 25s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.