13 Commits

Author	SHA1	Message	Date
Roman	42f683ef29	fix: undo prove feature ... - install external prover	2026-07-06 15:24:30 +02:00
Roman	e19b1b73bd	fix: dependency config	2026-07-06 13:02:45 +02:00
Roman	e4c4d1eca7	fix: sync with updated LEZ API	2026-06-25 13:15:33 +08:00
Roman	ee13844b64	fix: update cargo files	2026-06-18 09:56:20 +08:00
Roman	9cb0d43c40	chore: add new fuzz targets to cover 40 missed mutants	2026-06-10 16:29:05 +08:00
Roman	2974cd5e30	test: add merkle tree target to catch 33 mutants	2026-06-09 11:51:39 +08:00
Roman	ccd08aed6f	chore: synchronize with latest lee introduction	2026-06-05 11:12:26 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00
Roman	5e0cb7ca42	fix: update corpus	2026-05-15 14:57:05 +08:00
Roman	e512f7a4df	fix: sync with the latest lez changes	2026-05-07 14:27:44 +08:00
Roman	8bd0a1a612	fix: add new fuzz targets ... - template for adding targets	2026-04-15 15:47:01 +08:00
Roman	1befa25333	fix: sync new_with_genesis_accounts params	2026-04-15 13:47:36 +08:00
Roman	c62bacece0	Initial commit	2026-04-13 16:03:20 +08:00