Skip to content

Add a new ScalarMap struct and use it to make witnesses more structured#92

Draft
nategraf wants to merge 27 commits intomainfrom
victor/scalar-map
Draft

Add a new `ScalarMap` struct and use it to make witnesses more structured#92
nategraf wants to merge 27 commits intomainfrom
victor/scalar-map

Commits

Commits on Sep 18, 2025

Commits on Sep 21, 2025

Commits on Oct 1, 2025

Commits on Oct 29, 2025

Commits on Nov 5, 2025

Commits on Nov 10, 2025

Commits on Nov 12, 2025