Raghav/public release#55

Merged

raghav198 merged 11 commits into

raghav/weakest-preconditionfrom

raghav/public-release

Jun 30, 2026

Commits on Jun 25, 2026

README
Raghav Malik
committed
Moved README
Raghav Malik
committed
circom-demo -> circom-examples
Raghav Malik
committed
Updated README
Raghav Malik
committed
Updated examples path
Raghav Malik
committed
Updated examples path
Raghav Malik
committed
Added reference to Zequal
Raghav Malik
committed
Update example path
Raghav Malik
committed

Commits on Jun 26, 2026

Implement multidimensional array support (#53)

raghav198
and
Raghav Malik
authored

Commits on Jun 27, 2026

Use z3 to run benchmarks
Raghav Malik
committed

Commits on Jun 28, 2026

Fixing things pre-demo
Raghav Malik
committed