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

Transfer functions utils added, right now it only includes soundness checks CI - Pyright #521: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 26s verifier_utils
verifier_utils
December 25, 2024 19:01 26s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #520: 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 #520: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 17s verifier_utils
verifier_utils
December 25, 2024 19:01 17s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #519: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 31s verifier_utils
verifier_utils
December 25, 2024 19:01 31s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #519: Pull request #44 synchronize by Hatsunespica
December 25, 2024 19:01 19s verifier_utils
verifier_utils
December 25, 2024 19:01 19s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #518: Pull request #44 synchronize by Hatsunespica
December 20, 2024 18:31 31s verifier_utils
verifier_utils
December 20, 2024 18:31 31s
Transfer functions utils added, right now it only includes soundness checks Code Formatting #518: Pull request #44 synchronize by Hatsunespica
December 20, 2024 18:31 22s verifier_utils
verifier_utils
December 20, 2024 18:31 22s
Add LowerEqPattern and LowerDistinctPattern for pair types (#55) CI - Pyright #517: Commit f7afa07 pushed by math-fehr
December 18, 2024 14:36 33s main
main
December 18, 2024 14:36 33s
Add LowerEqPattern and LowerDistinctPattern for pair types (#55) Code Formatting #517: Commit f7afa07 pushed by math-fehr
December 18, 2024 14:36 23s main
main
December 18, 2024 14:36 23s
Add LowerEqPattern and LowerDistinctPattern for pair types Code Formatting #516: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:25 19s pair_eq
pair_eq
December 18, 2024 04:25 19s
Add LowerEqPattern and LowerDistinctPattern for pair types CI - Pyright #516: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:25 32s pair_eq
pair_eq
December 18, 2024 04:25 32s
Add LowerEqPattern and LowerDistinctPattern for pair types Code Formatting #515: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:23 17s pair_eq
pair_eq
December 18, 2024 04:23 17s
Add LowerEqPattern and LowerDistinctPattern for pair types CI - Pyright #515: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:23 37s pair_eq
pair_eq
December 18, 2024 04:23 37s
Add LowerEqPattern and LowerDistinctPattern for pair types Code Formatting #514: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:22 17s pair_eq
pair_eq
December 18, 2024 04:22 17s
Add LowerEqPattern and LowerDistinctPattern for pair types CI - Pyright #514: Pull request #55 synchronize by Hatsunespica
December 18, 2024 04:22 28s pair_eq
pair_eq
December 18, 2024 04:22 28s
Add LowerEqPattern and LowerDistinctPattern for pair types Code Formatting #513: Pull request #55 opened by Hatsunespica
December 18, 2024 04:21 19s pair_eq
pair_eq
December 18, 2024 04:21 19s
Add LowerEqPattern and LowerDistinctPattern for pair types CI - Pyright #513: Pull request #55 opened by Hatsunespica
December 18, 2024 04:21 32s pair_eq
pair_eq
December 18, 2024 04:21 32s
Add eval op and its test case (#54) CI - Pyright #512: Commit 40c22eb pushed by math-fehr
December 17, 2024 00:51 33s main
main
December 17, 2024 00:51 33s
Add eval op and its test case (#54) Code Formatting #512: Commit 40c22eb pushed by math-fehr
December 17, 2024 00:51 19s main
main
December 17, 2024 00:51 19s
Add eval op and its test case CI - Pyright #511: Pull request #54 synchronize by Hatsunespica
December 17, 2024 00:49 32s eval_op
eval_op
December 17, 2024 00:49 32s
Add eval op and its test case Code Formatting #511: Pull request #54 synchronize by Hatsunespica
December 17, 2024 00:49 24s eval_op
eval_op
December 17, 2024 00:49 24s
Add eval op and its test case CI - Pyright #510: Pull request #54 opened by Hatsunespica
December 17, 2024 00:47 43s eval_op
eval_op
December 17, 2024 00:47 43s
Add eval op and its test case Code Formatting #510: Pull request #54 opened by Hatsunespica
December 17, 2024 00:47 25s eval_op
eval_op
December 17, 2024 00:47 25s
Generic integer semantics Code Formatting #509: Pull request #51 synchronize by qaco
December 16, 2024 22:42 19s qaco:general_int_semantics
qaco:general_int_semantics
December 16, 2024 22:42 19s
Generic integer semantics CI - Pyright #509: Pull request #51 synchronize by qaco
December 16, 2024 22:42 32s qaco:general_int_semantics
qaco:general_int_semantics
December 16, 2024 22:42 32s