Roman Zajic
|
aa0c8b7c4c
|
Merge pull request #20 from logos-blockchain/fix-add-timeout-stateful-lockstep
fix: Add timeout to model based stateful lockstep
|
2026-07-14 09:46:28 +02:00 |
|
Roman
|
61d5a729ec
|
fix: add timeout to model based stateful lockstep
|
2026-07-13 13:25:47 +02:00 |
|
Roman Zajic
|
031fa0e38c
|
Merge pull request #19 from logos-blockchain/automation/corpus-update-jytj
chore: automated weekly corpus update
|
2026-07-12 09:44:09 +02:00 |
|
romanzac
|
661d7c009d
|
chore: weekly corpus update (grow + minimise)
|
2026-07-12 05:02:47 +00:00 |
|
Roman Zajic
|
a64d07ad82
|
Merge pull request #18 from logos-blockchain/chore-sync-with-lez
chore: Sync with LEZ - address mutants not fuzzable
|
2026-07-09 14:52:30 +02:00 |
|
Roman
|
594026b040
|
fix: docs, LEZ commit hash
|
2026-07-09 12:50:46 +02:00 |
|
Roman Zajic
|
86e709bdcf
|
Merge pull request #17 from logos-blockchain/fix-fuzz-stateful-model-lockstep
fix: Fuzz stateful model lockstep
|
2026-07-06 17:08:57 +02:00 |
|
Roman Zajic
|
57d1d6454c
|
Merge pull request #16 from logos-blockchain/automation/corpus-update-muuw
chore: automated weekly corpus update
|
2026-07-06 15:26:03 +02:00 |
|
Roman
|
42f683ef29
|
fix: undo prove feature
- install external prover
|
2026-07-06 15:24:30 +02:00 |
|
Roman
|
e19b1b73bd
|
fix: dependency config
|
2026-07-06 13:02:45 +02:00 |
|
romanzac
|
1062ddfa3f
|
chore: weekly corpus update (grow + minimise)
|
2026-07-05 05:14:30 +00:00 |
|
Roman Zajic
|
6d10827779
|
Merge pull request #15 from logos-blockchain/test-model-based-stateful-lockstep
test: Model based stateful lockstep
|
2026-07-03 16:19:44 +02:00 |
|
Roman
|
94d6e9831d
|
fix: update docs
|
2026-07-03 10:19:28 +02:00 |
|
Roman
|
b648241a59
|
fix: update seeds
|
2026-07-03 10:07:37 +02:00 |
|
Roman
|
d73a19693b
|
fix: exclude the clock account ids
|
2026-07-03 09:28:41 +02:00 |
|
Roman
|
2c943bf503
|
test: model-based stateful lockstep
|
2026-07-03 09:17:33 +02:00 |
|
Roman Zajic
|
eb71679d57
|
Merge pull request #14 from logos-blockchain/test-transaction-ordering-independence
test: Transaction ordering independence
|
2026-07-02 16:55:08 +02:00 |
|
Roman
|
325c37a291
|
fix: targets matrix reuse
|
2026-07-02 15:04:31 +02:00 |
|
Roman
|
259ed9471f
|
fix: update docs
|
2026-07-02 14:08:00 +02:00 |
|
Roman
|
0f4cf52491
|
test: transaction ordering independence
|
2026-07-02 13:55:36 +02:00 |
|
Roman Zajic
|
687d1152ed
|
Merge pull request #13 from logos-blockchain/automation/corpus-update-lhga
chore: automated weekly corpus update
|
2026-06-30 10:28:55 +02:00 |
|
Roman Zajic
|
ee5d5e4e68
|
Merge pull request #9 from logos-blockchain/chore-sync-with-lez
chore: Sync with LEZ - circuits installation
|
2026-06-30 10:26:46 +02:00 |
|
Roman
|
4768d581b3
|
fix: bump to the latest hash
|
2026-06-30 09:47:37 +02:00 |
|
Roman
|
0f644daf6d
|
fix: reflect on the moved system_accounts
|
2026-06-30 09:31:06 +02:00 |
|
romanzac
|
80de2fb6f8
|
chore: weekly corpus update (grow + minimise)
|
2026-06-28 05:21:41 +00:00 |
|
copilot-swe-agent[bot]
|
c92746a7f6
|
chore: merge main into chore-sync-with-lez (resolve conflicts)
|
2026-06-27 04:37:21 +00:00 |
|
Roman Zajic
|
5b57d0d431
|
Merge pull request #12 from logos-blockchain/automation/corpus-update-boqq
chore: automated weekly corpus update
|
2026-06-27 12:34:05 +08:00 |
|
Roman Zajic
|
1d5cec7956
|
Merge pull request #11 from logos-blockchain/automation/corpus-update-iapp
chore: automated weekly corpus update
|
2026-06-27 12:33:46 +08:00 |
|
Roman Zajic
|
99542d0430
|
Merge pull request #7 from logos-blockchain/feat-automatic-corpus-updates
feat: Automatic corpus updates
|
2026-06-27 12:33:05 +08:00 |
|
Roman
|
239c814c30
|
fix: remove on push trigger
|
2026-06-27 11:49:42 +08:00 |
|
Copilot
|
88d16e2cfc
|
chore: weekly corpus update (grow + minimise)
|
2026-06-27 02:40:05 +00:00 |
|
romanzac
|
56714dc439
|
chore: weekly corpus update (grow + minimise)
|
2026-06-27 02:33:29 +00:00 |
|
copilot-swe-agent[bot]
|
5d0c4044af
|
Merge remote-tracking branch 'origin/main' into feat-automatic-corpus-updates
|
2026-06-27 01:45:57 +00:00 |
|
Roman
|
0c4b7fb382
|
fix: exclude corpus artifacts from summary
|
2026-06-27 09:40:40 +08:00 |
|
Roman Zajic
|
917e4023c6
|
Merge pull request #10 from logos-blockchain/automation/corpus-update-sazk
chore: automated weekly corpus update
|
2026-06-27 09:38:03 +08:00 |
|
romanzac
|
8a8b765616
|
chore: weekly corpus update (grow + minimise)
|
2026-06-26 15:35:58 +00:00 |
|
Roman
|
8b48478050
|
fix: create PR on top of main
|
2026-06-26 22:41:14 +08:00 |
|
Roman
|
3b0a61e3b9
|
fix: unique branch name for each new PR
|
2026-06-26 20:56:24 +08:00 |
|
copilot-swe-agent[bot]
|
9378c86df4
|
Merge remote-tracking branch 'origin/main' into feat-automatic-corpus-updates
|
2026-06-26 09:44:38 +00:00 |
|
Roman
|
d31a029693
|
fix: mutants harness
|
2026-06-26 17:41:55 +08:00 |
|
copilot-swe-agent[bot]
|
920269b592
|
chore: merge main into chore-sync-with-lez to resolve conflicts
|
2026-06-26 09:05:54 +00:00 |
|
Roman Zajic
|
b051ec51ce
|
Merge pull request #8 from logos-blockchain/automation/corpus-update
chore: automated weekly corpus update
|
2026-06-26 17:03:27 +08:00 |
|
Roman
|
ce7c9f776f
|
fix: props panicking on empty account
|
2026-06-26 15:34:30 +08:00 |
|
Roman
|
86cc3977a2
|
fix: exclude reserved system IDs
|
2026-06-26 14:56:29 +08:00 |
|
Roman
|
e8cd1a767e
|
fix: derive account_id from private_key
|
2026-06-26 14:06:37 +08:00 |
|
romanzac
|
2791d8bc11
|
chore: weekly corpus update (grow + minimise)
|
2026-06-26 03:31:48 +00:00 |
|
Roman
|
d09d896edb
|
test: add on push trigger
|
2026-06-26 10:38:42 +08:00 |
|
Roman
|
2e2b41b1d8
|
fix: files changed summary to simplify generated PR review
|
2026-06-26 10:32:47 +08:00 |
|
Roman
|
e4c4d1eca7
|
fix: sync with updated LEZ API
|
2026-06-25 13:15:33 +08:00 |
|
Roman
|
aeec0e275a
|
chore: remove redundant circuits installation
|
2026-06-25 12:33:43 +08:00 |
|