Skip to content

Actions: alcides/aeon

Actions

Ruff

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ruff.yml
1,676 workflow runs
1,676 workflow runs

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
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2173: Pull request #405 synchronize by alcides
11s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
11s
feat(typecheck): path-sensitive match — check each branch under the c… Ruff #2172: Commit 853f4f1 pushed by alcides
12s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
12s
fix(bind): resolve forward references between mutually-recursive inductives (Z3 "Sort mismatch") Ruff #2171: Pull request #414 opened by alcides
14s claude/eloquent-heisenberg-z86jqx
claude/eloquent-heisenberg-z86jqx
14s
fix(bind): resolve forward references between mutually-recursive indu… Ruff #2170: Commit acf5239 pushed by alcides
12s claude/eloquent-heisenberg-z86jqx
claude/eloquent-heisenberg-z86jqx
12s
examples(cata): complete the Contata benchmark transcription (all 30)… Ruff #2169: Commit cd65147 pushed by alcides
10s master
master
10s
examples(cata): complete the Contata benchmark transcription (remaining 23) Ruff #2168: Pull request #413 opened by alcides
10s claude/contata-benchmarks-rest
claude/contata-benchmarks-rest
10s
examples(cata): complete the Contata benchmark transcription (all 30) Ruff #2167: Commit 10e6358 pushed by alcides
11s claude/contata-benchmarks-rest
claude/contata-benchmarks-rest
11s
Merge pull request #411 from alcides/claude/contata-benchmarks Ruff #2166: Commit 5c54a83 pushed by alcides
15s claude/happy-lamarr-88355b
claude/happy-lamarr-88355b
15s
feat(syntax): write equality as = and binding as := Ruff #2165: Commit c17f50e pushed by alcides
9s claude/happy-lamarr-88355b
claude/happy-lamarr-88355b
9s
Merge pull request #411 from alcides/claude/contata-benchmarks Ruff #2164: Commit 5c54a83 pushed by alcides
17s master
master
17s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2163: Pull request #405 synchronize by alcides
30s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
30s
feat(synquid): qualifier template instantiation for liquid abduction … Ruff #2162: Commit 38bc827 pushed by alcides
31s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
31s
examples(cata): faithful Contata benchmark transcription + pin local Python to 3.13 Ruff #2161: Pull request #411 opened by alcides
15s claude/contata-benchmarks
claude/contata-benchmarks
15s
build: pin local interpreter to CPython 3.13 via .python-version Ruff #2160: Commit 93a1cd0 pushed by alcides
13s claude/contata-benchmarks
claude/contata-benchmarks
13s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2159: Pull request #405 synchronize by alcides
12s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
12s
feat(synquid): paper items 2-4 — type consistency, incremental unific… Ruff #2158: Commit d40d302 pushed by alcides
14s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
14s
feat(synquid): local round-trip refinement check (APPFO) + numeric-on… Ruff #2157: Commit 27e635b pushed by alcides
13s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
13s
perf(verification): one-point rule for x == c premises in VC flattening Ruff #2156: Pull request #409 opened by alcides
13s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
13s
perf(verification): one-point rule for x == c premises in VC flatte… Ruff #2155: Commit ae29bae pushed by alcides
11s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
11s
perf(verification): shrink and speed up SMT verification conditions Ruff #2154: Pull request #408 opened by alcides
11s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
11s
perf(verification): shrink and speed up SMT verification conditions Ruff #2153: Commit 2fb00d1 pushed by alcides
12s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
12s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Ruff #2152: Pull request #405 synchronize by alcides
9s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
9s
feat(synthesis): polymorphic ADT construction, SMT literals, perf + t… Ruff #2151: Commit 192dcd4 pushed by alcides
13s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
13s
Prune VC content disconnected from the goal before SMT solving Ruff #2150: Pull request #407 opened by alcides
12s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
12s
Prune VC content disconnected from the goal before SMT solving Ruff #2149: Commit 43b8dde pushed by alcides
10s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
10s