144 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
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
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
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