76 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Roman	6ffcb4f6b7	fix: remove the stub code	2026-05-27 18:40:19 +08:00
Roman	d7ee2f8a7c	fix: checkout for LEZ and paths	2026-05-27 18:40:19 +08:00
Roman	0e1f7429a2	fix: AFL CI workflow	2026-05-27 18:40:18 +08:00
Roman	fe798ad6a1	test: add AFL corpus	2026-05-27 18:40:18 +08:00
Roman	55ffb617aa	fix: add afl crash report summary	2026-05-27 18:40:17 +08:00
Roman	93dadf1fdd	fix: lower default run for afl to 30s	2026-05-27 18:40:17 +08:00
Roman	46f3754028	test: re-add libfuzz corpus	2026-05-27 18:40:16 +08:00
Roman	ca2766063c	fix: clean-all in justfile and delete all corpus	2026-05-27 18:40:16 +08:00
Roman	30c21128a0	chore: add coverage to justfile	2026-05-27 18:40:15 +08:00
Roman	dd25d34753	fix: update prerequisites for MacOS	2026-05-27 18:40:15 +08:00
Roman	167bb23e67	feat: afl fuzzing with preinstalled binary	2026-05-27 18:40:15 +08:00
Roman	06139e70f4	chore: re-move libFuzz corpus into main branch	2026-05-27 18:35:52 +08:00
Roman	d2d2ecb84e	chore: re-move AFL corpus into main branch	2026-05-27 18:35:52 +08:00
Roman	ade0f710cc	fix: optimize LEZ checkout	2026-05-27 18:35:51 +08:00
Roman	71d5d916c0	fix: move tests into separate files	2026-05-27 18:35:51 +08:00
Roman	2320beb110	chore: add linting formatting ... - align workflows	2026-05-27 18:35:50 +08:00
Roman	3294923b87	fix: missing visualization	2026-05-27 18:35:50 +08:00
Roman	01a7cb4838	fix: wrong path to binary used for calculation	2026-05-27 18:35:50 +08:00
Roman	e92a226b5e	chore: add edge bitmap calculation to libFuzz workflow	2026-05-27 18:35:49 +08:00
Roman	af72d59d8f	fix: missing binary	2026-05-27 18:35:49 +08:00
Roman	bdbf3cc361	fix: remove cache to avoid compile issues	2026-05-27 18:35:48 +08:00
Roman	7bafa3789b	test: add edge bitmap calculation	2026-05-27 18:35:48 +08:00
Roman	46164e952f	fix: use libFuzz binary to calculate AFL coverage	2026-05-27 18:35:48 +08:00
Roman	99bfed3d54	fix: errexit around expected timeout ... - AFL++ queue filename	2026-05-27 18:35:47 +08:00
Roman	a89ba33f3b	fix: remove the stub code	2026-05-27 18:35:47 +08:00
Roman	a2033af30e	fix: checkout for LEZ and paths	2026-05-27 18:35:47 +08:00
Roman	aefb30f369	fix: AFL CI workflow	2026-05-27 18:35:46 +08:00
Roman	d1e9ea8e3d	fix: add afl crash report summary	2026-05-27 18:35:46 +08:00
Roman	bf4b7f6f14	fix: lower default run for afl to 30s	2026-05-27 18:35:46 +08:00
Roman	7c4fbf0c39	fix: clean-all in justfile and delete all corpus	2026-05-27 18:35:45 +08:00
Roman	4be497616a	chore: add coverage to justfile	2026-05-27 18:35:44 +08:00
Roman	1f5a6c3c00	fix: update next steps plan	2026-05-27 18:35:44 +08:00
Roman	4767f44ce8	fix: update prerequisites for MacOS	2026-05-27 18:35:44 +08:00
Roman	97f47025e3	feat: afl fuzzing with preinstalled binary	2026-05-27 18:35:43 +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
Roman	173430a8b5	fix: update docs	2026-05-15 15:04:29 +08:00
Roman	5e0cb7ca42	fix: update corpus	2026-05-15 14:57:05 +08:00
Roman	3121162fd8	test: fuzz multi block state sequence	2026-05-15 14:20:55 +08:00
Roman	ee53518606	test: fuzz apply state diff split path	2026-05-15 14:12:02 +08:00
Roman	d4b9da66cc	test: fuzz program deployment lifecycle	2026-05-15 13:17:43 +08:00
Roman	bd3e10de62	test: fuzz witness set verification	2026-05-15 12:40:30 +08:00
Roman	fca7afc7dc	test: fuzz state serialization	2026-05-15 10:39:18 +08:00
Roman	06e5e2e843	fix: update documentation	2026-05-14 10:55:01 +08:00
Roman	64e8f335a3	fix: extend coverage for fuzz_block_verification	2026-05-14 10:38:59 +08:00