Michele Orrù 955c44ccb1 Update sigma-compiler and released proof dependencies il y a 1 mois
..
src 955c44ccb1 Update sigma-compiler and released proof dependencies il y a 2 semaines
Cargo.lock 97930666d4 Update version to 0.3.0 il y a 3 mois
Cargo.toml 97930666d4 Update version to 0.3.0 il y a 3 mois
LICENSE 50d6cae4fc Add MIT licences, set versions to 0.1.0-rc1, and update cargo metadata il y a 1 an
README.md 97930666d4 Update version to 0.3.0 il y a 3 mois

README.md

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

This crate provides the derive macros for the cmz crate.