ArenaNode for array-backed expressions - #167

Open

MilesCranmerBot wants to merge 67 commits into

SymbolicML:masterfrom

MilesCranmerBot:arenanode-prototype

Commits on Aug 1, 2026

Prototype arena-backed ArenaNode
MilesCranmerBot
committed
4a25840
Add reusable ArenaCursor preorder traversal
MilesCranmerBot
committed
5cb2644
Add postfix stack-based utilities inspired by symbolic_regression.rs
MilesCranmerBot
committed
75831c8
Add postfix validity check
MilesCranmerBot
committed
609e402
ArenaNode: postfix roundtrip + minimal commutative rewrite
MilesCranmerBot
committed
d7391a7
docs/tests: clarify postfix utilities are for roundtrips only
MilesCranmerBot
committed
c77cf83
ArenaNode: allow cross-arena set_child!/set_children! via copy
MilesCranmerBot
committed
8d8755c
ArenaNode: traversal-based postfix emit + cursor-based rewrite
MilesCranmerBot
committed
8bb1b22
fix: stabilize ArenaNode prototype traversal and tests
MilesCranmerBot
committed
da69782
fix: stabilize ArenaNode follow-up
MilesCranmerBot
committed
0c9770a
fix: evaluate ArenaNode directly

MilesCranmerBot
and
MilesCranmer
committed
d1f6ec4
fix: stabilize ArenaNode CI follow-up
MilesCranmerBot
committed
bc8df59
test: expand ArenaNode interface coverage

MilesCranmerBot
and
MilesCranmer
committed
85ba708
chore: restore compat bounds

MilesCranmerBot
and
MilesCranmer
committed
b3454b1
style: format ArenaNode follow-up
MilesCranmerBot
committed
f7b6e54
fix: revert is_constant rewrite

MilesCranmerBot
and
MilesCranmer
committed
54c77f0
test(ArenaNode): add Expression interface and derivative tests

MilesCranmerBot
and
MilesCranmer
committed
feff122
fix: stabilize ArenaNode follow-up CI
MilesCranmerBot
committed
b284917
fix: address ArenaNode review cleanup
MilesCranmerBot
committed
23be071
fix: stabilize ArenaNode CI dependencies

MilesCranmerBot
and
MilesCranmer
committed
bd312ed
fix: remove ArenaNode postfix debug utilities

MilesCranmerBot
and
MilesCranmer
committed
75e947c
fix: keep LoweredCodeUtils test bound tight

MilesCranmerBot
and
MilesCranmer
committed
d15946c
fix: allow Julia 1.10 JET test compat

MilesCranmerBot
and
MilesCranmer
committed
445a88f
fix: stabilize ArenaNode CI checks
MilesCranmerBot
committed
7d6d295
fix: raise SymbolicUtils lower bound
MilesCranmerBot
committed
f780188
fix: constrain downgrade test dependencies
MilesCranmerBot
committed
a5ebf50
fix: exclude uninstrumented extension coverage
MilesCranmerBot
committed
415cb32
fix: address ArenaNode review comments

MilesCranmerBot
and
MilesCranmer
committed
07fca1b
fix: restore default Aqua checks

MilesCranmerBot
and
MilesCranmer
committed
8556b1a
fix: simplify get_child integer dispatch

MilesCranmerBot
and
MilesCranmer
committed
a44279d
feat: optimize ArenaNode storage and copies

MilesCranmerBot
and
MilesCranmer
committed
14fffe7
fix: speed up ArenaNode traversals

MilesCranmerBot
and
MilesCranmer
committed
11ea817
feat: add iterative ArenaNode eval

MilesCranmerBot
and
MilesCranmer
committed
e4aa364
fix: stabilize ArenaNode tests

MilesCranmerBot
and
MilesCranmer
committed
676be78
feat: add buffered ArenaNode plan evaluator

MilesCranmerBot
and
MilesCranmer
committed
4c249da
refactor(ArenaNode): generalize buffered plan evaluation to arbitrary degree

MilesCranmer
authored and
MilesCranmerBot
committed
9edfa04
test: revert Aqua workaround (belongs in a separate PR)

MilesCranmer
authored and
MilesCranmerBot
committed
30e2d76
fix(ArenaNode): close review findings on safety and Node parity

