Michele Orrù 27e918c36e Update sigma-compiler and released proof dependencies hai 1 mes
..
src 27e918c36e Update sigma-compiler and released proof dependencies hai 3 semanas
Cargo.lock 97930666d4 Update version to 0.3.0 hai 3 meses
Cargo.toml 97930666d4 Update version to 0.3.0 hai 3 meses
LICENSE 50d6cae4fc Add MIT licences, set versions to 0.1.0-rc1, and update cargo metadata hai 1 ano
README.md 97930666d4 Update version to 0.3.0 hai 3 meses

README.md

cmz-core by Ian Goldberg, iang@uwaterloo.ca
Version 0.3.0, 2026-08-04

This crate provides the core functionality for the macros in the cmz crate.