Skip to content

Actions: opencompl/xdsl-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
898 workflow runs
898 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add utils function to get path to mlir-fuzz executables. Code Formatting #827: Commit 94fe7b3 pushed by math-fehr
20s main
main
20s
Add utils function to get path to mlir-fuzz executables. CI - Pyright #827: Commit 94fe7b3 pushed by math-fehr
43s main
main
43s
Allow to synthesize refinements CI - Pyright #826: Commit 3253dfb pushed by math-fehr
38s main
main
38s
Allow to synthesize refinements Code Formatting #826: Commit 3253dfb pushed by math-fehr
18s main
main
18s
Support refinements in xdsl-synth Code Formatting #825: Commit 4ce7ab5 pushed by math-fehr
27s main
main
27s
Support refinements in xdsl-synth CI - Pyright #825: Commit 4ce7ab5 pushed by math-fehr
36s main
main
36s
Add support for smt -> arith refinements CI - Pyright #824: Commit b07ded4 pushed by math-fehr
33s main
main
33s
Add support for smt -> arith refinements Code Formatting #824: Commit b07ded4 pushed by math-fehr
17s main
main
17s
Move more logic to refinements.py CI - Pyright #823: Commit ac89230 pushed by math-fehr
28s main
main
28s
Move more logic to refinements.py Code Formatting #823: Commit ac89230 pushed by math-fehr
23s main
main
23s
Fix another use of refinement CI - Pyright #822: Commit 6dd4b91 pushed by math-fehr
38s main
main
38s
Fix another use of refinement Code Formatting #822: Commit 6dd4b91 pushed by math-fehr
22s main
main
22s
Decouple value semantics with UB semantics CI - Pyright #821: Commit 2c0d14a pushed by math-fehr
36s main
main
36s
Decouple value semantics with UB semantics Code Formatting #821: Commit 2c0d14a pushed by math-fehr
23s main
main
23s
Remove unused import CI - Pyright #820: Commit 724f180 pushed by math-fehr
38s main
main
38s
Remove unused import Code Formatting #820: Commit 724f180 pushed by math-fehr
21s main
main
21s
Improve z3 connection, and allow use-input-ops CI - Pyright #819: Commit 0be43f9 pushed by math-fehr
37s main
main
37s
Improve z3 connection, and allow use-input-ops Code Formatting #819: Commit 0be43f9 pushed by math-fehr
18s main
main
18s
Fix formatting and pyright Code Formatting #818: Commit 55cdfd4 pushed by math-fehr
21s main
main
21s
Fix formatting and pyright CI - Pyright #818: Commit 55cdfd4 pushed by math-fehr
39s main
main
39s
Clean up the synthesizer and make it work end to end CI - Pyright #817: Commit ca56293 pushed by math-fehr
48s main
main
48s
Clean up the synthesizer and make it work end to end Code Formatting #817: Commit ca56293 pushed by math-fehr
27s main
main
27s
Add SMT Tensor Dialect (#77) CI - Pyright #816: Commit c711c00 pushed by math-fehr
31s main
main
31s
Add SMT Tensor Dialect (#77) Code Formatting #816: Commit c711c00 pushed by math-fehr
23s main
main
23s
Add SMT Tensor Dialect Code Formatting #815: Pull request #77 synchronize by Hatsunespica
24s tensor-merge
tensor-merge
24s