Skip to content

Actions: opencompl/lean-mlir

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
378 workflow run results
378 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Region MVars core library #687: Pull request #94 synchronize by bollu
November 8, 2023 22:20 1m 27s RegionMVarChris
RegionMVarChris
November 8, 2023 22:20 1m 27s
Merge pull request #131 from opencompl/instcombine-paper-example core library #686: Commit 04a1adf pushed by goens
November 8, 2023 22:05 6m 57s main
main
November 8, 2023 22:05 6m 57s
Merge pull request #131 from opencompl/instcombine-paper-example docs #74: Commit 04a1adf pushed by goens
November 8, 2023 22:05 8m 39s main
main
November 8, 2023 22:05 8m 39s
fromTensor: full proof works, two believed sorrys are to be filled in core library #685: Pull request #129 synchronize by bollu
November 8, 2023 21:35 9m 35s poly_rewrites-fromtensor
poly_rewrites-fromtensor
November 8, 2023 21:35 9m 35s
fromTensor: full proof works, two believed sorrys are to be filled in core library #684: Pull request #129 synchronize by bollu
November 8, 2023 21:11 1m 51s poly_rewrites-fromtensor
poly_rewrites-fromtensor
November 8, 2023 21:11 1m 51s
fromTensor: full proof works, two believed sorrys are to be filled in core library #683: Pull request #129 synchronize by bollu
November 8, 2023 20:56 2m 34s poly_rewrites-fromtensor
poly_rewrites-fromtensor
November 8, 2023 20:56 2m 34s
fromTensor: full proof works, two believed sorrys are to be filled in core library #682: Pull request #129 synchronize by bollu
November 8, 2023 19:57 1m 48s poly_rewrites-fromtensor
poly_rewrites-fromtensor
November 8, 2023 19:57 1m 48s
Add alive example from paper core library #681: Pull request #131 synchronize by goens
November 8, 2023 18:34 8m 44s instcombine-paper-example
instcombine-paper-example
November 8, 2023 18:34 8m 44s
Add alive example from paper core library #680: Pull request #131 opened by goens
November 8, 2023 17:40 4m 46s instcombine-paper-example
instcombine-paper-example
November 8, 2023 17:40 4m 46s
Llvm sem core library #679: Pull request #130 synchronize by goens
November 8, 2023 17:29 4m 46s llvm-sem
llvm-sem
November 8, 2023 17:29 4m 46s
Llvm sem core library #678: Pull request #130 synchronize by goens
November 8, 2023 11:55 7m 19s llvm-sem
llvm-sem
November 8, 2023 11:55 7m 19s
Llvm sem core library #677: Pull request #130 synchronize by goens
November 8, 2023 11:38 4m 41s llvm-sem
llvm-sem
November 8, 2023 11:38 4m 41s
Llvm sem core library #676: Pull request #130 synchronize by goens
November 8, 2023 07:25 4m 45s llvm-sem
llvm-sem
November 8, 2023 07:25 4m 45s
Llvm sem core library #675: Pull request #130 synchronize by goens
November 7, 2023 22:06 4m 38s llvm-sem
llvm-sem
November 7, 2023 22:06 4m 38s
Llvm sem core library #674: Pull request #130 opened by goens
November 7, 2023 22:01 1m 55s llvm-sem
llvm-sem
November 7, 2023 22:01 1m 55s
fromTensor: full proof works, two believed sorrys are to be filled in core library #673: Pull request #129 opened by bollu
November 6, 2023 14:11 1m 52s poly_rewrites-fromtensor
poly_rewrites-fromtensor
November 6, 2023 14:11 1m 52s
Implement Full Alive Translation (#126) docs #73: Commit a6ebadc pushed by tobiasgrosser
November 1, 2023 18:45 17m 47s main
main
November 1, 2023 18:45 17m 47s
Implement Full Alive Translation (#126) core library #672: Commit a6ebadc pushed by tobiasgrosser
November 1, 2023 18:45 9m 20s main
main
November 1, 2023 18:45 9m 20s
Implement Full Alive Translation core library #671: Pull request #126 synchronize by bollu
November 1, 2023 17:42 6m 25s alive-auto-generated-full
alive-auto-generated-full
November 1, 2023 17:42 6m 25s
Implement Full Alive Translation core library #670: Pull request #126 synchronize by bollu
November 1, 2023 16:17 7m 52s alive-auto-generated-full
alive-auto-generated-full
November 1, 2023 16:17 7m 52s
Implement Full Alive Translation core library #669: Pull request #126 synchronize by bollu
November 1, 2023 16:15 8m 46s alive-auto-generated-full
alive-auto-generated-full
November 1, 2023 16:15 8m 46s
Implement Full Alive Translation core library #668: Pull request #126 synchronize by bollu
November 1, 2023 16:11 6m 28s alive-auto-generated-full
alive-auto-generated-full
November 1, 2023 16:11 6m 28s
Implement Full Alive Translation core library #667: Pull request #126 synchronize by bollu
November 1, 2023 16:03 8m 15s alive-auto-generated-full
alive-auto-generated-full
November 1, 2023 16:03 8m 15s
[WIP] Poly rewrites (#104) docs #72: Commit 7e1d8a0 pushed by bollu
November 1, 2023 12:37 13m 7s main
main
November 1, 2023 12:37 13m 7s
[WIP] Poly rewrites (#104) core library #666: Commit 7e1d8a0 pushed by bollu
November 1, 2023 12:37 6m 52s main
main
November 1, 2023 12:37 6m 52s