Commit Graph

Select branches

Hide Pull Requests

chore-mutants

feat-add-afl-fuzzing

feat-afl-fuzzing

main

#1

#2

#2

#3

#3

Mono Color

• 8388572f29
  Merge 9d18c9f3468b48a9b0a4b2e349565ab3c47600bf into 176f2b410afa77da514339191c331d67ee998f9c Roman Zajic 2026-06-07 08:31:21 +08:00
• 9d18c9f346
  fix: update mutants-protocol recipe chore-mutants Roman 2026-06-07 08:31:09 +08:00
• 2b951f733b
  fix: add missing feature Roman 2026-06-06 00:50:52 +08:00
• 1bb51acd87
  fix: make the test platform neutral Roman 2026-06-06 00:31:48 +08:00
• fd95df7c6f
  fix: test in harness Roman 2026-06-05 18:55:53 +08:00
• a8d0355b9f
  fix: address mutants found in harness Roman 2026-06-05 18:19:32 +08:00
• ccd08aed6f
  chore: synchronize with latest lee introduction Roman 2026-06-05 11:12:26 +08:00
• 2adc491361
  fix: recommit with corpus exclusion Roman 2026-06-05 11:03:44 +08:00
• 415e427e88
  test: add crash artifacts for regression testing Roman 2026-06-05 10:08:28 +08:00
• a11f554040
  chore: prevent PR file list display for corpus files Roman 2026-06-05 10:04:26 +08:00
• 477edb48bb
  fix: permission and start directory Roman 2026-06-03 12:40:24 +08:00
• ee7b3b0f69
  fix: mutants-protocol invocation Roman 2026-05-28 21:27:48 +08:00
• 1da53a9566
  fix: resolve path to LEZ Roman 2026-05-28 20:50:45 +08:00
• e0720cbceb
  test: initial mutants for props and protocol Roman 2026-05-28 20:41:11 +08:00
• 084dd691ec
  Merge aceb12f054a96af88990e0f0e9de8ed9c4b64281 into 176f2b410afa77da514339191c331d67ee998f9c Roman Zajic 2026-05-28 17:59:35 +08:00
• aceb12f054
  fix: run aggregated coverage instead feat-afl-fuzzing Roman 2026-05-28 17:59:21 +08:00
• 839359546d
  fix: unlock new cases with arbitrary block_id and timestamp Roman 2026-05-28 12:11:49 +08:00
• 3c8844068f
  fix: replace saturating_add to prevent overflows Roman 2026-05-28 11:52:10 +08:00
• 88e780b865
  fix: improve API around tx invariants Roman 2026-05-28 11:40:38 +08:00
• db477a42d0
  feat: apply changes from PR1 except corpus Roman 2026-05-27 19:41:34 +08:00
• 176f2b410a
  chore: remove old corpus main Roman 2026-05-27 19:14:07 +08:00
• f3f9cdcd29
  chore: re-move libFuzz corpus into main branch feat-add-afl-fuzzing Roman 2026-05-27 18:25:03 +08:00
• 773b78af74
  chore: re-move AFL corpus into main branch Roman 2026-05-27 18:22:21 +08:00
• 04575aca34
  fix: optimize LEZ checkout Roman 2026-05-27 18:14:16 +08:00
• 02f774b86c
  fix: move tests into separate files Roman 2026-05-27 18:02:46 +08:00
• 5d522e86dd
  chore: add linting formatting - align workflows Roman 2026-05-27 14:39:10 +08:00
• 1be42742e4
  fix: missing visualization Roman 2026-05-27 13:50:12 +08:00
• 4e331db02d
  fix: wrong path to binary used for calculation Roman 2026-05-26 17:44:16 +08:00
• 4f5c8a282e
  chore: add edge bitmap calculation to libFuzz workflow Roman 2026-05-26 17:05:52 +08:00
• dbe1b82ccc
  fix: missing binary Roman 2026-05-26 15:03:26 +08:00
• 73cb60b90a
  fix: remove cache to avoid compile issues Roman 2026-05-26 14:30:04 +08:00
• 25f79d2b83
  test: add edge bitmap calculation Roman 2026-05-26 14:09:17 +08:00
• a87c2e749e
  fix: use libFuzz binary to calculate AFL coverage Roman 2026-05-26 13:51:22 +08:00
• 3d1e355cbf
  fix: errexit around expected timeout - AFL++ queue filename Roman 2026-05-26 12:38:24 +08:00
• 6ffcb4f6b7
  fix: remove the stub code Roman 2026-05-25 14:14:44 +08:00
• d7ee2f8a7c
  fix: checkout for LEZ and paths Roman 2026-05-25 13:57:27 +08:00
• 0e1f7429a2
  fix: AFL CI workflow Roman 2026-05-25 13:06:53 +08:00
• fe798ad6a1
  test: add AFL corpus Roman 2026-05-25 09:47:46 +08:00
• 55ffb617aa
  fix: add afl crash report summary Roman 2026-05-22 16:12:30 +08:00
• 93dadf1fdd
  fix: lower default run for afl to 30s Roman 2026-05-22 15:24:37 +08:00
• 46f3754028
  test: re-add libfuzz corpus Roman 2026-05-22 13:31:15 +08:00
• ca2766063c
  fix: clean-all in justfile and delete all corpus Roman 2026-05-22 13:18:22 +08:00
• 30c21128a0
  chore: add coverage to justfile Roman 2026-05-22 13:07:15 +08:00
• dd25d34753
  fix: update prerequisites for MacOS Roman 2026-05-22 09:30:26 +08:00
• 167bb23e67
  feat: afl fuzzing with preinstalled binary Roman 2026-05-21 17:40:00 +08:00
• 06139e70f4
  chore: re-move libFuzz corpus into main branch Roman 2026-05-27 18:25:03 +08:00
• d2d2ecb84e
  chore: re-move AFL corpus into main branch Roman 2026-05-27 18:22:21 +08:00
• ade0f710cc
  fix: optimize LEZ checkout Roman 2026-05-27 18:14:16 +08:00
• 71d5d916c0
  fix: move tests into separate files Roman 2026-05-27 18:02:46 +08:00
• 2320beb110
  chore: add linting formatting - align workflows Roman 2026-05-27 14:39:10 +08:00
• 3294923b87
  fix: missing visualization Roman 2026-05-27 13:50:12 +08:00
• 01a7cb4838
  fix: wrong path to binary used for calculation Roman 2026-05-26 17:44:16 +08:00
• e92a226b5e
  chore: add edge bitmap calculation to libFuzz workflow Roman 2026-05-26 17:05:52 +08:00
• af72d59d8f
  fix: missing binary Roman 2026-05-26 15:03:26 +08:00
• bdbf3cc361
  fix: remove cache to avoid compile issues Roman 2026-05-26 14:30:04 +08:00
• 7bafa3789b
  test: add edge bitmap calculation Roman 2026-05-26 14:09:17 +08:00
• 46164e952f
  fix: use libFuzz binary to calculate AFL coverage Roman 2026-05-26 13:51:22 +08:00
• 99bfed3d54
  fix: errexit around expected timeout - AFL++ queue filename Roman 2026-05-26 12:38:24 +08:00
• a89ba33f3b
  fix: remove the stub code Roman 2026-05-25 14:14:44 +08:00
• a2033af30e
  fix: checkout for LEZ and paths Roman 2026-05-25 13:57:27 +08:00
• aefb30f369
  fix: AFL CI workflow Roman 2026-05-25 13:06:53 +08:00
• d1e9ea8e3d
  fix: add afl crash report summary Roman 2026-05-22 16:12:30 +08:00
• bf4b7f6f14
  fix: lower default run for afl to 30s Roman 2026-05-22 15:24:37 +08:00
• 7c4fbf0c39
  fix: clean-all in justfile and delete all corpus Roman 2026-05-22 13:18:22 +08:00
