Skip to content

Actions: opencompl/xdsl-smt

Actions

Code Formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make all SMT-LIB variables start with $ Code Formatting #553: Commit d5ded75 pushed by math-fehr
March 13, 2025 07:22 20s main
main
March 13, 2025 07:22 20s
Change pdl-to-smt tests to not print SMT-LIB Code Formatting #552: Commit 90f5116 pushed by math-fehr
March 13, 2025 06:01 18s main
main
March 13, 2025 06:01 18s
Remove trailing whitespace Code Formatting #551: Commit cf58700 pushed by math-fehr
March 13, 2025 02:36 19s main
main
March 13, 2025 02:36 19s
Make canonicalize-smt tests not rely on the SMT-LIB printer Code Formatting #550: Commit f467796 pushed by math-fehr
March 13, 2025 02:32 24s main
main
March 13, 2025 02:32 24s
Merge pull request #58 from opencompl/fix_transfer_shifting Code Formatting #549: Commit af5a948 pushed by math-fehr
March 11, 2025 03:51 24s main
main
March 11, 2025 03:51 24s
Merge pull request #44 from opencompl/verifier_utils Code Formatting #548: Commit 9ef927f pushed by math-fehr
March 11, 2025 03:48 24s main
main
March 11, 2025 03:48 24s
Add lowering semantics for a/l shifting right Code Formatting #547: Pull request #58 opened by Hatsunespica
March 6, 2025 20:00 26s fix_transfer_shifting
fix_transfer_shifting
March 6, 2025 20:00 26s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #546: Pull request #44 synchronize by Hatsunespica
February 26, 2025 16:37 21s verifier_utils
verifier_utils
February 26, 2025 16:37 21s
Fix failing test Code Formatting #545: Commit 275fffb pushed by math-fehr
February 17, 2025 19:19 21s main
main
February 17, 2025 19:19 21s
Fix update to latest xDSL version Code Formatting #544: Commit ffeb057 pushed by math-fehr
February 17, 2025 19:17 19s main
main
February 17, 2025 19:17 19s
Add generic integer semantics Code Formatting #543: Commit 774564e pushed by math-fehr
February 17, 2025 19:13 29s main
main
February 17, 2025 19:13 29s
Generic integer semantics Code Formatting #542: Pull request #51 synchronize by math-fehr
February 17, 2025 19:11 28s qaco:general_int_semantics
qaco:general_int_semantics
February 17, 2025 19:11 28s
remove operands because of binOp (#57) Code Formatting #541: Commit 4b702b7 pushed by math-fehr
February 11, 2025 14:14 25s main
main
February 11, 2025 14:14 25s
Remove operands because of binOp Code Formatting #540: Pull request #57 opened by Hatsunespica
February 11, 2025 14:05 20s fix_transfer_dialect
fix_transfer_dialect
February 11, 2025 14:05 20s
ub: Improve constructor of MatchOp Code Formatting #539: Commit f65493f pushed by math-fehr
February 10, 2025 13:08 23s main
main
February 10, 2025 13:08 23s
More update on CI Code Formatting #538: Commit 8b51312 pushed by math-fehr
February 5, 2025 19:40 17s main
main
February 5, 2025 19:40 17s
Improve pyright CI Code Formatting #537: Commit 7a59dbf pushed by math-fehr
February 5, 2025 19:39 26s main
main
February 5, 2025 19:39 26s
Update to latest xDSL Code Formatting #536: Commit 76d898b pushed by math-fehr
February 5, 2025 19:30 32s main
main
February 5, 2025 19:30 32s
Add missing pass to xdsl-smt Code Formatting #535: Commit 346154c pushed by math-fehr
January 31, 2025 18:51 2m 44s main
main
January 31, 2025 18:51 2m 44s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #534: Pull request #44 synchronize by Hatsunespica
January 23, 2025 04:48 23s verifier_utils
verifier_utils
January 23, 2025 04:48 23s
Remove unused import Code Formatting #533: Commit 1a0b4cb pushed by math-fehr
January 16, 2025 17:11 24s main
main
January 16, 2025 17:11 24s
UB: Allow to match multiple values at once Code Formatting #532: Commit fa9b0e6 pushed by math-fehr
January 16, 2025 17:02 25s main
main
January 16, 2025 17:02 25s
UB: Add lowering to pairs Code Formatting #531: Commit 76cfc0e pushed by math-fehr
January 16, 2025 06:24 19s main
main
January 16, 2025 06:24 19s
UB: Add verifier for ub.match Code Formatting #530: Commit 459f55f pushed by math-fehr
January 16, 2025 05:25 28s main
main
January 16, 2025 05:25 28s
dialects: Add UB dialect Code Formatting #529: Commit d9670e3 pushed by math-fehr
January 16, 2025 05:16 21s main
main
January 16, 2025 05:16 21s