feat(goal): Branch unification #217

Merged

aniva merged 8 commits from goal/branch-unification into dev

2025-06-24 13:56:15 -07:00

Author	SHA1	Message	Date
Leni Aniva	9eb5533166	Merge branch 'dev' into goal/branch-unification	2025-06-24 13:55:34 -07:00
Leni Aniva	7837ddff4f	feat(goal): Unify fragments in replay	2025-06-24 13:51:33 -07:00
Leni Aniva	9b0d96f422	feat(goal): Trace messages for replay	2025-06-24 13:37:49 -07:00
Leni Aniva	9d4b1ae755	refactor(goal): Allow multiple fragments	2025-06-24 13:33:22 -07:00
Leni Aniva	58ae791da3	refactor: `conv` and `calc` into tactic fragments	2025-06-23 20:57:53 -07:00
Leni Aniva	05a8e3b13c	feat: Branch unification (modulo conv/calc)	2025-06-23 13:09:08 -07:00
Leni Aniva	cb7c4d2723	chore: Add `_m` suffix to replay	2025-06-20 17:26:04 -07:00
Leni Aniva	343ecc2659	feat(goal): GoalState.replay stub	2025-06-20 17:25:23 -07:00