Rebase the Rust-port branch onto master: full merge of 64 commits + Rust-side ports#380

Draft

alcides wants to merge 17 commits into

masterfrom

claude/zealous-newton-jouy1o

Commits on Jul 5, 2026

Port the Aeon compiler core from Python to Rust via PyO3

authored and
cursoragent
committed
Add a Rust-based random-enumerative synthesizer with Pareto-front tracking

authored and
cursoragent
committed
rust_enum: instantiate non-return polymorphic vars at random concrete types

authored and
cursoragent
committed
Restore Rust pyclasses for the modules whose Python shapes haven't drifted

alcides
authored and
cursoragent
committed
Restore aeon/core/liquid.py as a Rust shim

alcides
authored and
cursoragent
committed
Refactor Kind to Enum-style; port terms.py back to Rust shim

alcides
authored and
cursoragent
committed
Port aeon/core/types.py back to a Rust shim

alcides
authored and
cursoragent
committed
Port aeon/core/equality.py and aeon/decorators/api.py back to Rust shims

alcides
authored and
cursoragent
committed
Port three small modules back to Rust shims

alcides
authored and
cursoragent
committed
Port master's core-AST deltas into aeon-rs

claude
authored and
cursoragent
committed
Adapt master's dataclass-protocol call sites to the Rust core AST

claude
authored and
cursoragent
committed
Fix mypy errors arising from the master merge

claude
authored and
cursoragent
committed
Apply ruff-format to completion.py

claude
authored and
cursoragent
committed
rust_enum: duck-type the typing context in synthesize_with_front

claude
authored and
cursoragent
committed
CI: install libz3-dev before building the aeon-rs extension

claude
authored and
cursoragent
committed
CI: harden cargo downloads against transient network flakes

claude
authored and
cursoragent
committed
Migrate libraries/Vector.ae to Lean syntax

claude
authored and
cursoragent
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Rebase the Rust-port branch onto master: full merge of 64 commits + Rust-side ports#380

Rebase the Rust-port branch onto master: full merge of 64 commits + Rust-side ports#380
alcides wants to merge 17 commits into
masterfrom
claude/zealous-newton-jouy1o

Commits on Jul 5, 2026

Port the Aeon compiler core from Python to Rust via PyO3

Add a Rust-based random-enumerative synthesizer with Pareto-front tracking

rust_enum: instantiate non-return polymorphic vars at random concrete types

Restore Rust pyclasses for the modules whose Python shapes haven't drifted

Restore aeon/core/liquid.py as a Rust shim

Refactor Kind to Enum-style; port terms.py back to Rust shim

Port aeon/core/types.py back to a Rust shim

Port aeon/core/equality.py and aeon/decorators/api.py back to Rust shims

Port three small modules back to Rust shims

Port master's core-AST deltas into aeon-rs

Adapt master's dataclass-protocol call sites to the Rust core AST

Fix mypy errors arising from the master merge

Apply ruff-format to completion.py

rust_enum: duck-type the typing context in synthesize_with_front

CI: install libz3-dev before building the aeon-rs extension

CI: harden cargo downloads against transient network flakes

Migrate libraries/Vector.ae to Lean syntax