85 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Roman	2b949127a7	fix: simplify the code	2026-06-16 13:28:33 +08:00
Roman	7843a90254	fix: lower the load per single runner	2026-06-16 13:17:42 +08:00
Roman	f1b2922e73	fix: link to LEZ	2026-06-16 09:44:22 +08:00
Roman	31d60c2198	chore: fuzzed for 30 minutes on Apple M4	2026-06-16 09:22:42 +08:00
Roman Zajic	1558d21406	Merge pull request #3 from logos-blockchain/chore-mutants ... chore: Test quality diagnostics with cargo mutants	2026-06-16 09:14:50 +08:00
Roman	830318749c	fix: alight fuzz-afl-parallel recipe with fuzz-parallel	2026-06-15 13:24:18 +08:00
Roman	1e166125dd	fix: sync with latest LEZ	2026-06-15 10:20:20 +08:00
Roman	4f06e820d5	fix: use Logos icon	2026-06-12 14:30:19 +08:00
Roman	7ad99bfcbf	fix: remove work done items	2026-06-12 14:22:12 +08:00
Roman	030774b8fd	fix: remove work done items	2026-06-12 14:11:52 +08:00
Roman	1e5900cb98	fix: remove notes	2026-06-12 14:09:34 +08:00
Roman	cfc415d214	fix: workflow files update ... - polish documentation	2026-06-12 11:47:43 +08:00
Roman	0710dbfc2b	fix: update mutants workflow	2026-06-12 11:13:14 +08:00
Roman	2659d390eb	fix: update documentation	2026-06-12 09:07:10 +08:00
Roman	3c260eeef0	fix: remove input-independent targets ... - create unit tests in lez repo instead	2026-06-11 15:43:31 +08:00
Roman Zajic	b9a4bd2266	Merge pull request #2 from logos-blockchain/feat-afl-fuzzing ... feat: AFL++ fuzzing layer	2026-06-11 14:58:27 +08:00
Roman	9cb0d43c40	chore: add new fuzz targets to cover 40 missed mutants	2026-06-10 16:29:05 +08:00
Roman	c9d37b88d1	fix: exclude mutant backup dir	2026-06-09 23:19:53 +08:00
Roman	9bdb070bbf	feat: add parallel fuzzing recipe	2026-06-09 14:20:10 +08:00
Roman	cf24be46d9	test: add genesis invariants target to catch 8 mutants	2026-06-09 14:09:11 +08:00
Roman	2974cd5e30	test: add merkle tree target to catch 33 mutants	2026-06-09 11:51:39 +08:00
Roman	1cfe58ebf9	fix: remove stale artifacts ... - regression recipe for per target	2026-06-08 15:37:01 +08:00
Roman	7ae3e40661	chore: add post-lee regressions to the corpus	2026-06-08 10:44:25 +08:00
Roman	97cdf142fe	fix: remove pre-lee regressions	2026-06-08 10:35:30 +08:00
Roman	9d18c9f346	fix: update mutants-protocol recipe	2026-06-07 08:31:09 +08:00
Roman	2b951f733b	fix: add missing feature	2026-06-06 00:50:52 +08:00
Roman	1bb51acd87	fix: make the test platform neutral	2026-06-06 00:31:48 +08:00
Roman	fd95df7c6f	fix: test in harness	2026-06-05 18:55:53 +08:00
Roman	a8d0355b9f	fix: address mutants found in harness	2026-06-05 18:19:32 +08:00
Roman	ccd08aed6f	chore: synchronize with latest lee introduction	2026-06-05 11:12:26 +08:00
Roman	2adc491361	fix: recommit with corpus exclusion	2026-06-05 11:03:44 +08:00
Roman	415e427e88	test: add crash artifacts for regression testing	2026-06-05 10:08:28 +08:00
Roman	a11f554040	chore: prevent PR file list display for corpus files	2026-06-05 10:04:26 +08:00
Roman	477edb48bb	fix: permission and start directory	2026-06-03 12:40:24 +08:00
Roman	ee7b3b0f69	fix: mutants-protocol invocation	2026-05-28 21:27:48 +08:00
Roman	1da53a9566	fix: resolve path to LEZ	2026-05-28 20:50:45 +08:00
Roman	e0720cbceb	test: initial mutants for props and protocol	2026-05-28 20:41:11 +08:00
Roman	aceb12f054	fix: run aggregated coverage instead	2026-05-28 17:59:21 +08:00
Roman	839359546d	fix: unlock new cases with arbitrary block_id and timestamp	2026-05-28 12:11:49 +08:00
Roman	3c8844068f	fix: replace saturating_add to prevent overflows	2026-05-28 11:52:10 +08:00
Roman	88e780b865	fix: improve API around tx invariants	2026-05-28 11:40:38 +08:00
Roman	db477a42d0	feat: apply changes from PR1 except corpus	2026-05-27 19:41:34 +08:00
Roman	176f2b410a	chore: remove old corpus	2026-05-27 19:14:07 +08:00
Roman	5af1504b1b	chore: move fresh corpus from AFL PR into main	2026-05-27 18:33:04 +08:00
Roman	35c07de259	fix: update corpus	2026-05-19 15:23:27 +08:00
Roman	471077b7df	test: add sequencer vs replayer target	2026-05-19 11:31:48 +08:00
Roman	62656c19e2	test: corpus update	2026-05-18 13:44:21 +08:00
Roman	472ea4176a	fix: docs update	2026-05-18 13:42:47 +08:00
Roman	b4997ba1af	fix: add assert_nonce_increment_correctness helper	2026-05-18 13:22:54 +08:00
Roman	720cce4efc	fix: move reusable invariants into shared module	2026-05-18 11:02:05 +08:00