Skip to content

Actions: alcides/aeon

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
273 workflow runs
273 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 Docs #273: Pull request #405 synchronize by alcides
40s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
40s
fix(bind): resolve forward references between mutually-recursive inductives (Z3 "Sort mismatch") Docs #272: Pull request #414 opened by alcides
45s claude/eloquent-heisenberg-z86jqx
claude/eloquent-heisenberg-z86jqx
45s
examples(cata): complete the Contata benchmark transcription (all 30)… Docs #271: Commit cd65147 pushed by alcides
50s master
master
50s
examples(cata): complete the Contata benchmark transcription (remaining 23) Docs #270: Pull request #413 opened by alcides
32s claude/contata-benchmarks-rest
claude/contata-benchmarks-rest
32s
Merge pull request #411 from alcides/claude/contata-benchmarks Docs #269: Commit 5c54a83 pushed by alcides
1m 11s master
master
1m 11s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #268: Pull request #405 synchronize by alcides
46s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
46s
examples(cata): faithful Contata benchmark transcription + pin local Python to 3.13 Docs #267: Pull request #411 opened by alcides
34s claude/contata-benchmarks
claude/contata-benchmarks
34s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #266: Pull request #405 synchronize by alcides
38s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
38s
perf(verification): one-point rule for x == c premises in VC flattening Docs #265: Pull request #409 opened by alcides
33s claude/jolly-austin-7c4459
claude/jolly-austin-7c4459
33s
perf(verification): shrink and speed up SMT verification conditions Docs #264: Pull request #408 opened by alcides
34s claude/synthesis-vc-speedups
claude/synthesis-vc-speedups
34s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #263: Pull request #405 synchronize by alcides
37s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
37s
Prune VC content disconnected from the goal before SMT solving Docs #262: Pull request #407 opened by alcides
34s claude/vc-variable-usage-optimization-obn674
claude/vc-variable-usage-optimization-obn674
34s
Merge pull request #402 from alcides/claude/issue-397-cosynthesis Docs #261: Commit 67bc6ea pushed by alcides
48s master
master
48s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #260: Pull request #402 synchronize by alcides
38s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
38s
Merge pull request #406 from alcides/claude/ortools-int-synthesizer Docs #259: Commit e9163c8 pushed by alcides
47s master
master
47s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #258: Pull request #405 synchronize by alcides
36s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
36s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #257: Pull request #402 synchronize by alcides
32s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
32s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #256: Pull request #405 synchronize by alcides
7m 28s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
7m 28s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #255: Pull request #402 synchronize by alcides
34s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
34s
Merge pull request #401 from alcides/claude/genomic-ng-synthesizer Docs #254: Commit 23ec346 pushed by alcides
49s master
master
49s
Synthesis: polymorphic ADT construction, SMT literals, perf + termination fixes Docs #253: Pull request #405 synchronize by alcides
41s claude/silly-snyder-d2c1e2
claude/silly-snyder-d2c1e2
41s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #252: Pull request #402 synchronize by alcides
36s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
36s
feat(synthesis): GenomicNG — Nevergrad grammatical-evolution backend Docs #251: Pull request #401 synchronize by alcides
31s claude/genomic-ng-synthesizer
claude/genomic-ng-synthesizer
31s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #250: Pull request #402 synchronize by alcides
37s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
37s
feat(synthesis): relational/k-safety @property as a co-synthesis oracle (#397) Docs #249: Pull request #402 synchronize by alcides
40s claude/issue-397-cosynthesis
claude/issue-397-cosynthesis
40s