Skip to content

feat: Clean DSL + Simplified per-chip RISCV spec + Generic field + Trace Theorms + Partial Honest Witness Gen#97

Merged
dtumad merged 10 commits into
mainfrom
full-clean-dsl-implementation
Jun 19, 2026
Merged

feat: Clean DSL + Simplified per-chip RISCV spec + Generic field + Trace Theorms + Partial Honest Witness Gen#97
dtumad merged 10 commits into
mainfrom
full-clean-dsl-implementation

feat: cleanup of the updates to large DSL refactor (#99)

87bfd8e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar