logos-blockchain/lez-fuzzing
1
0
Fork 0
mirror of https://github.com/logos-blockchain/lez-fuzzing.git synced 2026-07-23 01:59:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 3516dfa534
         Merge 5de3b0012fa674c4c15f5d26ad3efd2ad054a41a into aa0c8b7c4c33c00961ec6b141e9911af1f2577c4 Roman Zajic 2026-07-19 07:02:55 +02:00
  • 5de3b0012f chore: weekly corpus update (grow + minimise) automation/corpus-update-kmcp romanzac 2026-07-19 05:02:41 +00:00
  • aa0c8b7c4c
         Merge pull request #20 from logos-blockchain/fix-add-timeout-stateful-lockstep main Roman Zajic 2026-07-14 09:46:28 +02:00
  • 61d5a729ec
         fix: add timeout to model based stateful lockstep fix-add-timeout-stateful-lockstep Roman 2026-07-13 13:25:47 +02:00
  • 031fa0e38c
         Merge pull request #19 from logos-blockchain/automation/corpus-update-jytj Roman Zajic 2026-07-12 09:44:09 +02:00
  • 661d7c009d chore: weekly corpus update (grow + minimise) automation/corpus-update-jytj romanzac 2026-07-12 05:02:47 +00:00
  • a64d07ad82
         Merge pull request #18 from logos-blockchain/chore-sync-with-lez Roman Zajic 2026-07-09 14:52:30 +02:00
  • 594026b040
         fix: docs, LEZ commit hash Roman 2026-07-09 12:50:46 +02:00
  • 86e709bdcf
         Merge pull request #17 from logos-blockchain/fix-fuzz-stateful-model-lockstep Roman Zajic 2026-07-06 17:08:57 +02:00
  • 57d1d6454c
         Merge pull request #16 from logos-blockchain/automation/corpus-update-muuw Roman Zajic 2026-07-06 15:26:03 +02:00
  • 42f683ef29
         fix: undo prove feature - install external prover fix-fuzz-stateful-model-lockstep Roman 2026-07-06 15:24:30 +02:00
  • e19b1b73bd
         fix: dependency config Roman 2026-07-06 13:02:45 +02:00
  • 1062ddfa3f chore: weekly corpus update (grow + minimise) automation/corpus-update-muuw romanzac 2026-07-05 05:14:30 +00:00
  • 6d10827779
         Merge pull request #15 from logos-blockchain/test-model-based-stateful-lockstep Roman Zajic 2026-07-03 16:19:44 +02:00
  • 94d6e9831d
         fix: update docs test-model-based-stateful-lockstep Roman 2026-07-03 10:19:28 +02:00
  • b648241a59
         fix: update seeds Roman 2026-07-03 10:07:37 +02:00
  • d73a19693b
         fix: exclude the clock account ids Roman 2026-07-03 09:28:41 +02:00
  • 2c943bf503
         test: model-based stateful lockstep Roman 2026-07-03 09:17:33 +02:00
  • eb71679d57
         Merge pull request #14 from logos-blockchain/test-transaction-ordering-independence Roman Zajic 2026-07-02 16:55:08 +02:00
  • 325c37a291
         fix: targets matrix reuse test-transaction-ordering-independence Roman 2026-07-02 15:04:31 +02:00
  • 259ed9471f
         fix: update docs Roman 2026-07-02 14:08:00 +02:00
  • 0f4cf52491
         test: transaction ordering independence Roman 2026-07-02 13:55:36 +02:00
  • 687d1152ed
         Merge pull request #13 from logos-blockchain/automation/corpus-update-lhga Roman Zajic 2026-06-30 10:28:55 +02:00
  • ee5d5e4e68
         Merge pull request #9 from logos-blockchain/chore-sync-with-lez Roman Zajic 2026-06-30 10:26:46 +02:00
  • 4768d581b3
         fix: bump to the latest hash Roman 2026-06-30 09:47:37 +02:00
  • 0f644daf6d
         fix: reflect on the moved system_accounts Roman 2026-06-30 09:31:06 +02:00
  • 80de2fb6f8 chore: weekly corpus update (grow + minimise) automation/corpus-update-lhga romanzac 2026-06-28 05:21:41 +00:00
  • c92746a7f6
         chore: merge main into chore-sync-with-lez (resolve conflicts) copilot-swe-agent[bot] 2026-06-27 04:37:21 +00:00
  • 5b57d0d431
         Merge pull request #12 from logos-blockchain/automation/corpus-update-boqq Roman Zajic 2026-06-27 12:34:05 +08:00
  • 1d5cec7956
         Merge pull request #11 from logos-blockchain/automation/corpus-update-iapp Roman Zajic 2026-06-27 12:33:46 +08:00
  • 99542d0430
         Merge pull request #7 from logos-blockchain/feat-automatic-corpus-updates Roman Zajic 2026-06-27 12:33:05 +08:00
  • 239c814c30
         fix: remove on push trigger feat-automatic-corpus-updates Roman 2026-06-27 11:49:42 +08:00
  • 88d16e2cfc chore: weekly corpus update (grow + minimise) automation/corpus-update-boqq Copilot 2026-06-27 02:40:05 +00:00
  • 56714dc439 chore: weekly corpus update (grow + minimise) automation/corpus-update-iapp romanzac 2026-06-27 02:33:29 +00:00
  • 5d0c4044af
         Merge remote-tracking branch 'origin/main' into feat-automatic-corpus-updates copilot-swe-agent[bot] 2026-06-27 01:45:57 +00:00
  • 0c4b7fb382
         fix: exclude corpus artifacts from summary Roman 2026-06-27 09:40:40 +08:00
  • 917e4023c6
         Merge pull request #10 from logos-blockchain/automation/corpus-update-sazk Roman Zajic 2026-06-27 09:38:03 +08:00
  • 8a8b765616 chore: weekly corpus update (grow + minimise) automation/corpus-update-sazk romanzac 2026-06-26 15:35:58 +00:00
  • 8b48478050
         fix: create PR on top of main Roman 2026-06-26 22:41:14 +08:00
  • 3b0a61e3b9
         fix: unique branch name for each new PR Roman 2026-06-26 20:56:24 +08:00
  • 9378c86df4
         Merge remote-tracking branch 'origin/main' into feat-automatic-corpus-updates copilot-swe-agent[bot] 2026-06-26 09:44:38 +00:00
  • d31a029693
         fix: mutants harness Roman 2026-06-26 17:41:55 +08:00
  • 920269b592
         chore: merge main into chore-sync-with-lez to resolve conflicts copilot-swe-agent[bot] 2026-06-26 09:05:54 +00:00
  • b051ec51ce
         Merge pull request #8 from logos-blockchain/automation/corpus-update Roman Zajic 2026-06-26 17:03:27 +08:00
  • ce7c9f776f
         fix: props panicking on empty account Roman 2026-06-26 15:34:30 +08:00
  • 86cc3977a2
         fix: exclude reserved system IDs Roman 2026-06-26 14:56:29 +08:00
  • e8cd1a767e
         fix: derive account_id from private_key Roman 2026-06-26 14:06:37 +08:00
  • 2791d8bc11 chore: weekly corpus update (grow + minimise) automation/corpus-update romanzac 2026-06-26 03:31:43 +00:00
  • d09d896edb
         test: add on push trigger Roman 2026-06-26 10:38:42 +08:00
  • 2e2b41b1d8
         fix: files changed summary to simplify generated PR review Roman 2026-06-26 10:32:47 +08:00
  • e4c4d1eca7
         fix: sync with updated LEZ API Roman 2026-06-25 13:15:33 +08:00
  • aeec0e275a
         chore: remove redundant circuits installation Roman 2026-06-25 12:33:43 +08:00
  • 03d9440fba
         fix: remove on push trigger Roman 2026-06-25 11:21:35 +08:00
  • 8b44d7c967
         fix: use PAT to authorize workflow to create PR Roman 2026-06-24 14:17:10 +08:00
  • e38a53c253
         test: corpus update workflow Roman 2026-06-24 12:33:17 +08:00
  • 21281e1c96
         feat: automatic corpus update with minimize Roman 2026-06-23 13:49:55 +08:00
  • 1252fd0067
         Merge pull request #6 from logos-blockchain/chore-corpus-update-privacy Roman Zajic 2026-06-23 13:03:22 +08:00
  • 01ddf2191d
         chore: corpus update chore-corpus-update-privacy Roman 2026-06-23 10:35:42 +08:00
  • 97deff76c6
         fix: seed files location Roman 2026-06-23 10:33:01 +08:00
  • 352edcc127
         Merge pull request #5 from logos-blockchain/test-privacy-features Roman Zajic 2026-06-22 17:39:05 +08:00
  • a699899873
         fix: run props tests which require RISC0_DEV_MODE off test-privacy-features Roman 2026-06-22 16:09:37 +08:00
  • 3b2665994c
         fix: mutants harness Roman 2026-06-22 12:22:05 +08:00
  • 9c431c98ac
         fix: reset compat workflow to schedule only Roman 2026-06-22 11:01:56 +08:00
  • 56162a66a3
         fix: repo pinning - minor invariant changes - missing target in CI added - docs Roman 2026-06-22 10:17:30 +08:00
  • 119c867b89
         fix: add negative test Roman 2026-06-18 14:21:54 +08:00
  • ee13844b64
         fix: update cargo files Roman 2026-06-18 09:56:20 +08:00
  • 6710c878cf
         fix: mutants harness Roman 2026-06-17 11:34:11 +08:00
  • 4657620ab7
         fix: clippy happy Roman 2026-06-17 10:14:36 +08:00
  • adcfe3a301
         test: privacy preserving features Roman 2026-06-16 17:37:36 +08:00
  • 102e70d5df
         Merge pull request #4 from logos-blockchain/chore-corpus-update Roman Zajic 2026-06-16 14:30:58 +08:00
  • 2b949127a7
         fix: simplify the code chore-corpus-update Roman 2026-06-16 13:28:33 +08:00
  • 7843a90254
         fix: lower the load per single runner Roman 2026-06-16 13:17:42 +08:00
  • f1b2922e73
         fix: link to LEZ Roman 2026-06-16 09:44:22 +08:00
  • 31d60c2198
         chore: fuzzed for 30 minutes on Apple M4 Roman 2026-06-16 09:22:42 +08:00
  • 1558d21406
         Merge pull request #3 from logos-blockchain/chore-mutants Roman Zajic 2026-06-16 09:14:50 +08:00
  • 830318749c
         fix: alight fuzz-afl-parallel recipe with fuzz-parallel chore-mutants Roman 2026-06-15 13:24:18 +08:00
  • 1e166125dd
         fix: sync with latest LEZ Roman 2026-06-15 10:20:20 +08:00
  • 4f06e820d5
         fix: use Logos icon Roman 2026-06-12 14:30:19 +08:00
  • 7ad99bfcbf
         fix: remove work done items Roman 2026-06-12 14:22:12 +08:00
  • 030774b8fd
         fix: remove work done items Roman 2026-06-12 14:11:52 +08:00
  • 1e5900cb98
         fix: remove notes Roman 2026-06-12 14:09:34 +08:00
  • cfc415d214
         fix: workflow files update - polish documentation Roman 2026-06-12 11:47:43 +08:00
  • 0710dbfc2b
         fix: update mutants workflow Roman 2026-06-12 11:13:14 +08:00
  • 2659d390eb
         fix: update documentation Roman 2026-06-12 09:07:10 +08:00
  • 3c260eeef0
         fix: remove input-independent targets - create unit tests in lez repo instead Roman 2026-06-11 15:43:31 +08:00
  • b9a4bd2266
         Merge pull request #2 from logos-blockchain/feat-afl-fuzzing Roman Zajic 2026-06-11 14:58:27 +08:00
  • 9cb0d43c40
         chore: add new fuzz targets to cover 40 missed mutants Roman 2026-06-10 16:29:05 +08:00
  • c9d37b88d1
         fix: exclude mutant backup dir Roman 2026-06-09 23:19:53 +08:00
  • 9bdb070bbf
         feat: add parallel fuzzing recipe Roman 2026-06-09 14:20:10 +08:00
  • cf24be46d9
         test: add genesis invariants target to catch 8 mutants Roman 2026-06-09 14:09:11 +08:00
  • 2974cd5e30
         test: add merkle tree target to catch 33 mutants Roman 2026-06-09 11:51:39 +08:00
  • 1cfe58ebf9
         fix: remove stale artifacts - regression recipe for per target Roman 2026-06-08 15:37:01 +08:00
  • 7ae3e40661
         chore: add post-lee regressions to the corpus Roman 2026-06-08 10:44:25 +08:00
  • 97cdf142fe
         fix: remove pre-lee regressions Roman 2026-06-08 10:35:30 +08:00
  • 9d18c9f346
         fix: update mutants-protocol recipe 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