Skip to content

Actions: coord-e/thrust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
756 workflow runs
756 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #619: Pull request #93 synchronize by coeff-aij
1m 3s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 3s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #618: Pull request #93 synchronize by coeff-aij
57s coeff-aij:forall-sort
coeff-aij:forall-sort
57s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #617: Pull request #93 synchronize by coeff-aij
1m 2s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 2s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #616: Pull request #93 synchronize by coeff-aij
58s coeff-aij:forall-sort
coeff-aij:forall-sort
58s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #615: Pull request #93 synchronize by coeff-aij
1m 3s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 3s
Implement loop invariant annotation .github/workflows/ci.yml #614: Pull request #95 synchronize by coord-e
1m 17s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 17s
Add loop invariant annotations .github/workflows/ci.yml #613: Commit 70d145b pushed by coord-e
1m 9s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 9s
Refine type-position terminology and drop non-empty invariant .github/workflows/ci.yml #612: Commit e39d33c pushed by coord-e
1m 21s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 21s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #611: Pull request #98 synchronize by coord-e
1m 30s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 30s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #610: Pull request #98 synchronize by coord-e
1m 16s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 16s
Clarify refinement type-position naming and align Display with syntax .github/workflows/ci.yml #609: Commit d5a1576 pushed by coord-e
1m 9s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 9s
Implement loop invariant annotation .github/workflows/ci.yml #608: Pull request #95 synchronize by coord-e
1m 16s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 16s
Error on ambiguous invariant variable instead of silent first-match .github/workflows/ci.yml #607: Commit c9cf2af pushed by coord-e
1m 11s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 11s
Implement loop invariant annotation .github/workflows/ci.yml #606: Pull request #95 synchronize by coord-e
1m 14s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 14s
Move invariant marker into thrust_models, split macro module, allow n… .github/workflows/ci.yml #605: Commit d42506e pushed by coord-e
1m 13s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 13s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #604: Pull request #98 synchronize by coord-e
1m 20s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 20s
Use $i / bare integer syntax for refinement_path type positions .github/workflows/ci.yml #603: Commit dc425fb pushed by coord-e
1m 7s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 7s
Implement loop invariant annotation .github/workflows/ci.yml #602: Pull request #95 synchronize by coord-e
1m 28s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 28s
Support Self-typed variables in loop invariants .github/workflows/ci.yml #601: Commit ebc3637 pushed by coord-e
1m 11s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 11s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #600: Pull request #98 synchronize by coord-e
1m 9s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 9s
Extract refinement-type annotation macros into refine module .github/workflows/ci.yml #599: Commit fad37e2 pushed by coord-e
1m 10s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 10s
Add param/ret/sig refinement-type annotations via thrust_macros .github/workflows/ci.yml #598: Pull request #98 synchronize by coord-e
1m 7s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 7s
Rename thrust::refine attribute to thrust::refinement_path .github/workflows/ci.yml #597: Commit c2c0381 pushed by coord-e
1m 7s claude/eager-lovelace-8wLLI
claude/eager-lovelace-8wLLI
1m 7s
Encode unknown generic type parameters with (declare-forall-sort) .github/workflows/ci.yml #596: Pull request #93 synchronize by coeff-aij
1m 1s coeff-aij:forall-sort
coeff-aij:forall-sort
1m 1s
Implement loop invariant annotation .github/workflows/ci.yml #595: Pull request #95 synchronize by coord-e
1m 9s claude/reduce-pvar-allocation-XFxwT
claude/reduce-pvar-allocation-XFxwT
1m 9s