Skip to content

Actions: xdslproject/xdsl-pdl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
135 workflow runs
135 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

progress on interpreter based analysis Code Formatting #31: Commit 03be88a pushed by martin-luecke
February 20, 2024 07:49 33s main
main
February 20, 2024 07:49 33s
advancing interpreter-based analysis CI - Pyright #29: Commit 0bbd6ef pushed by martin-luecke
February 6, 2024 12:57 55s main
main
February 6, 2024 12:57 55s
advancing interpreter-based analysis Code Formatting #30: Commit 0bbd6ef pushed by martin-luecke
February 6, 2024 12:57 36s main
main
February 6, 2024 12:57 36s
add and register TestTerminatorOp Code Formatting #29: Commit 3fbb660 pushed by martin-luecke
January 23, 2024 12:40 23s main
main
January 23, 2024 12:40 23s
add and register TestTerminatorOp CI - Pyright #28: Commit 3fbb660 pushed by martin-luecke
January 23, 2024 12:40 28s main
main
January 23, 2024 12:40 28s
bump xdsl version + fix induced issues CI - Pyright #27: Commit 09250a6 pushed by martin-luecke
January 23, 2024 10:53 29s main
main
January 23, 2024 10:53 29s
bump xdsl version + fix induced issues Code Formatting #28: Commit 09250a6 pushed by martin-luecke
January 23, 2024 10:53 24s main
main
January 23, 2024 10:53 24s
Improve counter-example generation Code Formatting #27: Commit f95abf3 pushed by math-fehr
January 19, 2024 17:14 29s main
main
January 19, 2024 17:14 29s
Improve counter-example generation CI - Pyright #26: Commit f95abf3 pushed by math-fehr
January 19, 2024 17:14 31s main
main
January 19, 2024 17:14 31s
initial stub for PDLInterpreter extension CI - Pyright #25: Commit 1ee49fc pushed by martin-luecke
January 19, 2024 11:34 29s main
main
January 19, 2024 11:34 29s
initial stub for PDLInterpreter extension Code Formatting #26: Commit 1ee49fc pushed by martin-luecke
January 19, 2024 11:34 26s main
main
January 19, 2024 11:34 26s
Fix replacements of ops that produe no results CI - Pyright #24: Commit a89d951 pushed by martin-luecke
January 17, 2024 13:57 35s main
main
January 17, 2024 13:57 35s
Fix replacements of ops that produe no results Code Formatting #25: Commit a89d951 pushed by martin-luecke
January 17, 2024 13:57 21s main
main
January 17, 2024 13:57 21s
add case for replacing a generated op with itself Code Formatting #24: Commit 97044de pushed by martin-luecke
January 16, 2024 13:06 24s main
main
January 16, 2024 13:06 24s
add case for replacing a generated op with itself CI - Pyright #23: Commit 97044de pushed by martin-luecke
January 16, 2024 13:06 25s main
main
January 16, 2024 13:06 25s
Fix printing of status CI - Pyright #22: Commit 1febb7b pushed by martin-luecke
January 16, 2024 11:24 31s main
main
January 16, 2024 11:24 31s
Fix printing of status Code Formatting #23: Commit 1febb7b pushed by martin-luecke
January 16, 2024 11:24 25s main
main
January 16, 2024 11:24 25s
Mark unsafe erasures as fail CI - Pyright #21: Commit 96a0b76 pushed by martin-luecke
January 16, 2024 10:19 27s main
main
January 16, 2024 10:19 27s
Mark unsafe erasures as fail Code Formatting #22: Commit 96a0b76 pushed by martin-luecke
January 16, 2024 10:19 21s main
main
January 16, 2024 10:19 21s
specify return types of static and dynamic execution more precisely Code Formatting #21: Commit eed75e9 pushed by martin-luecke
January 12, 2024 17:32 22s main
main
January 12, 2024 17:32 22s
specify return types of static and dynamic execution more precisely CI - Pyright #20: Commit eed75e9 pushed by martin-luecke
January 12, 2024 17:32 36s main
main
January 12, 2024 17:32 36s
Improve analysis CI - Pyright #19: Commit 0c8136b pushed by martin-luecke
January 12, 2024 15:17 29s main
main
January 12, 2024 15:17 29s
Improve analysis Code Formatting #20: Commit 0c8136b pushed by martin-luecke
January 12, 2024 15:17 22s main
main
January 12, 2024 15:17 22s
Check that there is a match Code Formatting #19: Commit 3531b4f pushed by math-fehr
January 11, 2024 18:06 22s main
main
January 11, 2024 18:06 22s
Check that there is a match CI - Pyright #18: Commit 3531b4f pushed by math-fehr
January 11, 2024 18:06 29s main
main
January 11, 2024 18:06 29s