Roman
|
aeec0e275a
|
chore: remove redundant circuits installation
|
2026-06-25 12:33:43 +08:00 |
|
Roman
|
03d9440fba
|
fix: remove on push trigger
|
2026-06-25 11:21:35 +08:00 |
|
Roman
|
8b44d7c967
|
fix: use PAT to authorize workflow to create PR
|
2026-06-24 14:17:10 +08:00 |
|
Roman
|
e38a53c253
|
test: corpus update workflow
|
2026-06-24 12:33:17 +08:00 |
|
Roman
|
21281e1c96
|
feat: automatic corpus update with minimize
|
2026-06-23 13:49:55 +08:00 |
|
Roman Zajic
|
1252fd0067
|
Merge pull request #6 from logos-blockchain/chore-corpus-update-privacy
chore: Corpus update privacy features
|
2026-06-23 13:03:22 +08:00 |
|
Roman
|
01ddf2191d
|
chore: corpus update
|
2026-06-23 10:35:42 +08:00 |
|
Roman
|
97deff76c6
|
fix: seed files location
|
2026-06-23 10:33:01 +08:00 |
|
Roman Zajic
|
352edcc127
|
Merge pull request #5 from logos-blockchain/test-privacy-features
test: Privacy preserving features
|
2026-06-22 17:39:05 +08:00 |
|
Roman
|
a699899873
|
fix: run props tests which require RISC0_DEV_MODE off
|
2026-06-22 16:09:37 +08:00 |
|
Roman
|
3b2665994c
|
fix: mutants harness
|
2026-06-22 12:22:05 +08:00 |
|
Roman
|
9c431c98ac
|
fix: reset compat workflow to schedule only
|
2026-06-22 11:01:56 +08:00 |
|
Roman
|
56162a66a3
|
fix: repo pinning
- minor invariant changes
- missing target in CI added
- docs
|
2026-06-22 10:17:30 +08:00 |
|
Roman
|
119c867b89
|
fix: add negative test
|
2026-06-18 14:21:54 +08:00 |
|
Roman
|
ee13844b64
|
fix: update cargo files
|
2026-06-18 09:56:20 +08:00 |
|
Roman
|
6710c878cf
|
fix: mutants harness
|
2026-06-17 11:34:11 +08:00 |
|
Roman
|
4657620ab7
|
fix: clippy happy
|
2026-06-17 10:14:36 +08:00 |
|
Roman
|
adcfe3a301
|
test: privacy preserving features
|
2026-06-16 17:37:36 +08:00 |
|
Roman Zajic
|
102e70d5df
|
Merge pull request #4 from logos-blockchain/chore-corpus-update
chore: Corpus update libFuzzer AFL++ 30 minutes
|
2026-06-16 14:30:58 +08:00 |
|
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 |
|