Default Branch

main aa0c8b7c4c · Merge pull request #20 from logos-blockchain/fix-add-timeout-stateful-lockstep · Updated 2026-07-14 07:46:28 +00:00

Branches

automation/corpus-update-kmcp 5de3b0012f · chore: weekly corpus update (grow + minimise) · Updated 2026-07-19 05:02:41 +00:00	0 1
fix-add-timeout-stateful-lockstep 61d5a729ec · fix: add timeout to model based stateful lockstep · Updated 2026-07-13 11:25:47 +00:00	1 0	Included
automation/corpus-update-jytj 661d7c009d · chore: weekly corpus update (grow + minimise) · Updated 2026-07-12 05:02:47 +00:00	3 0	Included
fix-fuzz-stateful-model-lockstep 42f683ef29 · fix: undo prove feature · Updated 2026-07-06 13:24:30 +00:00	9 0	Included
automation/corpus-update-muuw 1062ddfa3f · chore: weekly corpus update (grow + minimise) · Updated 2026-07-05 05:14:30 +00:00	0 1
test-model-based-stateful-lockstep 94d6e9831d · fix: update docs · Updated 2026-07-03 08:19:28 +00:00	1 0	Included
test-transaction-ordering-independence 325c37a291 · fix: targets matrix reuse · Updated 2026-07-02 13:04:31 +00:00	6 0	Included
automation/corpus-update-lhga 80de2fb6f8 · chore: weekly corpus update (grow + minimise) · Updated 2026-06-28 05:21:41 +00:00	18 0	Included
feat-automatic-corpus-updates 239c814c30 · fix: remove on push trigger · Updated 2026-06-27 03:49:42 +00:00	24 0	Included
automation/corpus-update-boqq 88d16e2cfc · chore: weekly corpus update (grow + minimise) · Updated 2026-06-27 02:40:05 +00:00	38 0	Included
automation/corpus-update-iapp 56714dc439 · chore: weekly corpus update (grow + minimise) · Updated 2026-06-27 02:33:29 +00:00	38 0	Included
automation/corpus-update-sazk 8a8b765616 · chore: weekly corpus update (grow + minimise) · Updated 2026-06-26 15:35:58 +00:00	40 0	Included
automation/corpus-update 2791d8bc11 · chore: weekly corpus update (grow + minimise) · Updated 2026-06-26 03:31:48 +00:00	42 0	Included
chore-corpus-update-privacy 01ddf2191d · chore: corpus update · Updated 2026-06-23 02:35:42 +00:00	47 0	Included
test-privacy-features a699899873 · fix: run props tests which require RISC0_DEV_MODE off · Updated 2026-06-22 08:09:37 +00:00	59 0	Included
chore-corpus-update 2b949127a7 · fix: simplify the code · Updated 2026-06-16 05:28:33 +00:00	68 0	Included
chore-mutants 830318749c · fix: alight fuzz-afl-parallel recipe with fuzz-parallel · Updated 2026-06-15 05:24:18 +00:00	63 0	Included
feat-afl-fuzzing aceb12f054 · fix: run aggregated coverage instead · Updated 2026-05-28 09:59:21 +00:00	94 0	Included
feat-add-afl-fuzzing f3f9cdcd29 · chore: re-move libFuzz corpus into main branch · Updated 2026-05-27 10:42:20 +00:00	100 47