Skip to content

Actions: xdslproject/xdsl-pdl

Actions

Code Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code-formatting.yml
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve MLIR analysis Code Formatting #18: Commit aa7d7b6 pushed by math-fehr
January 11, 2024 17:50 23s main
main
January 11, 2024 17:50 23s
Use all operations so replace with itself is properly tested Code Formatting #17: Commit 6a489b2 pushed by math-fehr
January 11, 2024 13:50 20s main
main
January 11, 2024 13:50 20s
Update to more recent xDSL Code Formatting #16: Commit 6930553 pushed by math-fehr
January 9, 2024 23:07 19s main
main
January 9, 2024 23:07 19s
Display the seeds that are failing Code Formatting #15: Commit c658fa6 pushed by math-fehr
January 9, 2024 20:16 22s main
main
January 9, 2024 20:16 22s
Paralellize table generation Code Formatting #14: Commit 01c53b4 pushed by math-fehr
January 9, 2024 16:55 29s main
main
January 9, 2024 16:55 29s
fix generated table Code Formatting #13: Commit da274c1 pushed by martin-luecke
January 8, 2024 14:39 37s main
main
January 8, 2024 14:39 37s
Run pre-commit Code Formatting #12: Commit 38ff69f pushed by math-fehr
December 17, 2023 00:53 41s main
main
December 17, 2023 00:53 41s
Only generate verifying rewrites Code Formatting #11: Commit c7369c4 pushed by math-fehr
December 17, 2023 00:51 31s main
main
December 17, 2023 00:51 31s
Fix analysis of rewrites where operation is inaccesible Code Formatting #10: Commit 068376a pushed by math-fehr
November 28, 2023 19:24 21s main
main
November 28, 2023 19:24 21s
Adding support for analysis of operations replaced by values Code Formatting #9: Commit ddad126 pushed by math-fehr
November 28, 2023 19:06 18s main
main
November 28, 2023 19:06 18s
initial setup for pdl extensions + interpreter extensions Code Formatting #8: Commit 1b50f01 pushed by martin-luecke
November 27, 2023 08:17 24s main
main
November 27, 2023 08:17 24s
fix formatting errors Code Formatting #7: Commit 4ccec8a pushed by martin-luecke
November 27, 2023 07:44 35s main
main
November 27, 2023 07:44 35s
Print table after analysis Code Formatting #6: Commit 747a7ca pushed by martin-luecke
November 14, 2023 15:03 23s main
main
November 14, 2023 15:03 23s
Fix tools by allowing unregistered dialects Code Formatting #5: Commit 418711e pushed by math-fehr
November 14, 2023 11:46 18s main
main
November 14, 2023 11:46 18s
Fix code formatting Code Formatting #4: Commit f198771 pushed by math-fehr
November 13, 2023 17:24 18s main
main
November 13, 2023 17:24 18s
Update CI and pyproject Code Formatting #3: Commit 53ada70 pushed by math-fehr
November 13, 2023 17:23 27s main
main
November 13, 2023 17:23 27s
Add pyright github workflow Code Formatting #2: Commit 6bbed0c pushed by math-fehr
November 13, 2023 17:18 32s main
main
November 13, 2023 17:18 32s
Add github workflow to check for code formatting Code Formatting #1: Commit 9b547fb pushed by math-fehr
November 13, 2023 17:13 30s main
main
November 13, 2023 17:13 30s