Sum26 circ project(unit test framework)#240

Closed

karandeol-26 wants to merge 39 commits into

circify:masterfrom

sschefflab:sum26-circ-project(unit-test-framework)

Commits on Dec 10, 2025

Commits on Dec 12, 2025

add syntax and type checking command
kmerrill18
committed

Commits on Jan 23, 2026

add support for dorian
Anna Woo
committed

Commits on Jan 26, 2026

Commits on Jan 28, 2026

Commits on Feb 3, 2026

Merge pull request #1 from sschefflab/dorian
kmerrill18
authored

Commits on Feb 5, 2026

Commits on Feb 6, 2026

constraint count investigation
kmerrill18
committed

Commits on Feb 9, 2026

Merge pull request #3 from sschefflab/value-in-array-tuple
kmerrill18
authored

Commits on Mar 4, 2026

Commits on Mar 6, 2026

Commits on Mar 18, 2026

Merge pull request #4 from sschefflab/fix-warnings
woopuiyung
authored

Commits on Apr 8, 2026

add commit and prove support to Dorian; include toy example
woopuiyung
committed

Commits on May 4, 2026

optimizations to frontend and ir optimization to avoid repeating expensive work
kmerrill18
committed

Commits on May 5, 2026

.pin and .vin files for curve25519
kmerrill18
committed

Commits on May 8, 2026

fix the bug in examples/ZoKratesCurly/pf/chall/poly_mult.zok
woopuiyung
committed

Commits on May 13, 2026

specify external commit inputs by name instead of by number
kmerrill18
committed

Commits on May 16, 2026

Merge pull request #5 from sschefflab/commitnprove
kmerrill18
authored

Commits on Jun 11, 2026

Add to_proof_data helper and in-memory test
karandeol-26
committed

Commits on Jun 12, 2026

Clear default features in Cargo.toml
karandeol-26
authored