MilesCranmer
authored and
MilesCranmerBot
committed
cc9863a
refactor(ArenaNode): bundle plan-eval state into _PlanState/_PlanRegs

MilesCranmer
authored and
MilesCranmerBot
committed
514172f
refactor(ArenaNode): self-documenting variable names

MilesCranmer
authored and
MilesCranmerBot
committed
ae0a41d
refactor(ArenaNode): address review comments

MilesCranmer
authored and
MilesCranmerBot
committed
f2194a1
refactor(ArenaNode): flatten _exec_op! into guard-clause helpers

MilesCranmer
authored and
MilesCranmerBot
committed
43cd969
refactor(ArenaNode): replace out() thunk with a plain output view binding

MilesCranmer
authored and
MilesCranmerBot
committed
8672eb1
refactor(ArenaNode): share child attachment via _resolve_child_index!

MilesCranmer
authored and
MilesCranmerBot
committed
a61fd13
refactor(ArenaNode): single-source the planner/executor slot policy

MilesCranmer
authored and
MilesCranmerBot
committed
942d502
refactor(ArenaNode): named raw accessors instead of getfield; restore @inbounds in set_scalar_constants!

MilesCranmer
authored and
MilesCranmerBot
committed
4a681de
refactor(ArenaNode): name the descriptor bit operations

MilesCranmer
authored and
MilesCranmerBot
committed
f3b361d
perf(ArenaNode): recover base validation cost without losing ok parity

MilesCranmer
authored and
MilesCranmerBot
committed
7d2685b
refactor(ArenaNode): OperandKind enum for descriptor kinds

MilesCranmer
authored and
MilesCranmerBot
committed
1719186
Revert "refactor(ArenaNode): OperandKind enum for descriptor kinds"

MilesCranmer
authored and
MilesCranmerBot
committed
13e0a6f
docs(ArenaNode): plain comments instead of docstrings on internals

MilesCranmer
authored and
MilesCranmerBot
committed
4e2536c
style(ArenaNode): drop ceremonial @inline; flatten repeated returns

MilesCranmer
authored and
MilesCranmerBot
committed
bf98235
perf(ArenaNode): keep @inline on setproperty!

MilesCranmer
authored and
MilesCranmerBot
committed
6e9c522
bench(ArenaNode): also measure the unbuffered paths

MilesCranmer
authored and
MilesCranmerBot
committed
9a5957e
refactor(ArenaNode): split the plan evaluator into ArenaNodeEval.jl

MilesCranmer
authored and
MilesCranmerBot
committed
cb580c8
fix(ArenaNode): CI fixes, override deletion, facade poison guard, fast compacting copy

MilesCranmer
authored and
MilesCranmerBot
committed
bcd6a53
test(ArenaNode): Supposition invariants

MilesCranmer
authored and
MilesCranmerBot
committed
13e04eb
perf(ArenaNode): direct entry recursion for hash; flat count_constant_nodes

MilesCranmer
authored and
MilesCranmerBot
committed
2bdc96c
perf(ArenaNode): entry-level tree_mapreduce skeleton

MilesCranmer
authored and
MilesCranmerBot
committed
56b1f3b
perf(ArenaNode): entry-level recursion for non-compact any

MilesCranmer
authored and
MilesCranmerBot
committed
26e2c7c
docs(ArenaNode): record why tree_mapreduce keeps recursion

MilesCranmer
authored and
MilesCranmerBot
committed
f89e77f
refactor(ArenaNode): one body for compact and non-compact any

MilesCranmer
authored and
MilesCranmerBot
committed
aad9a1f
perf(ArenaNode): _foreach_node iteration driver; flat ==; faster constant ops

MilesCranmer
authored and
MilesCranmerBot
committed
d1720cb
test(ArenaNode): avoid Data.OneOf in the mutation generator

MilesCranmer
authored and
MilesCranmerBot
committed
2cba5f7
test: raise downgraded test dependency bounds
MilesCranmerBot
committed
2ca00ca
fix: address ArenaNode API regressions
MilesCranmerBot
committed
9850b0b

Commits on Aug 8, 2026

Merge master into arenanode-prototype
MilesCranmerBot
committed
2846c3b