• 4be497616a
  chore: add coverage to justfile Roman 2026-05-22 13:07:15 +08:00
• 1f5a6c3c00
  fix: update next steps plan Roman 2026-05-22 09:45:01 +08:00
• 4767f44ce8
  fix: update prerequisites for MacOS Roman 2026-05-22 09:30:26 +08:00
• 97f47025e3
  feat: afl fuzzing with preinstalled binary Roman 2026-05-21 17:40:00 +08:00
• 5af1504b1b
  chore: move fresh corpus from AFL PR into main Roman 2026-05-27 18:33:04 +08:00
• 35c07de259
  fix: update corpus Roman 2026-05-19 15:23:27 +08:00
• 471077b7df
  test: add sequencer vs replayer target Roman 2026-05-19 11:31:48 +08:00
• 62656c19e2
  test: corpus update Roman 2026-05-18 13:44:21 +08:00
• 472ea4176a
  fix: docs update Roman 2026-05-18 13:42:47 +08:00
• b4997ba1af
  fix: add assert_nonce_increment_correctness helper Roman 2026-05-18 13:22:54 +08:00
• 720cce4efc
  fix: move reusable invariants into shared module Roman 2026-05-18 11:02:05 +08:00
• 173430a8b5
  fix: update docs Roman 2026-05-15 15:04:29 +08:00
• 5e0cb7ca42
  fix: update corpus Roman 2026-05-15 14:57:05 +08:00
• 3121162fd8
  test: fuzz multi block state sequence Roman 2026-05-15 14:20:55 +08:00
• ee53518606
  test: fuzz apply state diff split path Roman 2026-05-15 14:12:02 +08:00
• d4b9da66cc
  test: fuzz program deployment lifecycle Roman 2026-05-15 13:17:43 +08:00
• bd3e10de62
  test: fuzz witness set verification Roman 2026-05-15 12:40:30 +08:00
• fca7afc7dc
  test: fuzz state serialization Roman 2026-05-15 10:39:18 +08:00
• 06e5e2e843
  fix: update documentation Roman 2026-05-14 10:55:01 +08:00
• 64e8f335a3
  fix: extend coverage for fuzz_block_verification Roman 2026-05-14 10:38:59 +08:00
• 0aefa289d2
  fix: improved replay rejection detection Roman 2026-05-13 13:52:19 +08:00
• 1641775dd8
  fix: improve detection of malformed input Roman 2026-05-13 10:43:40 +08:00
• 3370a39417
  fix: add canonical encoding check Roman 2026-05-13 10:34:57 +08:00
• 24e912636a
  fix: cross key signature validation Roman 2026-05-13 10:25:55 +08:00
• 1feb0f27a9
  fix: add reverse completeness check Roman 2026-05-12 13:49:03 +08:00
• ffb2803fed
  fix: entropy leak - eliminate structurally invalid NSSATransactions Roman 2026-05-12 13:39:45 +08:00
• 18265815e4
  fix: move to fuzz-driven state generation Roman 2026-05-12 13:18:18 +08:00
• 50dab4cfb8
  fix: add state consistency checks Roman 2026-05-12 13:00:38 +08:00
• d707c34b61
  chore: update corpus Roman 2026-05-07 15:04:53 +08:00
• e512f7a4df
  fix: sync with the latest lez changes Roman 2026-05-07 14:27:44 +08:00
• fb6071e72a
  fix: unlock cargo-fuzz version Roman 2026-05-07 13:59:19 +08:00
• 30b0101357
  chore: supplementary docs Roman 2026-04-24 14:37:11 +08:00
• 33045e6ec7
  fix: update fuzzing guide Roman 2026-04-24 14:20:41 +08:00
• f411509eb2
  fix: targets and props Roman 2026-04-24 12:04:20 +08:00
• 9c7409fbe7
  fix: docs update Roman 2026-04-20 14:09:10 +08:00
• ec1063083c
  fix: install circuits Roman 2026-04-20 13:52:25 +08:00