Skip to content

0.7.0: one clean engine line — real-semantics pow, LLM-proposal channel, special-point certification#37

Merged
psaegert merged 5 commits into
mainfrom
release/0.7.0
Jul 21, 2026
Merged

0.7.0: one clean engine line — real-semantics pow, LLM-proposal channel, special-point certification#37
psaegert merged 5 commits into
mainfrom
release/0.7.0

feat(miner): special-point certification — witness snapping, symbolic…

e830818
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar