14 Commits

Author	SHA1	Message	Date
Roman	21281e1c96	feat: automatic corpus update with minimize	2026-06-23 13:49:55 +08:00
Roman	a699899873	fix: run props tests which require RISC0_DEV_MODE off	2026-06-22 16:09:37 +08:00
Roman	56162a66a3	fix: repo pinning ... - minor invariant changes - missing target in CI added - docs	2026-06-22 10:17:30 +08:00
Roman	cfc415d214	fix: workflow files update ... - polish documentation	2026-06-12 11:47:43 +08:00
Roman	aceb12f054	fix: run aggregated coverage instead	2026-05-28 17:59:21 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00
Roman	471077b7df	test: add sequencer vs replayer target	2026-05-19 11:31:48 +08:00
Roman	fb6071e72a	fix: unlock cargo-fuzz version	2026-05-07 13:59:19 +08:00
Roman	ec1063083c	fix: install circuits	2026-04-20 13:52:25 +08:00
Roman	5b39131150	fix: add circuits dir	2026-04-20 13:41:24 +08:00
Roman	1cda357e47	fix: lez repo path	2026-04-20 13:35:20 +08:00
Roman	18c40d81fd	fix: path in workflow	2026-04-20 13:29:55 +08:00
Roman	8bd0a1a612	fix: add new fuzz targets ... - template for adding targets	2026-04-15 15:47:01 +08:00
Roman	c62bacece0	Initial commit	2026-04-13 16:03:20 +08:00