Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
144 workflow runs
144 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #134: Pull request #25 synchronize by coeff-aij
55s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
55s
Add annotation support for trait methods and verify that implementations satisfy them .github/workflows/ci.yml #133: Pull request #25 opened by coeff-aij
1m 14s coeff-aij:annot-preds-trait
coeff-aij:annot-preds-trait
1m 14s
Support defining predicates using #[thrust::predicate] attribute wi… .github/workflows/ci.yml #132: Commit 51084c6 pushed by coeff-aij
1m 3s main
main
1m 3s
Support defining predicates using #[thrust::predicate] attribute wi… .github/workflows/docs.yml #18: Commit 51084c6 pushed by coeff-aij
1m 0s main
main
1m 0s
Merge pull request #18 from coord-e/std-specs .github/workflows/docs.yml #17: Commit 7a5e42b pushed by coord-e
51s main
main
51s
Merge pull request #18 from coord-e/std-specs .github/workflows/ci.yml #131: Commit 7a5e42b pushed by coord-e
1m 23s main
main
1m 23s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #130: Pull request #23 synchronize by coeff-aij
1m 11s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
1m 11s
Support annotations for methods in impl blocks .github/workflows/ci.yml #129: Pull request #24 opened by coeff-aij
1m 2s coeff-aij:annot-preds-impl
coeff-aij:annot-preds-impl
1m 2s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #128: Pull request #23 synchronize by coeff-aij
54s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
54s
Support defining predicates using #[thrust::predicate] attribute with fn statements .github/workflows/ci.yml #127: Pull request #23 opened by coeff-aij
1m 13s coeff-aij:annot-preds-define
coeff-aij:annot-preds-define
1m 13s
Support user-defined predicate call in annotation (#22) .github/workflows/ci.yml #126: Commit bd871bf pushed by coeff-aij
1m 18s main
main
1m 18s
Support user-defined predicate call in annotation (#22) .github/workflows/docs.yml #16: Commit bd871bf pushed by coeff-aij
48s main
main
48s
Support user-defined predicate call in annotation .github/workflows/ci.yml #125: Pull request #22 synchronize by coeff-aij
1m 16s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 16s
Support user-defined predicate call in annotation .github/workflows/ci.yml #124: Pull request #22 synchronize by coeff-aij
1m 2s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 2s
Support user-defined predicate call in annotation .github/workflows/ci.yml #123: Pull request #22 synchronize by coeff-aij
57s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
57s
Support user-defined predicate call in annotation .github/workflows/ci.yml #122: Pull request #22 synchronize by coeff-aij
57s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
57s
Insert raw commands into .smt2 file with #![raw_command()] attribute … .github/workflows/docs.yml #15: Commit cd26f00 pushed by coeff-aij
43s main
main
43s
Insert raw commands into .smt2 file with #![raw_command()] attribute … .github/workflows/ci.yml #121: Commit cd26f00 pushed by coeff-aij
55s main
main
55s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #120: Pull request #21 synchronize by coeff-aij
1m 13s coeff-aij:raw-define
coeff-aij:raw-define
1m 13s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #119: Pull request #21 synchronize by coeff-aij
1m 9s coeff-aij:raw-define
coeff-aij:raw-define
1m 9s
Support user-defined predicate call in annotation .github/workflows/ci.yml #118: Pull request #22 synchronize by coeff-aij
1m 0s coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
1m 0s
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #117: Pull request #21 synchronize by coeff-aij
1m 6s coeff-aij:raw-define
coeff-aij:raw-define
1m 6s
Support user-defined predicate call in annotation .github/workflows/ci.yml #116: Pull request #22 synchronize by coeff-aij
Action required coeff-aij:annot-preds-call
coeff-aij:annot-preds-call
Action required
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #115: Pull request #21 synchronize by coeff-aij
Action required coeff-aij:raw-define
coeff-aij:raw-define
Action required
Insert raw commands into .smt2 file with #![raw_command()] attribute .github/workflows/ci.yml #114: Pull request #21 synchronize by coeff-aij
Action required coeff-aij:raw-define
coeff-aij:raw-define
Action required