Skip to content

Actions: opencompl/xdsl-smt

Actions

CI - Pyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-pyright.yml
445 workflow runs
445 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isolate SMT lowerer CI - Pyright #475: Pull request #48 synchronize by qaco
28s isolate_smt_lowerer
isolate_smt_lowerer
28s
Isolate SMT lowerer CI - Pyright #474: Pull request #48 synchronize by qaco
31s isolate_smt_lowerer
isolate_smt_lowerer
31s
Isolate SMT lowerer CI - Pyright #473: Pull request #48 opened by qaco
36s isolate_smt_lowerer
isolate_smt_lowerer
36s
Proofs on generic integers integration CI - Pyright #472: Pull request #47 synchronize by qaco
43s manual_parametric_int
manual_parametric_int
43s
Proofs on generic integers integration CI - Pyright #471: Pull request #47 synchronize by qaco
31s manual_parametric_int
manual_parametric_int
31s
Proofs on generic integers integration CI - Pyright #470: Pull request #47 synchronize by qaco
34s manual_parametric_int
manual_parametric_int
34s
Proofs on generic integers integration CI - Pyright #469: Pull request #47 synchronize by qaco
45s manual_parametric_int
manual_parametric_int
45s
Proofs on generic integers integration CI - Pyright #468: Pull request #47 synchronize by qaco
1m 50s manual_parametric_int
manual_parametric_int
1m 50s
Proofs on generic integers integration CI - Pyright #467: Pull request #47 synchronize by qaco
39s manual_parametric_int
manual_parametric_int
39s
Proofs on generic integers integration CI - Pyright #466: Pull request #47 synchronize by qaco
44s manual_parametric_int
manual_parametric_int
44s
Proofs on generic integers integration CI - Pyright #465: Pull request #47 opened by qaco
32s manual_parametric_int
manual_parametric_int
32s
ReversBits op added for transfer dialect CI - Pyright #464: Pull request #43 synchronize by Hatsunespica
47s reverse_bits
reverse_bits
47s
ReversBits op added for transfer dialect CI - Pyright #463: Pull request #43 synchronize by Hatsunespica
38s reverse_bits
reverse_bits
38s
Extend cpp translator to support backwards transfer functions CI - Pyright #462: Pull request #45 opened by Hatsunespica
29s cpp_translate
cpp_translate
29s
Transfer functions utils added, right now it only includes soundness checks CI - Pyright #461: Pull request #44 opened by Hatsunespica
27s verifier_utils
verifier_utils
27s
ReversBits op added for transfer dialect CI - Pyright #460: Pull request #43 opened by Hatsunespica
1m 22s reverse_bits
reverse_bits
1m 22s
Add lower pairs support for Forall Op (#42) CI - Pyright #459: Commit 56f8351 pushed by math-fehr
39s main
main
39s
Add lower pairs support for Forall Op CI - Pyright #458: Pull request #42 synchronize by Hatsunespica
32s forall-lower-pairs
forall-lower-pairs
32s
Add lower pairs support for Forall Op CI - Pyright #457: Pull request #42 synchronize by Hatsunespica
33s forall-lower-pairs
forall-lower-pairs
33s
Add lower pairs support for Forall Op CI - Pyright #456: Pull request #42 synchronize by Hatsunespica
34s forall-lower-pairs
forall-lower-pairs
34s
Add lower pairs support for Forall Op CI - Pyright #455: Pull request #42 synchronize by Hatsunespica
37s forall-lower-pairs
forall-lower-pairs
37s
Add lower pairs support for Forall Op CI - Pyright #454: Pull request #42 opened by Hatsunespica
31s forall-lower-pairs
forall-lower-pairs
31s
This PR add forwards and backwards soundness checks for transfer dialect CI - Pyright #453: Pull request #41 synchronize by Hatsunespica
30s merge_backwards
merge_backwards
30s
This PR add forwards and backwards soundness checks for transfer dialect CI - Pyright #452: Pull request #41 synchronize by Hatsunespica
30s merge_backwards
merge_backwards
30s
This PR add forwards and backwards soundness checks for transfer dialect CI - Pyright #451: Pull request #41 synchronize by Hatsunespica
33s merge_backwards
merge_backwards
33s
ProTip! You can narrow down the results and go further in time using created:<2024-11-19 or the other filters available.