Skip to content

Actions: opencompl/xdsl-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
742 workflow runs
742 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove unused import CI - Pyright #533: Commit 1a0b4cb pushed by math-fehr
January 16, 2025 17:11 34s main
main
January 16, 2025 17:11 34s
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: Allow to match multiple values at once CI - Pyright #532: Commit fa9b0e6 pushed by math-fehr
January 16, 2025 17:02 32s main
main
January 16, 2025 17:02 32s
UB: Add lowering to pairs CI - Pyright #531: Commit 76cfc0e pushed by math-fehr
January 16, 2025 06:24 30s main
main
January 16, 2025 06:24 30s
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
UB: Add verifier for ub.match CI - Pyright #530: Commit 459f55f pushed by math-fehr
January 16, 2025 05:25 34s main
main
January 16, 2025 05:25 34s
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
dialects: Add UB dialect CI - Pyright #529: Commit d9670e3 pushed by math-fehr
January 16, 2025 05:16 35s main
main
January 16, 2025 05:16 35s
Extend cpp translator to support backwards transfer functions (#45) CI - Pyright #528: Commit b085d1f pushed by math-fehr
January 14, 2025 22:53 32s main
main
January 14, 2025 22:53 32s
Extend cpp translator to support backwards transfer functions (#45) Code Formatting #528: Commit b085d1f pushed by math-fehr
January 14, 2025 22:53 21s main
main
January 14, 2025 22:53 21s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #527: Pull request #44 synchronize by Hatsunespica
January 9, 2025 02:00 30s verifier_utils
verifier_utils
January 9, 2025 02:00 30s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #527: Pull request #44 synchronize by Hatsunespica
January 9, 2025 02:00 27s verifier_utils
verifier_utils
January 9, 2025 02:00 27s
Update constructor for MakeOp in transfer dialect Code Formatting #526: Commit 3637190 pushed by Hatsunespica
January 8, 2025 17:59 2m 38s main
main
January 8, 2025 17:59 2m 38s
Update constructor for MakeOp in transfer dialect CI - Pyright #526: Commit 3637190 pushed by Hatsunespica
January 8, 2025 17:59 30s main
main
January 8, 2025 17:59 30s
Merge pull request #56 from opencompl/fix_transfer_cmpop CI - Pyright #525: Commit d3ff70b pushed by Hatsunespica
January 6, 2025 22:08 33s main
main
January 6, 2025 22:08 33s
Merge pull request #56 from opencompl/fix_transfer_cmpop Code Formatting #525: Commit d3ff70b pushed by Hatsunespica
January 6, 2025 22:08 20s main
main
January 6, 2025 22:08 20s
Add init operations for Make and Get op, and fix use of properties to… Code Formatting #524: Pull request #56 opened by Hatsunespica
December 31, 2024 03:44 19s fix_transfer_cmpop
fix_transfer_cmpop
December 31, 2024 03:44 19s
Add init operations for Make and Get op, and fix use of properties to… CI - Pyright #524: Pull request #56 opened by Hatsunespica
December 31, 2024 03:44 38s fix_transfer_cmpop
fix_transfer_cmpop
December 31, 2024 03:44 38s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #523: Pull request #44 synchronize by Hatsunespica
December 25, 2024 21:17 20s verifier_utils
verifier_utils
December 25, 2024 21:17 20s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #523: Pull request #44 synchronize by Hatsunespica
December 25, 2024 21:17 30s verifier_utils
verifier_utils
December 25, 2024 21:17 30s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #522: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 21s verifier_utils
verifier_utils
December 25, 2024 19:01 21s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #522: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 27s verifier_utils
verifier_utils
December 25, 2024 19:01 27s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #521: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 18s verifier_utils
verifier_utils
December 25, 2024 19:01 18s