Wednesday, February 18, 2026

00:01:02 [63c07add] SQL query for generating UTxO dag as JSON input (ouroboros-leios)

00:02:27 [4d262113] feat(stm): some doc comments (mithril)

00:06:48 [fe67cd9d] refactor(caribic): centralize osmosis runtime network config (cardano-ibc-incubator)

00:07:54 [b3ae7594] Update golden files (cardano-node)

00:07:54 [fb31fd2b] Rename `txGeneratorSupport` field for consistency (cardano-node)

00:07:54 [5891a2c1] Use null for `TxGenPlutusParams` insteado omitting the field (cardano-node)

00:08:32 [1baa0efd] dolos 1.0.0-rc.10 (homebrew-tap)

00:08:41 [38a32bc5] Update golden files (cardano-node)

00:08:41 [0ba5d613] Add flag for also running tx-generator (cardano-node)

00:09:40 [8c065d35] :bento: Update graphs [skip ci] (cf-cip1694-ballot-status)

00:13:37 [9e078335] fix(ledger): simplify fee calculation (dingo)

00:14:04 [00affc9b] Added cardano-slotting-0.2.1.0 (cardano-haskell-package-repo)

00:14:04 [d983f22a] Add revision for cardano-ledger-binary-1.7.1.0 (cardano-haskell-package-repo)

00:14:04 [6b9ca1c4] Added cardano-binary-1.8.0.0 (cardano-haskell-package-repo)

00:17:26 [39d7768e] :card_file_box: Update status summary [skip ci] [upptime] (cf-token-metadata-registry-status)

00:17:26 [19fc8d3d] :pencil: Update summary in README [skip ci] [upptime] (cf-token-metadata-registry-status)

00:17:51 [733c2aba] feat: bootstrap client for mithril (dingo)

00:18:39 [62851c16] Automatic Update (stackage.nix)

00:19:15 [1cb462c2] Add CODEOWNERS to the packages maintained by Tweag (cardano-haskell-packages)

00:19:15 [94a73969] Added scls-format-0.1.0.0 (cardano-haskell-packages)

00:19:15 [45ae57a1] Added mempack-scls-0.1.0.0 (cardano-haskell-packages)

00:19:15 [029460f8] Added scls-core-0.1.0.0 (cardano-haskell-packages)

00:19:15 [b9f651f1] Added scls-cbor-0.1.0.0 (cardano-haskell-packages)

00:19:15 [c6ffa74d] Added scls-cardano-0.1.0.0 (cardano-haskell-packages)

00:19:15 [2a208fbb] Added merkle-tree-incremental-0.1.0.0 (cardano-haskell-packages)

00:21:25 [75a513be] Merge branch 'main' into feat/preview-network-config (acropolis)

00:21:33 [42c21c81] :bento: Update graphs [skip ci] (cf-token-metadata-registry-status)

00:23:21 [708bec4c] :bento: Update graphs [skip ci] (cf-summit-evoting-status)

00:23:31 [249ac1a5] Update from d983f22a8d4be7b28bf6f435acddd4038ae28a00 (cardano-haskell-packages)

00:24:13 [32dcc7ab] fix(caribic): gate osmosis startup on redis readiness (cardano-ibc-incubator)

00:26:01 [9d185a97] Update CHaP index state (cardano-ledger-specs)

00:26:05 [dd7e32bd] Update dependencies to reflect the retirement of `cardano-crypto-tests` (cardano-ledger)

00:34:51 [9127f4f9] fix(caribic): rename cheqd health label (cardano-ibc-incubator)

00:34:54 [e6be933b] :card_file_box: Update status summary [skip ci] [upptime] (cf-cip1694-ballot-status)

00:34:54 [9c924fe4] :pencil: Update summary in README [skip ci] [upptime] (cf-cip1694-ballot-status)

00:43:22 [ff147438] :pencil: Update summary in README [skip ci] [upptime] (cf-summit-evoting-status)

00:43:22 [5c4594d1] :card_file_box: Update status summary [skip ci] [upptime] (cf-summit-evoting-status)

00:45:09 [7e86471a] nixosModules: mv loki default config to alloy, gate with enableLoki opt (cardano-parts)

00:47:38 [6c624ceb] bump: cardano-parts for loki default cfg (cardano-playground)

00:48:53 [eac3fff8] feat: add preview network configuration and make target (#687) (acropolis)

00:48:58 [7e1d1678] nixosModules: upstream loki cfg to alloy svc, rm deprecated grafana-agent (cardano-playground)

00:51:26 [6d707df6] nixpkgs: update deprecated option naming (cardano-playground)

00:56:15 [3b202056] feat(stm): golden conversions for single signature (mithril)

00:57:33 [6faf47ad] Update Hackage and Stackage (haskell.nix)

01:00:26 [431fabc7] fix(protocol): split chainsync n2n/n2c state map (gouroboros)

01:21:00 [e5716969] feat: bootstrap client for mithril (dingo)

01:21:13 [97ebb07c] fix(protocol): split chainsync n2n/n2c state map (gouroboros)

01:29:28 [75869cf2] refactor(snark/golden): simplify witness helpers and improve error handling (mithril)

01:47:38 [f3dd8cf8] Scope gcc14 fixincludes override to Linux only (cardano-haskell-action)

01:47:56 [c6eb5948] Deploying to gh-pages from @ IntersectMBO/plutus@0eb519290e67ae27dc024fbe3f8c89950a6e2973 🚀 (plutus)

01:48:36 [bc37d768] Added mempack-scls-0.1.0.0 (cardano-haskell-package-repo)

01:48:37 [01630791] Narrow gcc14 fixincludes override to isLinux only (cardano-haskell-action)

01:48:46 [85914ff9] Added merkle-tree-incremental-0.1.0.0 (cardano-haskell-package-repo)

01:48:51 [1f0af422] Added scls-cardano-0.1.0.0 (cardano-haskell-package-repo)

01:48:56 [421fd8c9] Added scls-cbor-0.1.0.0 (cardano-haskell-package-repo)

01:49:00 [86b2a10a] Added scls-core-0.1.0.0 (cardano-haskell-package-repo)

01:49:05 [0c234110] Added scls-format-0.1.0.0 (cardano-haskell-package-repo)

01:58:24 [eacd728b] add Plutus Benchmarks (customSmallerIsBetter) benchmark result for 0eb519290e67ae27dc024fbe3f8c89950a6e2973 (plutus)

01:58:25 [e2e1460f] Added scls-cardano-0.1.0.0 (cardano-haskell-package-repo)

01:58:25 [33c7412b] Added mempack-scls-0.1.0.0 (cardano-haskell-package-repo)

01:58:25 [e0e4c8eb] Added merkle-tree-incremental-0.1.0.0 (cardano-haskell-package-repo)

01:58:25 [7cfc5c7b] Add CODEOWNERS to the packages maintained by Tweag (cardano-haskell-package-repo)

01:58:25 [f194da34] Added scls-cbor-0.1.0.0 (cardano-haskell-package-repo)

01:58:25 [2dafc3c0] Added scls-format-0.1.0.0 (cardano-haskell-package-repo)

01:58:25 [d773d282] Added scls-core-0.1.0.0 (cardano-haskell-package-repo)

02:09:26 [1b738802] Update from 2dafc3c00fd4bfae231580faa44aa427fac9d7df (cardano-haskell-package-repo)

02:24:25 [47ae6be4] Remove unused package (plutus)

02:57:48 [6e36aeb7] Added hydra-prelude-1.0.0 (cardano-haskell-packages)

02:57:49 [b61e2e06] Added hydra-cardano-api-1.0.0 (cardano-haskell-packages)

02:57:49 [57770fcf] Added hydra-plutus-1.0.0 (cardano-haskell-packages)

02:57:49 [c0d0ce24] Added hydra-node-1.0.0 (cardano-haskell-packages)

02:57:49 [66515882] Added hydra-tx-1.0.0 (cardano-haskell-packages)

02:57:49 [ff6db484] Added hydra-cluster-1.0.0 (cardano-haskell-packages)

02:57:50 [fc183442] Added hydra-tui-1.0.0 (cardano-haskell-packages)

02:57:50 [80f4cadf] Added hydra-chain-observer-1.0.0 (cardano-haskell-packages)

02:57:50 [8a807862] Added hydra-test-utils-1.0.0 (cardano-haskell-packages)

02:57:50 [4dc5a57f] Added hydra-plutus-extras-1.0.0 (cardano-haskell-packages)

02:57:50 [cb7fbeeb] Add system dependencies for hydra packages (cardano-haskell-packages)

03:01:09 [09da0b85] Bump `cardano-testnet` version (cardano-node)

03:09:28 [cccd1f3c] Merge pull request #6444 from IntersectMBO/testnet-stylish-haskell (cardano-node)

03:21:11 [e8708764] feat(caribic): implement end-to-end message-exchange demo flow (cardano-ibc-incubator)

03:21:24 [4b98d23f] Scheduled update (pool_groups)

03:28:24 [d0fa7786] computational instance for UTXOS/UTXO (formal-ledger-specifications)

03:29:05 [6a1a603e] adapt to changes after rebasing on master (formal-ledger-specifications)

03:29:05 [0d897608] simplified computational instance for UTXO (but IMPOSSIBLE reached) (formal-ledger-specifications)

03:29:15 [e5188e17] clean up/speed up computational instance for utxo (formal-ledger-specifications)

03:29:15 [d8ea327d] computational instance for UTXO complete! (but takes too long) (formal-ledger-specifications)

03:31:45 [03f58766] Extend address deltas with midnight cNight indexing (acropolis)

03:51:26 [3e3642f5] Update cardano-wallet version in *.cabal files (cardano-wallet)

03:51:26 [13c9e2de] Update wallet version in swagger.yaml (cardano-wallet)

03:51:27 [18dcdfb0] Update cardano-wallet version in README.md (cardano-wallet)

03:51:27 [42cf6d87] Update cardano-wallet version in run/common/docker/run.sh (cardano-wallet)

03:51:59 [12ef6287] feat: support new VDR key type and stabilize VDR e2e (#1596) (open-enterprise-agent)

03:57:46 [91ab5e4e] Add make target for midnight indexer run (acropolis)

04:00:24 [6b293292] feat: implement CNight indexing methods and range getters (acropolis)

04:00:44 [5b20d552] feat: implement candidate indexing methods and range getters (acropolis)

04:05:50 [09dd9e01] Merge pull request #6445 from IntersectMBO/tx-generator-enable-windows (cardano-node)

04:05:59 [0c33eea9] Update changelogs post-release (cardano-base)

04:10:48 [a2eec229] feat: midnight state module skeleton (#701) (acropolis)

04:11:27 [68fc3362] Add configuration for scriv (cardano-node)

04:13:43 [4f816a5c] merge origin/main (acropolis)

04:16:17 [6e1b5dfd] Artifacts generated from 4ba7707e96947471cf45f12eb40b7efa8951e1d2 (formal-ledger-specifications)

04:17:19 [060be60d] Artifacts generated from e6944b37b536efe643e789d78b8dcfef44e1e163 (formal-ledger-specifications)

04:20:45 [a03842c8] Artifacts generated from cffdd55ecf9a1fa98adf61dee0a40f1cccc40d37 (formal-ledger-specifications)

04:23:54 [419757d4] Configure midnight-state to consume extended address deltas (acropolis)

04:30:01 [b37d67be] Scope gcc14 fixincludes override to x86_64-linux only (devx)

04:32:26 [b9b01af3] updated plumbing (formal-ledger-specifications)

04:34:42 [82fee28f] feat: tighten VDR key validation and harden e2e compose (atala-prism-building-blocks)

04:36:06 [ae8ef0dd] fix tests (plutus)

04:38:12 [89f758ea] names (plutus)

04:41:30 [c9d0529f] Remove version-forcing and use `0.cabal` whenever it exists (foliage)

04:57:33 [e93429b8] deploy: cccd1f3c04a994c4fc64bfe39519fec6b7ea0f93 (cardano-node)

05:02:17 [12bb6521] assign CIP number 176 (CIPs)

05:02:33 [8a6c5dee] feat: add registered candidate set getter (acropolis)

05:24:27 [89b09377] fix: wrap utxo getters in Result instead of panicing (acropolis)

05:28:19 [c030aafb] assign CIP number 177 (CIPs)

05:35:25 [fac5bb70] Update proposal voting contexts (governance)

05:52:29 [f65f518f] Update constraints for cardano-crypto-class-2.3.0.0 (cardano-ledger)

05:52:37 [847c6ff3] Update for change in `OutputVRF` from `ByteString` to `ByteArray` (cardano-ledger)

05:52:37 [74027df4] Update for change from `Word8` to `Word` in `DecoderErrorUnknownTag` (cardano-ledger)

05:52:38 [09321382] Update for `Arbitrary` instances moving from `cardano-crypto-praos` to `cardano-crypto-class` (cardano-ledger)

05:52:38 [6fd43f17] Adjust for renaming of size values in `cardano-crypto-class` (cardano-ledger-specs)

05:52:39 [144a80f0] Move utility functions to `cardano-base` (cardano-ledger)

05:52:39 [d7c7ddf2] Move `Arbitrary` instances to `cardano-crypto-class` (cardano-ledger)

05:52:39 [539db4cc] Move `Arbitrary` instances to `cardano-strict-containers` (cardano-ledger-specs)

05:52:40 [0276f989] Remove some rexported `Arbitrary` instances from `Test.Cardano.Ledger.Binary.Arbitrary` (cardano-ledger)

05:53:17 [a67447ba] Move the `Arbitrary VMap` instance to the `vector-map` testlib (cardano-ledger)

05:53:22 [a4e813ca] Move `Arbitrary` instances to `cardano-slotting` (cardano-ledger)

06:00:04 [b9bcec31] deploy: 09dd9e013754b324040e89a7559ce59d161d2d68 (cardano-node)

06:08:37 [f2e9c632] docs: update architecture docs for time-gated phases and Reject (cardano-mpfs-onchain)

06:08:37 [f4c25c15] fix: initialize Custom network slot config from Yaci DevKit genesis (cardano-mpfs-onchain)

06:08:37 [883694b1] feat: time-gated request phases and Reject redeemer (cardano-mpfs-onchain)

06:08:37 [c34a9a3c] fix: align E2E submitted_at with on-chain POSIX time (cardano-mpfs-onchain)

06:33:12 [f42062fc] Merge pull request #631 from IntersectMBO/nm/post-release (cardano-base)

06:38:59 [255dc7ef] Rename `ssStake` to `ssActiveStake` (cardano-ledger)

06:38:59 [17246cf1] Make `queryStakeSnapshots` more consistent starting with PV11: (cardano-ledger)

06:38:59 [200e0676] Get rid of PoolParams from SnapShot (cardano-ledger)

06:38:59 [fff24daf] Make `ssDelegations` strict (cardano-ledger)

06:38:59 [eee8a80e] Fix changelog for cardano-ledger-shelley-test (cardano-ledger-specs)

06:38:59 [80f78363] Remove assertions and no longer needed arguments to `mkPoolRewardInfo` (cardano-ledger-specs)

06:38:59 [69e85fef] Swap order of arguments in `stakePoolStateToStakePoolParams` (cardano-ledger-specs)

06:44:00 [6392669c] No more OVERLAPPABLE (ouroboros-consensus)

06:50:17 [a0007b27] Add alphabet records (agda-cardano-common)

07:01:22 [52aec563] Remove assertions and no longer needed arguments to `mkPoolRewardInfo` (cardano-ledger)

07:01:22 [11da19e5] Swap order of arguments in `stakePoolStateToStakePoolParams` (cardano-ledger)

07:01:22 [b7379ebb] Rename `ssStake` to `ssActiveStake` (cardano-ledger)

07:01:22 [25622861] Make `queryStakeSnapshots` more consistent starting with PV11: (cardano-ledger)

07:01:22 [751b95f6] Get rid of PoolParams from SnapShot (cardano-ledger)

07:01:22 [a7f4fa2c] Make `ssDelegations` strict (cardano-ledger)

07:01:22 [8d814876] Fix changelog for cardano-ledger-shelley-test (cardano-ledger)

07:07:03 [d2c57052] feat: machine-checked proofs for time-phase exclusivity (cardano-mpfs-onchain)

07:07:37 [1bfcca67] ci: add Lean proof verification to CI (cardano-mpfs-onchain)

07:11:35 [0dd3c99b] Some Module faff (agda-cardano-common)

07:14:34 [3de0c989] feat: add VDR driver implementation, documentation and tests (#887) (atala-prism)

07:20:15 [5aa339f2] Comments and one semantic fix in LTL (agda-cardano-common)

07:28:51 [ab3f025d] Merge pull request #5553 from IntersectMBO/nm/cardano-base-orphans (cardano-ledger)

07:32:54 [0e458613] add Haskell Benchmark (customSmallerIsBetter) benchmark result for ab3f025dbd784ca5687ecb60d14b35f59685ca96 (cardano-ledger)

07:35:14 [4c113c0c] No more TypeAbstactions, AllowAmbiguousTypes (ouroboros-consensus)

07:43:32 [dc1dbb82] .agda -> lagda.md for all files in src (formal-ledger-specifications)

07:43:32 [0e7ff159] WIP (formal-ledger-specifications)

07:56:15 [c58031d1] [Peras 10] Add pure voting rules (#1785) (ouroboros-consensus)

07:57:03 [63c832f5] Updates to the LTL semantics (agda-cardano-common)

08:02:24 [3a2e4dba] fix (cf-identity-wallet)

08:07:50 [7c8d8c67] Swap order of arguments in `stakePoolStateToStakePoolParams` (cardano-ledger)

08:07:50 [fe0c8f7e] Rename `ssStake` to `ssActiveStake` (cardano-ledger)

08:07:50 [5b3a5eb1] Remove assertions and no longer needed arguments to `mkPoolRewardInfo` (cardano-ledger)

08:07:50 [d20cc69c] Get rid of PoolParams from SnapShot (cardano-ledger)

08:07:50 [7036dca0] Fix changelog for cardano-ledger-shelley-test (cardano-ledger)

08:07:51 [759a58b6] Make `ssDelegations` strict (cardano-ledger-specs)

08:07:51 [f0ebdbfe] Make `queryStakeSnapshots` more consistent starting with PV11: (cardano-ledger)

08:14:35 [b5fdd721] test: align DID service spec with key-agreement rules (open-enterprise-agent)

08:15:14 [48850d05] Revert "feat: tighten VDR key validation and harden e2e compose" (atala-prism-building-blocks)

08:16:44 [63f5c1d6] Merge pull request #1098 from IntersectMBO/mgalazyn/proto-lens-ghc-9.12 (cardano-api)

08:21:40 [a5d14263] fix (cf-identity-wallet)

08:24:25 [fafbd62b] Remove no longer needed orphan Arbitrary instance for BlockNo (ouroboros-network)

08:24:25 [222e766d] Bump CHaP index state (ouroboros-network)

08:27:27 [9725e371] REMOVEME: Enable multiple retries (cardano-node)

08:27:28 [4e8d83fa] REMOVEME: Disable in-test-suite retries (cardano-node)

08:27:29 [4ef7e3f4] Run only TestQueryStakeAddressInfoCmd query in CliQueries Test (cardano-node)

08:32:37 [038172a7] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

08:32:37 [450d839e] SRP (ouroboros-consensus)

08:32:37 [4b69cdab] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

08:34:58 [fccc803c] refactor(client-cli): refactor version instanciations, fix some wording (mithril)

08:37:08 [30d195f3] fix(ui): Large gap in group credential acceptance screen while pending (#1586) (cf-identity-wallet)

08:37:23 [9931f22e] feat: add VDR capabilities to the cloud-agent using the prism-node (#1685) (open-enterprise-agent)

08:38:43 [85a7b6bf] chore(deps-dev): bump ajv from 8.13.0 to 8.18.0 (open-enterprise-agent)

08:38:48 [783f80e5] feat: add phase property fuzz tests mirroring Lean theorems (cardano-mpfs-onchain)

08:42:55 [81ad6de7] Format code (formal-ledger-specifications)

08:43:22 [3adb80ee] Fix build (formal-ledger-specifications)

08:43:44 [b36a19e7] chore: reuse PRISM_NODE_* envs for prism-node driver (open-enterprise-agent)

08:45:27 [835d2883] chore(deps): bump the actions-deps group across 1 directory with 24 updates (open-enterprise-agent)

08:46:58 [8a690f17] feat(ui): update toast message when user try to add 6 cred to favourite list (#1593) (cf-identity-wallet)

08:51:35 [1a0cc896] Bump Hackage and CHaP index states (ouroboros-consensus)

08:51:36 [c90141cf] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

08:51:36 [f8512f87] Use `typed-protocols-1.2` (ouroboros-consensus)

08:51:36 [7457b04d] Use `cardano-crypto-class-2.3.*` (ouroboros-consensus)

08:51:36 [bfec4616] Use `random-1.3.*` (ouroboros-consensus)

08:51:36 [b586af8c] Ouroboros-Network integration (ouroboros-consensus)

08:51:36 [52220ad2] [wip] bump Network s-r-p (ouroboros-consensus)

08:51:36 [69c6bf8c] [wip] add kes-agent s-r-p (ouroboros-consensus)

08:51:36 [f555df2b] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

08:51:36 [b14489c2] [wip] Update Ledger s-r-p (ouroboros-consensus)

08:51:36 [b3bfba3f] [wip] add Plutus s-r-p (ouroboros-consensus)

08:51:36 [ac026e96] Populate ProtVer in BHederView (ouroboros-consensus)

08:52:21 [6df8cbef] Merge branch 'main' into vdr-driver-2 (open-enterprise-agent)

08:54:00 [946b77d0] first files (acropolis)

08:54:33 [98d35581] fix(ui): display issued date in revoke cred card (#1595) (cf-identity-wallet)

08:56:16 [a1297d20] Merge pull request #2 from easy1staking-com/fix/update-dependencies-fix-format-hanging-on-save (editor-integration-vscode)

08:56:25 [86b47ce4] ci: add Lean proof verification to CI (cardano-mpfs-onchain)

08:56:25 [61b6fb3d] feat: add phase property fuzz tests mirroring Lean theorems (cardano-mpfs-onchain)

08:56:25 [5372fef4] feat: machine-checked proofs for time-phase exclusivity (cardano-mpfs-onchain)

08:57:06 [c1c1fe51] Merge branch 'develop' into VT20-2560-issuer-is-blank-instead-of-unknown-on-credential-card (cf-identity-wallet)

08:57:33 [0d9b74a8] fix (cf-identity-wallet)

08:59:06 [ab211193] ci: fix performance tests docker api (open-enterprise-agent)

08:59:49 [577529af] docs: add caging proof roadmap (cardano-mpfs-onchain)

09:01:07 [abfbdfc2] chore: implemented a number of features (editor-integration-vscode)

09:01:56 [f0704f7f] io-classes-1.9 (typed-protocols)

09:04:40 [c5680e30] refactor(stm): reduced number of iterations in slow tests (mithril)

09:05:05 [280d7452] fix: improve type safety in proxy data handling and wallet balance logic (multisig)

09:06:41 [880fca54] ci: set prism node port default for e2e (atala-prism-building-blocks)

09:09:31 [f3838857] feat(cost-model): measure Text memory in bytes instead of characters (plutus)

09:09:31 [df13bc9c] feat(builtins): add TextCostingByteLength for byte-based string costing (plutus)

09:09:32 [3ff90a79] docs(cost-model): add string builtin pages to cost model portal (plutus)

09:09:32 [99e49520] refactor(benchmarks): unify Text benchmarks on 4-byte worst-case generator (plutus)

09:09:56 [4c7d8283] fix(ui): Issuer is blank instead of Unknown on credential card (#1596) (cf-identity-wallet)

09:11:04 [dc32ca97] Artifacts generated from 1f101a810783ce4c44682a263eab2310553a471c (formal-ledger-specifications)

09:11:18 [23716ed6] Ouroboros-Network integration (ouroboros-consensus)

09:11:18 [9a19da23] Use `cardano-crypto-class-2.3.*` (ouroboros-consensus)

09:11:42 [0d82c00c] Add Imp test to check failure of phase-1 when bootstrap addr + scripts (cardano-ledger)

09:11:45 [c3c98199] Artifacts generated from 97d09e38585d91e337ec98229a1c32ae08be768c (formal-ledger-specifications)

09:12:48 [d559b224] Use `random-1.3.*` (ouroboros-consensus)

09:12:49 [be7d1ff1] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

09:12:49 [1e000829] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

09:12:49 [54742f1b] Populate ProtVer in BHederView (ouroboros-consensus)

09:14:44 [57a7c045] Merge branch 'develop' into VT20-2557-list-view-and-pending-credentials-are-both-missing-connection-name (cf-identity-wallet)

09:16:53 [ca7aa20c] ci: make unit tests use host docker api 1.44 (atala-prism-building-blocks)

09:19:11 [3c2db4d1] Add changelog entry (ouroboros-network)

09:20:26 [abc53f65] test: disable failing ada-handle tests (lace)

09:22:33 [3f688aa0] Update recent-updates.md (Intersect-knowledge-base)

09:23:17 [0c49ae28] fix: deduplicate internal key purpose validator (atala-prism-building-blocks)

09:24:04 [81eea418] Allow screenshot (cf-identity-wallet)

09:27:46 [339ac698] Allow screenshot (cf-identity-wallet)

09:32:30 [a04d89f6] GHC-9.14 support (typed-protocols)

09:32:30 [d9c0eda0] Run haskell.yml workflow on main & release branches (typed-protocols)

09:32:52 [d74eb292] ci: drop unsupported setup-docker action (atala-prism-building-blocks)

09:33:13 [d8ae294f] chore: add local test checklist skill (atala-prism-building-blocks)

09:34:09 [d64143a9] fix(ui): add connection name to credential list view (#1598) (cf-identity-wallet)

09:34:24 [6ac49ca0] Merge pull request #5319 from IntersectMBO/bump-cardano-base (ouroboros-network)

09:35:35 [0a21fcd5] Small refactor of drift (hydra-poc)

09:36:14 [134fe7a6] refactor: separate tests into dedicated modules (cardano-mpfs-onchain)

09:39:15 [bf5a67a3] chore: remove repo-local skills dir (open-enterprise-agent)

09:39:27 [d95a4254] feat(snark): add STM→halo2 signature adapter (no wiring yet) (mithril)

09:39:27 [ba416ee1] refactor(snark): remove unused LongSignature and sign_long helpers (mithril)

09:39:27 [6efee6b1] refactor(snark): align circuit DST with STM and remove legacy local DST (mithril)

09:39:27 [a4dfc67c] fix(stm): removed sha2 dependency (mithril)

09:39:27 [ce07ceb0] Fix(stm): fixed broken benchmark (mithril)

09:39:27 [0d30da18] Fix(stm): Change the input type of the sign and verify function for schnorr and updated the tests (mithril)

09:39:27 [565fdd2f] refactor(snark): switch circuit witness + golden + Merkle to STM signatures (mithril)

09:39:28 [b0ca2758] feat(snark): add byte<->field adapters and poseidon/merkle equivalence experiments (mithril)

09:39:28 [81253a86] refactor(snark): swicth circuit witness + golden to STM Merkle (mithril)

09:39:28 [754e046a] chore: cleanup halo2 folder after removing off-circuit (mithril)

09:39:28 [f78bc6b6] refactor(stm): dedup BaseFieldElement conversion in tests (mithril)

09:39:28 [56725c0d] chore(snark): remove legacy off-circuit unique_signature (mithril)

09:39:28 [3af476d5] feat(snark): add STM<->Halo2 merkle_path adapter and merkle path equivalence experiment (mithril)

09:39:28 [19d53dc0] chore: sync Cargo.lock with main (mithril)

09:39:28 [463237e1] chore: sync mithril-stm manifest and lockfile with upstream main (mithril)

09:39:29 [8b9507d9] chore: revert unintended mithril-stm changes (mithril)

09:39:29 [292bed15] refactor(snark): cleanup and enhance error handling in circuit/gadgets (mithril)

09:39:29 [8e0f7a47] test(snark): remove panics in golden helpers/tests and use TryFrom/TryInto (mithril)

09:39:29 [1a55a682] refactor(snark): simplify halo2 golden helpers and remove panics (mithril)

09:39:29 [355c3f35] refactor(snark): type witness VK and remove in-circuit byte round-trips (mithril)

09:39:29 [c5b17d97] fix(snark): adapt halo2 wiring to updated STM API (mithril)

09:39:29 [cefe607c] refactor(snark): simplify halo2 utils and types and remove panics (mithril)

09:39:30 [2b4b4b50] refactor(snark/golden): simplify witness helpers and improve error handling (mithril)

09:41:13 [8fead9f5] refactor: separate tests into dedicated modules (cardano-mpfs-onchain)

09:41:26 [abbdf512] fix: patch libsodium allowing deno to resolve the dependency (cardano-ibc-incubator)

09:42:52 [0b2b022b] Space out requests for the same tx. (ouroboros-network)

09:44:11 [75c5dfa5] Use geTxData to retrieve data in legacy-mode (formal-ledger-specifications)

09:44:11 [9a708efe] Add legacy-mode for UTXOW (formal-ledger-specifications)

09:44:11 [4cb3e2f7] Amend Computational instance SUBUTXOW (formal-ledger-specifications)

09:44:34 [3ff141d1] Ensure files are deleted after funding (cardano-node)

09:44:34 [9e5bd1fd] wip (cardano-node)

09:44:34 [6208c69d] wip tracing (cardano-node)

09:44:34 [e565048b] wip (cardano-node)

09:44:34 [9266e7af] Add scripts for starting testnet and funding an address (cardano-node)

09:44:34 [60c4d521] Update deps and fix fund script (cardano-node)

09:44:34 [c02e165b] Fix funding script (cardano-node)

09:44:34 [238adb09] move grpc initialisation (cardano-node)

09:44:34 [67bd9d4f] Add gRPC to cardano-node (cardano-node)

09:44:34 [2e07ddc5] undo ioref bullshit (cardano-node)

09:44:34 [40ea2cc5] wip (cardano-node)

09:44:34 [5eeec738] changs (cardano-node)

09:44:34 [3095f2e5] fix tests (cardano-node)

09:44:34 [58a3d106] REMOVEME: cardano-testnet: disabled 2 relays and inducing failure in rpc query test (cardano-node)

09:44:34 [4911f82a] wip (cardano-node)

09:44:34 [d21f3685] added some tracers (cardano-node)

09:44:34 [6c6568a1] update deps (cardano-node)

09:44:34 [24c1bd53] update (cardano-node)

09:44:34 [30b7eec1] Update for cardano-api#945 (cardano-node)

09:44:34 [dbccef43] expose prometheus metrics in testnet (cardano-node)

09:44:34 [7ed246fd] WIP (cardano-node)

09:48:21 [1cd2f228] GHC-9.14 support (typed-protocols)

09:49:42 [bd2e42c5] WIP: make the test suite compile (ouroboros-network)

09:49:46 [46cb0f28] fixup: fix testcases (ouroboros-network)

09:51:01 [f1554511] chore: update changelog and bump version (mithril)

09:52:22 [29ee6fff] feature(client-cli): use the new snapshot converter command with cardano version latest, fix some assertion wording (mithril)

09:53:14 [d8588f33] avoid partial functions in HeadLogic (hydra)

09:56:59 [252a59a6] Update 02-release-notes.mdx (cardano-documentation)

10:00:18 [ff555c79] Merge pull request #80 from input-output-hk/coot/io-classes-1.9.0.0 (typed-protocols)

10:00:24 [3037c00b] test: e2e test maintenance (lace)

10:03:23 [f0443fd7] test: enable the replay test (amaru)

10:04:22 [8171223c] deploy: 63f5c1d68af2f5ca553a814291a08a8673df811a (cardano-api)

10:11:47 [ecddc578] [Dijkstra] Implement legacy-mode for V1-V3 Plutus scripts (#1049) (formal-ledger-specifications)

10:18:32 [cdc89f94] Add comprehensive cache corruption prevention and recovery (foliage)

10:19:47 [c7a43162] feat: add Lean 4 theorems for lib.ak token handling functions (cardano-mpfs-onchain)

10:20:01 [0efbfd89] refactor(client-cli): add test rejecting using snapshot-converter with Cardano version latest and flavor Legacy (mithril)

10:22:29 [e2f1beaf] Expose library for snapshot conversion (ouroboros-consensus)

10:23:26 [e4f94f8d] Daemonize snapshot-converter (ouroboros-consensus)

10:23:28 [4b13f762] test: e2e test maintenance (#2158) (lace)

10:25:32 [bc508ed4] fix: align Lean theorems with Aiken tests (cardano-mpfs-onchain)

10:28:23 [16d8ca32] Daemonize snapshot-converter (ouroboros-consensus)

10:33:05 [7c850086] Artifacts generated from c0b463e08fd93bca42690cf7d8bb9e1e61b38ecb (formal-ledger-specifications)

10:33:18 [e4b51f13] docs: explain security relevance of each theorem and property (cardano-mpfs-onchain)

10:36:52 [e0557a58] Artifacts generated from 491751f0b3fcfa25c6b3f8cc9793ce483f708b45 (formal-ledger-specifications)

10:37:24 [7a2f30a9] Artifacts generated from ecddc578e65540d537a32b8ef855d47772bb8a8a (formal-ledger-specifications)

10:38:33 [d56ea327] draft (hydra-poc)

10:38:45 [0b2f6116] Update koios token (cardano-governance-voting-tool)

10:40:00 [23c2bcb5] Rename directory following CIP number assignment (CIPs)

10:44:52 [9fce1c13] docs: explain security relevance of each theorem and property (cardano-mpfs-onchain)

10:44:52 [8c370466] fix: align Lean theorems with Aiken tests (cardano-mpfs-onchain)

10:44:52 [3ce5e209] feat: add Lean 4 theorems for lib.ak token handling functions (cardano-mpfs-onchain)

10:49:05 [33fe910e] Remove unnecessary constraint from Evidenced (cuddle)

10:50:46 [3eb193e9] fix: don't cast prism-node service to driver (open-enterprise-agent)

10:51:22 [f19f68cf] Describe CPS 17 and 18 as related (CIPs)

10:54:19 [69ba77ba] [fls-agda] change log message (formal-ledger-specifications)

10:54:19 [7ab396ce] Format code (formal-ledger-specifications)

10:54:20 [704a5ea7] WIP (formal-ledger-specifications)

10:54:29 [53d2b95b] Fix fourmolu formatting (foliage)

10:59:21 [43c884db] Implement block diffusion through network (upstream to downstream) (ouroboros-leios)

10:59:27 [694703b2] feat: add Endorser Block (EB) + transaction cache for Leios MEV analysis (ouroboros-leios)

10:59:27 [b927a59e] refactor: derive Leios mempool from (RB + EB) × 2 instead of multiplier (ouroboros-leios)

10:59:28 [22a4fa0b] chore: add .vite/ to gitignore (ouroboros-leios)

10:59:28 [fe6e8b4c] fix: default EB size to 10 MB per CIP-0164 (ouroboros-leios)

10:59:40 [149c15a7] feat: add lean4 compiler to dev shell (cardano-mpfs-onchain)

11:02:52 [dd8d880d] fix: TxCache not updating during simulation (ouroboros-leios)

11:02:52 [0bba990e] feat: scaled bitmap simulator for 10k+ nodes (ouroboros-leios)

11:02:52 [a880969e] fix: skip topology rebuild for non-topology config changes (ouroboros-leios)

11:02:52 [3210a3ae] refactor: remove inCache/txCacheMode — EB-fetched txs enter mempool via acceptTx (ouroboros-leios)

11:04:37 [5049731e] feat: add lean4 compiler to dev shell (cardano-mpfs-onchain)

11:05:42 [374645fb] GITBOOK-206: No subject (cardano-upgrades-gitbook)

11:05:44 [9476f9d6] Small refactor of drift (hydra-poc)

11:06:24 [f415189b] Update 03-comp-matrix.mdx (cardano-documentation)

11:14:59 [cd6d8321] Add tag traces (cuddle)

11:16:14 [c173154e] docs: align v2.1.0 guides (drep, staking, pool ops) and env vars (#692) (cardano-rosetta-java)

11:18:15 [63dc57ab] deploy: c173154e797ac0c32743f358ecc6361dbdce75f6 (cardano-rosetta-java)

11:22:19 [6127fec3] Merge pull request #735 from input-output-hk/olgahryniuk-patch-148198 (cardano-documentation)

11:22:25 [8755ac55] chore: add direnv support (cardano-mpfs-onchain)

11:24:43 [7c4cff42] add source header (formal-ledger-specifications)

11:29:03 [043c2183] chore: add direnv support (cardano-mpfs-onchain)

11:34:24 [c36459d9] test: set prism node plaintext env default (open-enterprise-agent)

11:35:30 [97696342] Keep a note about duplicate EBs being fetched (ouroboros-consensus)

11:35:53 [05e6f926] Invert filters to only return missing bodies/txs (ouroboros-consensus)

11:35:53 [0d133e16] Query missing ebs/closure from db and filter them in fetch logic (ouroboros-consensus)

11:35:53 [4ef28049] Drop unused ebPoints field from LeiosOutstanding (ouroboros-consensus)

11:35:53 [48867903] Merge LeiosEbBodies and LeiosOutstanding state (ouroboros-consensus)

11:35:54 [764c6099] Filter missing EbBodies using points (ouroboros-consensus)

11:45:02 [62f17da1] Flatten build-tools hierarchy (formal-ledger-specifications)

11:46:00 [931dec7d] Update flake inputs (ouroboros-leios)

11:46:26 [3f73cee4] Merge pull request #758 from input-output-hk/ch1bo/proto-eb-production (ouroboros-leios)

11:47:01 [8e4247f8] Add note about validity in EBs (ouroboros-leios)

11:47:01 [5665d2e7] Use Dijkstra era in design chapter (ouroboros-leios)

11:47:02 [607f2834] Re-order consensus sections and pull out resource management (ouroboros-leios)

11:47:02 [653bd2c1] Add a note on resource management (ouroboros-leios)

11:47:02 [a49fa8ef] Add notes about block forging (ouroboros-leios)

11:47:03 [1eab613c] Volatile/immutable eb store and how to fetch all volatile EBs? (ouroboros-leios)

11:47:03 [aad8157e] Bump leios-design version and changelog (ouroboros-leios)

11:47:52 [18e2ae39] Remove scripts no longer necessary (formal-ledger-specifications)

11:49:47 [176981a9] Remove pdf rules from build system (formal-ledger-specifications)

11:53:10 [2eb327f7] Artifacts generated from 3713ab34300e3022736fbbe1c28640b614e7cb6e (formal-ledger-specifications)

11:57:32 [6bc21d74] fix: avoid unnecessary signer setup when members don't change (cf-identity-wallet)

11:57:55 [5c7701ae] test: enable the replay test (amaru)

12:01:57 [519b2478] [wip] bump Network s-r-p (ouroboros-consensus)

12:01:58 [1df7305b] Use `typed-protocols-1.2` (ouroboros-consensus)

12:01:58 [86c2305c] Use `cardano-crypto-class-2.3.*` (ouroboros-consensus)

12:01:58 [49e4ddc5] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

12:01:58 [ba3dcce2] [wip] add kes-agent s-r-p (ouroboros-consensus)

12:01:58 [7927606f] Populate ProtVer in BHederView (ouroboros-consensus)

12:01:58 [a776bc63] Ouroboros-Network integration (ouroboros-consensus)

12:01:58 [15f137ee] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

12:01:58 [ef0c8ce3] Use `random-1.3.*` (ouroboros-consensus)

12:02:06 [71e44ecd] Initial commit (cardano-ledger-read)

12:02:16 [75769224] fix: the method Handler.fromResource changed the signature (atala-prism-mediator)

12:04:33 [c047febc] Add `FromCBOR`, `ToCBOR` instances for `OneEraHash` (ouroboros-consensus)

12:04:33 [781fdf30] Provide constraint in GetLedgerPeerSnapshot pattern (ouroboros-consensus)

12:04:33 [eb74a302] Update N2C part of `latestReleasedNodeVersion` to `NodeToClientV_23` (ouroboros-consensus)

12:05:08 [693b9c16] Bump Hackage and CHaP index states (ouroboros-consensus)

12:06:03 [1aabe0ac] feat: initial extraction of Cardano.Read.Ledger.* modules (cardano-ledger-read)

12:06:42 [074d8286] build: update zio-http to 3.8.1 (#606) (atala-prism-mediator)

12:06:53 [0310adff] [wip] Update Ledger s-r-p (ouroboros-consensus)

12:06:55 [14bbe3d1] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

12:06:55 [47cf9761] [wip] bump Network s-r-p (ouroboros-consensus)

12:06:55 [1dbd1391] Ouroboros-Network integration (ouroboros-consensus)

12:06:55 [43266c57] [wip] add Plutus s-r-p (ouroboros-consensus)

12:06:55 [15c17e83] Use `cardano-crypto-class-2.3.*` (ouroboros-consensus)

12:06:55 [7892fbb7] Use `random-1.3.*` (ouroboros-consensus)

12:06:55 [4a6f7c65] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

12:06:55 [6b7d76d1] Use `typed-protocols-1.2` (ouroboros-consensus)

12:06:55 [b9053e13] Populate ProtVer in BHederView (ouroboros-consensus)

12:06:55 [60ce0979] [wip] add kes-agent s-r-p (ouroboros-consensus)

12:07:17 [df17fba0] Add the size of reference scripts (ouroboros-consensus)

12:09:47 [b90e684a] Mithril update 2026-02-18 (cardano-updates)

12:10:03 [44d62ace] fix: remove cabal-fmt (incompatible with GHC 9.12) (cardano-ledger-read)

12:16:18 [aed27c46] fix: Joiner business logic (cf-identity-wallet)

12:18:56 [84bd07ac] Error severity for LeiosDbExceptions (cardano-node)

12:19:29 [613edb95] ci: bundle e2e test options (lace)

12:27:25 [a45f3c24] Address @bladyjoker's feedback (ouroboros-consensus)

12:28:19 [7abb05ca] Merge branch 'master' into root-hie-yaml (cardano-db-sync)

12:34:00 [2d1d49d9] Bump Hackage and CHaP index states (ouroboros-consensus)

12:35:51 [ca77f042] chore: add flake.lock (cardano-ledger-read)

12:36:41 [e540ae16] Count the inputs which are absent from the UTxO (ouroboros-consensus)

12:37:01 [7e589056] feat: bump dependencies to cardano-node 10.6.2 (cardano-balance-transaction)

12:37:33 [f978338e] fix(ui): prevent scanner tabs from scrolling during group setup (cf-identity-wallet)

12:38:50 [7389effa] chore: add sonar and openssf badges (open-enterprise-agent)

12:39:16 [a4cd2107] ci: updated triggers (lace)

12:39:17 [32827275] Update Ledger SRP (ouroboros-consensus)

12:39:32 [1b861e38] Add Plutus SPR (ouroboros-consensus)

12:39:39 [bb658de8] Update Network SRP (ouroboros-consensus)

12:39:46 [66f997f2] Add kes-agent SRP (ouroboros-consensus)

12:39:55 [b520055c] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

12:39:55 [e02316ff] Ouroboros-Network integration (ouroboros-consensus)

12:39:55 [a696ae4b] Populate ProtVer in BHederView (ouroboros-consensus)

12:39:55 [b17a6167] Use `cardano-crypto-class-2.3.*` (ouroboros-consensus)

12:39:55 [f885c1ce] Use `typed-protocols-1.2` (ouroboros-consensus)

12:39:55 [6542e1e4] Use `random-1.3.*` (ouroboros-consensus)

12:39:55 [a72d13b1] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

12:44:01 [22788691] Remove redundant language pragmas (ouroboros-consensus)

12:45:19 [352816f9] wallet logs (cf-identity-wallet)

12:50:26 [81ae24b5] Fix docker warnings (cardano-ignite)

12:51:17 [ffe3862c] Fixing transaction in transaction errors (ouroboros-consensus)

12:57:06 [1b88d612] Update blog/2026-02-18-mithril.md (cardano-updates)

12:59:26 [1bb2a53c] add source header (formal-ledger-specifications)

12:59:54 [ff18b4bd] Flatten build-tools hierarchy (formal-ledger-specifications)

12:59:56 [cc7c57cf] Remove scripts no longer necessary (formal-ledger-specifications)

13:01:06 [347d2d13] Store previous epoch nonce in PraosState (ouroboros-consensus)

13:01:06 [afe32c27] Add changelog entry (ouroboros-consensus)

13:01:26 [600e91aa] Remove pdf rules from build system (formal-ledger-specifications)

13:01:39 [a751db7b] Merge branch 'main' into fix-remove-semantic-version (atala-prism-mediator)

13:02:00 [c61bd790] STS-Diagram .tex -> mermaid (formal-ledger-specifications)

13:04:01 [141ba352] feat(stm): added a test for the advantage of splitting the stake (mithril)

13:05:17 [fb3841e7] WIP (formal-ledger-specifications)

13:05:33 [171bc838] Mithril update 2026-02-18 (#734) (cardano-updates)

13:05:39 [0e84dc11] chore: add sonar and openssf badges (atala-prism-wallet-sdk-kmm)

13:05:57 [8cb2c8e0] fix: remove semantic version plugin (#586) (atala-prism-mediator)

13:06:50 [e6358b79] refactor(stm): reducing the number of iterations of slow tests (mithril)

13:08:11 [83347c3d] Merge pull request #353 from cardano-foundation/feat/caribic-modular-optional-chains (cardano-ibc-incubator)

13:08:53 [fb449202] Add diffs stream to the da node (zeko)

13:09:03 [6cea0348] Use diffs stream in archive relay (zeko)

13:10:04 [344f9c68] Add diffs stream to the da node (zeko)

13:10:31 [8cc4728b] deploy: 171bc8388bf35bb876c0b2b4cc7517e2cf521ef3 (cardano-updates)

13:12:08 [b1b32577] chore: add identus logo (atala-prism-wallet-sdk-kmm)

13:14:32 [64ef3962] block wanted fixes (acropolis)

13:21:32 [576b2403] Natural -> NominalDiffTime (hydra-poc)

13:28:02 [10adfaf0] Merge branch 'main' into update/main/upickle-4.4.2 (atala-prism-mediator)

13:30:24 [2c21c66b] WIP: try full mutex mode (ouroboros-consensus)

13:32:04 [633ab654] Introduce new canonical namespace for the pool_stake (cardano-ledger)

13:38:03 [0dc8d671] Profiling documentation update (acropolis)

13:39:40 [49ddb9a2] chore: add scorecard badge (open-enterprise-agent)

13:41:15 [64d9b50a] Add more information to LeiosDbException (ouroboros-consensus)

13:41:35 [5e7af701] Add script to plot charts from omnibus log. (acropolis)

13:44:22 [aac8df3e] chore: update url for midnight node rpc (openapi)

13:49:39 [47eb7263] Fix golden PParams update tests (cardano-ledger)

13:49:39 [7a30a247] Replace `Natural` protocol parameters with `Word` types: (cardano-ledger)

13:49:39 [12a90331] Remove `asBoundedIntegralHKD` as it's unused (cardano-ledger)

13:49:39 [9dcc96a7] Change lens type for `committeeMinSize` from `Natural` to `Word16` (cardano-ledger)

13:50:19 [8571c103] fix: backup sdjwt key + connectionless test + ci update (atala-prism-wallet-sdk-swift)

13:51:15 [4e148f7b] Add Imp test to check failure of phase-1 when bootstrap addr + scripts (#5571) (cardano-ledger)

13:53:19 [72742530] Update libs/cardano-ledger-api/src/Cardano/Ledger/Api/State/Query.hs (cardano-ledger)

13:53:29 [d792353f] cleanup (acropolis)

13:54:16 [0cfa605f] add Haskell Benchmark (customSmallerIsBetter) benchmark result for 4e148f7b644809e7241d73aac9668818ace7c83d (cardano-ledger)

13:55:10 [cac210c6] Address Copilot review comments on PR #120 (foliage)

13:56:26 [11fbf75f] Merge branch 'main' into ajw/profiling (acropolis)

13:58:30 [3cc4421e] Add diffs stream to da layer (zeko)

13:58:40 [029cb343] Use diff stream in archive relay (zeko)

13:58:55 [5a6cde7c] Fix docker warnings (cardano-ignite)

14:00:51 [71736fa7] test: devnet infra + harness (#1448) (dingo)

14:02:43 [812229e2] Add diffs stream to da layer (zeko)

14:03:08 [f41ebeee] test: enable the replay test (amaru)

14:04:22 [df0b5bd0] fix(ledger): simplify fee calculation (#1440) (dingo)

14:04:53 [96d2e1e7] fix(protocol): split chainsync n2n/n2c state map (#1566) (gouroboros)

14:06:22 [e28b0bb9] style: reformat with fourmolu and nixfmt from GHC 9.12.2 shell (cardano-ledger-read)

14:09:07 [98e7f415] feat: bump dependencies to cardano-node 10.6.2 (cardano-balance-transaction)

14:10:38 [2253231a] Add `dedup-≡` lemma (#27) (agda-abstract-set-theory)

14:11:56 [e3a11da4] Check in a local copy of the PDF file and link it (cardano-formal-specifications)

14:11:56 [effb96b7] Fix Agda spec link and proofs status (cardano-formal-specifications)

14:13:37 [053a0260] fix: remove cabal-fmt (incompatible with GHC 9.12) (cardano-ledger-read)

14:13:37 [8ed86ac8] feat: initial extraction of Cardano.Read.Ledger.* modules (cardano-ledger-read)

14:13:37 [057a58ee] chore: add flake.lock (cardano-ledger-read)

14:13:37 [3d68d0c6] style: reformat with fourmolu and nixfmt from GHC 9.12.2 shell (cardano-ledger-read)

14:14:38 [921c56b1] Deploying to gh-pages from @ input-output-hk/agda-sets@2253231ad856b9b95f32d6b06709748e59bdbb3e 🚀 (agda-sets)

14:15:42 [8a7d874e] feat: enhance mining validation and progress tracking in Fukuii (mantis)

14:16:04 [999c7529] Deployed 3d68d0c with MkDocs version: 1.6.1 (cardano-ledger-read)

14:18:13 [df208334] feat(builtins): add byte-based costing for string builtins (plutus)

14:18:24 [8c10952e] refactor(benchmarks): unify Text benchmarks on 4-byte worst-case generator (plutus)

14:18:39 [211a1169] feat(cost-model): update benchmark data and cost models for string builtins (plutus)

14:18:55 [52c518ee] docs(cost-model): add string builtin visualization pages to portal (plutus)

14:22:36 [ce27c6cb] chore(main): release 1.0.0 (cardano-ledger-read)

14:25:08 [b6377a7b] chore: remove the no longer unused CLI args from `blockfrost-sdk-bridge` (blockfrost-platform)

14:26:57 [0df7c817] fixup: more clever delay (ouroboros-network)

14:27:33 [1cddd1e8] feat: bootstrap client for mithril (dingo)

14:27:34 [1299e34f] Revert health usage (dolos)

14:27:45 [5c8f0e78] Revert "feat: Add shared health struct" (dolos)

14:28:36 [ef742492] test: memory profiling (gouroboros)

14:28:40 [df8efd31] feat(caribic): stabilize message-exchange demo bootstrap (cardano-ibc-incubator)

14:30:30 [5f7df1fa] Rebase (dolos)

14:30:49 [e1d2174c] Merge branch 'main' of github.com:txpipe/dolos into chore/include-scripts-on-index (dolos)

14:31:39 [224fc35f] Merge branch 'chore/include-scripts-on-index' of github.com:txpipe/dolos into exp/kupo (dolos)

14:32:53 [34e588cd] Use `random-1.3.*` (ouroboros-consensus)

14:32:54 [70912142] Populate ProtVer in BHederView (ouroboros-consensus)

14:32:54 [0c3c233e] Integrate moving of GetStakeSnapshots query to ledger (ouroboros-consensus)

14:32:54 [942bca33] Integrate moving of Arbitrary instances to cardano-base (ouroboros-consensus)

14:32:54 [199cb286] Remove redundant language pragmas (ouroboros-consensus)

14:39:47 [69714cb5] tx-submission: inbound peer using tx-submission decision logic (ouroboros-network)

14:39:47 [dbbae6ca] tx-submission: PeerTxState & SharedTxState (ouroboros-network)

14:39:47 [206f2fee] tx-submission: registry (ouroboros-network)

14:39:47 [dfda03dc] tx-submission: generalised CollectPipelined (ouroboros-network)

14:39:47 [ef94f0f2] ouroboros-network: tx-submission module structure (ouroboros-network)

14:39:47 [5941491f] tx-submission: decision logic (ouroboros-network)

14:39:47 [ee908c45] tx-submission: debug tracer for SharedTxState (ouroboros-network)

14:39:54 [4fc87d2d] wip (plutus)

14:39:54 [b1beddee] Replace use of TH in readJSONFromFile with unsafePerformIO (plutus)

14:39:54 [70efb790] wip (plutus)

14:39:55 [a2d2c154] wip (plutus)

14:39:55 [5565fc23] wip (plutus)

14:39:55 [e82a18df] wip (plutus)

14:40:32 [60e77009] Merge pull request #78 from cardano-foundation/karknu/docker_warnings (cardano-ignite)

14:40:45 [e3ba6b20] tx-submission: fixed ArbTxDecisionPolicy generator (ouroboros-network)

14:40:45 [64ec09f9] tx-submission: added txSubmissionV2 simulation (ouroboros-network)

14:40:45 [a6e8daa2] tx-submission: rop V2 in internal APIs (ouroboros-network)

14:40:45 [91c17b73] tx-submission: fixed a race condition (ouroboros-network)

14:40:45 [6aa14654] tx-submission: defaultTxDecisionPolicy (ouroboros-network)

14:40:45 [0a7efbb8] tx-submission: added test to check tx multiplicities (ouroboros-network)

14:40:45 [2daedf09] tx-submission: refactored TxSubmission files and added V2 sim (ouroboros-network)

14:40:46 [8dbe25eb] tx-submission: moved TxDecisionPolicy to MiniProtocolParamenters (ouroboros-network)

14:40:46 [33000dfb] tx-submission: refactored test (ouroboros-network)

14:40:46 [167fde63] tx-submission: refactored PeerTxAPI (ouroboros-network)

14:40:46 [18f39d71] tx-submission: added EnableNewTxSubmissionProtocol flag (ouroboros-network)

14:40:46 [6a292380] tx-submission: added TxsToMempool newtype (ouroboros-network)

14:40:46 [928b9972] tx-submission: use strict foldl' and Map.foldl' (ouroboros-network)

14:40:46 [3f2613cf] tx-submission: TxSubmisionLogicVersion type (ouroboros-network)

14:40:46 [0f2b6391] tx-submission: improved haddocks (ouroboros-network)

14:40:46 [52977f40] tx-submission: use splitLookup to combine split & lookup (ouroboros-network)

14:40:46 [1210e228] tx-submission: compile with ghc < 9.10 (ouroboros-network)

14:40:46 [0e018d81] tx-submission: verify tx sizes (ouroboros-network)

14:40:46 [bc84c36b] tx-submission: refactored updateRejects (ouroboros-network)

14:40:46 [57d1e0aa] tx-submission: ranking of peers (ouroboros-network)

14:40:46 [4b85c162] tx-submission: use strict STM in tests (ouroboros-network)

14:40:46 [5a1cc87b] tx-submission: label TVars in tests (ouroboros-network)

14:40:46 [4ee20702] tx-submission: put common types in one place (ouroboros-network)

14:40:46 [7f17e063] tx-submission: added DebugTxLogic tracer (ouroboros-network)

14:40:46 [4b861935] net-sim: integrated txSubmissionV2 in testnet diffusion simulation (ouroboros-network)

14:40:46 [cbc53bcb] tx-submission: added export list in the Inbound.V2 module (ouroboros-network)

14:40:46 [22dd51c6] tx-submission: code style (ouroboros-network)

14:40:46 [2e49c25c] tx-submission: renamed inbound modules (ouroboros-network)

14:40:46 [6394b6d5] tx-submission: deriving Eq and Show for EnableNewTxSubmissionProtocol (ouroboros-network)

14:40:46 [91fba705] tx-submission: refactored conutRejectedTxs (ouroboros-network)

14:40:46 [91699432] tx-submission: TraceTxSubmissionProcessed for the new TX submission (ouroboros-network)

14:40:46 [c9074f7d] tx-submission: added duration to TxInboundAddedToMempool (ouroboros-network)

14:42:09 [a4c4bc52] refactor: optimize wallet handling and balance fetching logic (multisig)

14:42:30 [69f64b02] mux: haddock improvements (ouroboros-network)

14:42:30 [77d17c6c] tx-submission: test improvements (ouroboros-network)

14:42:30 [b9017f87] tx-submission: acknowledgeTxIds (ouroboros-network)

14:42:30 [8da7fc55] tx-submission: log error (ouroboros-network)

14:42:30 [4abbe7ea] tx-submission: configurable initial delay (ouroboros-network)

14:42:30 [63c37fed] tx-submission: support the txsubmission-delay cabal flag (ouroboros-network)

14:42:30 [11bbd94d] Compilation with ghc >= 9.10 without CPPs (ouroboros-network)

14:42:30 [6948ba43] tx-submission: show number of txs transferred in test simulations (ouroboros-network)

14:42:30 [abcc383d] tx-submission: test refactoring (ouroboros-network)

14:42:30 [1fa9f7e1] tx-submission: added counters (ouroboros-network)

14:42:30 [3b90d0a3] tx-submission: strict timedTxs field (ouroboros-network)

14:42:30 [4cbdd263] Updated changelog files (ouroboros-network)

14:42:30 [ed22b3ed] tx-submission: tracing improvements (ouroboros-network)

14:42:30 [3849c6da] sim-tests: testing goodies (ouroboros-network)

14:42:30 [5e259f2c] tx-submission: renamed limboTxs as inSubmissionToMempoolTxs (ouroboros-network)

14:42:30 [ad183323] tx-submission: update toMempoolTxs (ouroboros-network)

14:42:30 [050d314e] tx-submission: code style / ghc-9.12 (ouroboros-network)

14:42:30 [7fe5b04a] net-sim: do not render saTxDecisionPolicy field of SimArgs in test coverage (ouroboros-network)

14:42:30 [cee5de33] tx-submission: improved logging for prop_accept_failure test failures (ouroboros-network)

14:42:30 [550faa8b] tx-submission: submit txs to the mempool even if we don't send MsgRequestTxIds (ouroboros-network)

14:42:30 [251f5156] tx-submission: removed DeltaQ dependency (ouroboros-network)

14:42:30 [e4ff7400] tx-submission: refactored test (ouroboros-network)

14:42:30 [c00b5819] net-sim: improved tracing (ouroboros-network)

14:42:58 [9717d494] chore: remove the no longer unused CLI args from `blockfrost-sdk-bridge` (blockfrost-platform)

14:44:05 [f6d43c93] feature(ci): add a step in the CI verifying binaries build are static for client on MACOS & Windows (mithril)

14:46:59 [743f309a] feat: devnet testing (dingo)

14:47:56 [bd28d2a4] chore: unify error handling and logging (blockfrost-platform)

14:49:04 [1a1d4765] fix (formal-ledger-specifications)

14:51:43 [eb90a01c] Detect missing script (hydra)

14:53:15 [1da19eb6] refactor: align sidechain naming to entrypoint in docs and tests (cardano-ibc-incubator)

14:53:59 [be974d52] fix: update InitializeGroup test expectation for no changes (cf-identity-wallet)

14:55:43 [2ea64666] Add CTreeRoot to CBORGenerator (cuddle)

14:57:50 [6b54adc2] Change wording and motivation (acropolis)

14:58:02 [5bc5557e] Detect missing script (hydra-poc)

15:01:55 [52074451] refactor(stm): Updated the golden tests (mithril)

15:03:23 [13c3791a] fix(stm): address copilot suggestions (mithril)

15:03:32 [8a50e5c9] Adjusted to better fit future impl (acropolis)

15:03:58 [4542b884] WIP: work on examples (plutus)

15:04:11 [2a0b58fb] Update to Fjall v3.0.2 (acropolis)

15:04:17 [bded9591] test: enable the replay test (amaru)

15:04:28 [a9c908b6] Update ledger state serialisation golden tests (ouroboros-consensus)

15:06:32 [efb1ec01] refactor: consume cardano-ledger-read from external package (cardano-wallet)

15:08:52 [cbb7ca76] fix: skip signers modal if group members are unchanged during edit (#1592) (cf-identity-wallet)

15:09:02 [5723d459] fix(ui): prevent scanner tabs from scrolling during group setup (#1600) (cf-identity-wallet)

15:10:00 [5ce9f428] feature(hydra): statically build aggregator, client and signer in Hydra (mithril)

15:10:06 [95778222] improve SDK documentation and add Java category to sidebar & landing (developer-portal)

15:13:17 [a4e2815b] refactor(stm): activated the golden tests (mithril)

15:13:29 [0992d312] Formatting (acropolis)

15:15:57 [3887ed74] chore: update all deps (blockfrost-platform)

15:16:52 [836d725b] chore: update tests package (blockfrost-platform)

15:20:36 [5aa2524a] ci: pin coveralls action version (atala-prism-wallet-sdk-swift)

15:21:21 [038288d6] feat(stm): implement lottery helpers (mithril)

15:22:29 [09f65759] speckit specs (acropolis)

15:22:29 [d76ec3fc] cleanup (acropolis)

15:22:29 [c54223c6] block wanted fixes (acropolis)

15:22:29 [7120a9d4] first files (acropolis)

15:23:22 [159abfd8] fix: start duplicate group naming at #2 (cf-identity-wallet)

15:28:11 [bf00e0c2] tx-submission: addressed review comments (ouroboros-network)

15:28:19 [b70f2864] Strict imports (cardano-node)

15:28:19 [876da44d] Renames (cardano-node)

15:28:19 [fe384a7e] Extensions remove unused and clean (cardano-node)

15:28:19 [96355c47] WIP (cardano-node)

15:28:19 [c4b5bb6d] order imports (cardano-node)

15:28:20 [b3507687] CustomCallV3 (cardano-node)

15:28:21 [26f88089] Space out requests for the same tx. (ouroboros-network)

15:28:21 [5fa8e80e] WIP: make the test suite compile (ouroboros-network)

15:28:21 [881d2d1d] fixup: more clever delay (ouroboros-network)

15:28:21 [901925ac] tx-submission: check tx-sizes up to _MAX_SIZE_DISCREPENCY (ouroboros-network)

15:28:21 [ca9330aa] fixup: inFlightLastReq/inFlightNextReq (ouroboros-network)

15:28:21 [d480142e] rebase artifact (ouroboros-network)

15:28:21 [4cc90938] tx-submission: re-enabled SharedTxState invariant (ouroboros-network)

15:28:21 [45dd9d51] exp: bump space to 500ms (ouroboros-network)

15:28:21 [d713ca4c] tx-submission: latexTxs - added a comment (ouroboros-network)

15:28:21 [7aadf560] tx-submission: fixed 'all transactions' test (ouroboros-network)

15:28:21 [4608b91e] tx-submission: pass requested txids with sizes (ouroboros-network)

15:28:21 [09a14cbc] tx-submission: verify SharedTxState invariant in simulation (ouroboros-network)

15:28:21 [1b4b467a] tx-submission: run drainRejectionThread (ouroboros-network)

15:28:21 [682fc594] hydra: increased heap limit (ouroboros-network)

15:28:21 [9e653cbc] fixup: fix testcases (ouroboros-network)

15:28:21 [0365e3b9] tx-submission: splitAcknowledgedTxIds (ouroboros-network)

15:28:58 [e7eae4cf] compile fix (ouroboros-network)

15:32:14 [03dc7c79] Update README.md (cardano-formal-specifications)

15:32:14 [37897f0c] Update README.md (cardano-formal-specifications)

15:32:14 [f1161ecd] Update README.md (cardano-formal-specifications)

15:32:35 [24517e07] Remove usage of overloaded labels (cardano-node)

15:33:00 [65dc5c86] .agda -> lagda.md for all files in src (formal-ledger-specifications)

15:33:36 [909f0cc9] Add link to networking specifications PDF (cardano-formal-specifications)

15:33:39 [f80d6411] Release cardano-api-10.24.0.0 (cardano-api)

15:35:37 [1d43a0dc] fix: comment (cf-identity-wallet)

15:39:55 [f5e402d2] fix: the `blockfrost-sdk-bridge` config dir cannot overwrite `blockfrost-platform`'s! (blockfrost-platform)

15:40:51 [03f5e688] test: enable the replay test (amaru)

15:42:37 [59cbbe7e] HACK: global mutex on leios db access (ouroboros-consensus)

15:43:29 [e6d61008] Added cardano-api-10.24.0.0 (cardano-haskell-package-repo)

15:55:43 [6f863608] Topological sort of input file (ouroboros-leios)

15:59:57 [c2c3d5f6] Added cardano-api-10.24.0.0 (#1268) (cardano-haskell-packages)

16:00:04 [6ac01827] fix: test MockGroup # 2 (cf-identity-wallet)

16:02:04 [5d97acb5] Merge branch 'main' into connect-ogmios (dolos)

16:05:05 [e65812b1] Consensus tree data structure spec (#684) (acropolis)

16:05:32 [6e04605e] refactor: consume cardano-ledger-read from external package (#5204) (cardano-wallet)

16:06:37 [d6923467] fix: remove cardano-balance-tx from CI workflows (cardano-wallet)

16:06:37 [c78464e4] feat: use standalone cardano-balance-tx library (#5200) (cardano-wallet)

16:09:41 [14d58c15] Update from c2c3d5f611c669bd120a5ec18186785582edb14a (cardano-haskell-packages)

16:09:48 [6aed6241] fix: relax cardano-addresses lower bound to 4.0.0 (cardano-balance-transaction)

16:10:48 [e8b1222e] fix: allow for multiple end-user Hydra prefixes (blockfrost-platform)

16:12:29 [6f42a99e] refactor(stm): min winning index for snark single signature (mithril)

16:12:39 [56095440] WIP (ouroboros-consensus)

16:15:23 [a5f746b4] SQL for creating a realistic RB and EB (ouroboros-leios-sim)

16:19:37 [e670d6b7] speckit specs (acropolis)

16:24:06 [c8fa1acb] Added logging of progress during solution (ouroboros-leios-sim)

16:25:05 [f85573e7] feat: devnet testing (dingo)

16:28:13 [5697323e] Upgrade cardano-api-10.24.0.0 (cardano-cli)

16:28:22 [3e543728] improve SDK documentation and add Java category to sidebar & landing (developer-portal)

16:29:45 [09f7bba8] alter sidebar structure and flag auto-collapse true in config (developer-portal)

16:29:45 [d35992f9] remove irrelevant educationa content (developer-portal)

16:29:55 [791b8383] feat: bump dependencies to cardano-node 10.6.2 and add Dijkstra era (cardano-ledger-read)

16:32:00 [10827833] fix redirects (developer-portal)

16:35:48 [bd015d95] Merge pull request #355 from cardano-foundation/fix/entrypoint-naming-sync-main (cardano-ibc-incubator)

16:36:34 [e057bc7c] fix: JSON parsing (blockfrost-platform)

16:38:41 [71a45387] Various cleanup and prep for Failures (agda-cardano-common)

16:40:21 [ef88b68c] refactor(client-cli): rework snapshot converter by keeping one struct and using enum to match command (mithril)

16:41:03 [3b5e7ba7] cleanup (acropolis)

16:41:03 [1713f592] block wanted fixes (acropolis)

16:41:03 [8bcced56] first files (acropolis)

16:43:28 [308ad23e] Fix genesis files and tune node logs (ouroboros-leios)

16:44:50 [53b264ee] merge: sync main into develop (cardano-ibc-incubator)

16:47:10 [a9c527ee] FIXME: constant travel times (ouroboros-leios)

16:48:27 [a65fd10e] fix: include steelswap fees in swap estimate + review (#2156) (lace)

16:48:40 [002e8316] feat: midnight-state to handle extended address deltas and track cNight activity (acropolis)

16:48:54 [bf333782] .agda -> lagda.md for all files in src (formal-ledger-specifications)

16:51:35 [30d17672] refactor(ci, test-client): remove using Legacy UTXO HD Flavor from snapshot-converter (mithril)

16:53:09 [de96380f] Merge branch 'main' into lowhung/midnight-address-deltas (acropolis)

16:54:29 [f9f0a318] ci: midnight e2e (lace)

17:04:14 [3825cb04] Clarify the TablesCodecVersion1 format and when it is used (#1886) (ouroboros-consensus)

17:06:20 [58bcc086] Use fixed-length encoding in ShelleyLedgerState CBOR instances (ouroboros-consensus)

17:15:47 [f15528f3] Fix typo in example (plutus)

17:16:49 [53dbdfd4] Artifacts generated from 69bdd7b6a9c164460153f6a79117807f449a7c84 (formal-ledger-specifications)

17:23:40 [fc05a1c7] Extend cddl with latestPerasCertRound (ouroboros-consensus)

17:36:38 [27e427ea] feat(stm): add access to SNARK verification key from initializer (mithril)

17:36:38 [42058de4] feat(common): SNARK signer registration support (mithril)

17:39:07 [6af651f2] fix: First fix after a huge merge (blockfrost-platform)

17:40:05 [01b91eac] ci: midnight e2e (lace)

17:43:31 [8cc93977] refactor: use From/TryFrom for state type conversions (acropolis)

17:46:40 [01dff75a] feat: implement index methods and getters for governance and parameters states (acropolis)

17:49:13 [e362c133] chore: update coveralls badge (atala-prism-wallet-sdk-swift)

17:52:54 [c0b4f1f1] fix: start duplicate group naming at #2 (#1601) (cf-identity-wallet)

17:55:24 [4646a15b] add publickey aggregation case project after 0.4.0 rm this functionality (bls)

17:56:29 [d761e4d1] Avoid orphan LedgerSupportsPerasInstance for HardFork combinator (ouroboros-consensus)

17:56:29 [c1fb4973] Avoid orphan LedgerSupportsPeras instance for Shelley ledger state (ouroboros-consensus)

18:04:16 [098379d9] Tolerance for feasible solution (ouroboros-leios-sim)

18:06:14 [c134d4aa] Tweaked cpu costs (ouroboros-leios-sim)

18:13:22 [3d3bc102] Fix changelog for cardano-ledger-shelley-test (cardano-ledger)

18:13:22 [29eac585] Remove assertions and no longer needed arguments to `mkPoolRewardInfo` (cardano-ledger-specs)

18:13:22 [a71c1566] Swap order of arguments in `stakePoolStateToStakePoolParams` (cardano-ledger)

18:13:22 [f9140659] Get rid of PoolParams from SnapShot (cardano-ledger)

18:13:22 [91063716] Rename `ssStake` to `ssActiveStake` (cardano-ledger)

18:13:22 [c3c7cd1d] Make `ssDelegations` strict (cardano-ledger-specs)

18:16:59 [bd2e9ec3] Change lens type for `committeeMinSize` from `Natural` to `Word16` (cardano-ledger-specs)

18:16:59 [b9c25a1a] Fix golden PParams update tests (cardano-ledger)

18:16:59 [10286275] Replace `Natural` protocol parameters with `Word` types: (cardano-ledger)

18:17:00 [91d46193] Remove `asBoundedIntegralHKD` as it's unused (cardano-ledger)

18:19:06 [aef76f7e] Make `queryStakeSnapshots` more consistent starting with PV11: (cardano-ledger)

18:19:41 [88d9ba01] Some fixes; remove seemingly redundant recursion in CaseReduce as well (plutus)

18:27:41 [29bf163c] impl aggregate_publickkeys_verify (bls)

18:30:24 [0ef507fe] Script for running scenario (ouroboros-leios)

18:30:56 [e0bd62de] Input data files for 2MB and 12MB scenarios (ouroboros-leios)

18:33:07 [da2daf18] improve docs (bls)

18:33:46 [409a28fd] DO NOT MERGE (mithril)

18:33:47 [9ce3f926] WIP:ci: track disk space usage when running rust tests (mithril)

18:33:48 [c654a4d9] Stub for force case delay (plutus)

18:34:53 [aeab536c] WIP: implement translation relation (plutus)

18:34:57 [d4da73db] WIP: work on examples (plutus)

18:34:58 [f97adc70] Fix typo in example (plutus)

18:35:19 [b4e7b98a] docs(stm): doc comments revised (mithril)

18:35:38 [3d80c91f] Some fixes; remove seemingly redundant recursion in CaseReduce as well (plutus)

18:43:33 [18d37539] Instantiate indexOfProposal in ExternalStructures (formal-ledger-specifications)

18:43:34 [273192fc] Make script evaluation always succeed (formal-ledger-specifications)

18:45:31 [58e96eb7] refactor: refactor and fix some aspects of the simulation (amaru)

18:49:50 [d05af650] feat(aggregator): SNARK signer registration support (mithril)

18:49:51 [f94e3419] feat(signer): SNARK signer registration support (mithril)

18:49:51 [6f524392] feat(demo): SNARK signer registration support (mithril)

18:49:51 [fae39a3d] feat(client-cli): activate common 'future_snark' (mithril)

18:49:51 [b22bfa40] feat(ci): run 'future_snark' on all nodes (mithril)

18:49:51 [5f7d4faf] feat(e2e): support 'future_snark' in stress test (mithril)

18:49:51 [16c0f908] feat(client): activate common 'future_snark' (mithril)

18:50:17 [92b2cd94] GITBOOK-263: No subject (core-infrastructure-documentation)

18:50:34 [ad8d7a77] Additional property tests for bitwise (plutus)

18:55:46 [702891d9] Error function results printed (in addition to adding to validation) (#696) (acropolis)

18:58:50 [f4124e4f] Added anchor event (ouroboros-leios)

19:00:51 [af124b47] Allowed greater memory usage (ouroboros-leios-sim)

19:04:53 [c6c20f8b] Introduce new canonical namespace for the pool_stake (cardano-ledger-specs)

19:13:12 [992d5e8c] wip (plutus)

19:15:13 [b97bab82] fix datums and improve style (dolos)

19:18:23 [43e7420e] Update logbook (ouroboros-leios-sim)

19:19:19 [828050ca] improvements and refactoring (plutus)

19:22:48 [82d27a09] address delta publish-mode and lightweight midnight consumer (acropolis)

19:23:46 [650b0dd2] remove redundant compact publish-mode config (acropolis)

19:25:22 [c95c6e7a] Small refactor of drift (#2505) (hydra-poc)

19:25:56 [5b2c2cb5] Artifacts generated from 07db06770da931299fe681f9ef305ec93495d8a3 (formal-ledger-specifications)

19:27:50 [b269d0cb] feat: bootstrap client for mithril (dingo)

19:30:05 [c6cad317] Merge branch 'main' into feat/hydra-payments (blockfrost-platform)

19:31:19 [dc404519] ci: automated updates (cardano-compose-stacks)

19:36:39 [70b92985] tighten delta helper API and simplify midnight logging (acropolis)

19:38:10 [c9893d68] Artifacts generated from 807c8a6931931cfb5d8b55383bf464d03526343f (formal-ledger-specifications)

19:38:20 [280ad001] Add 'crates/gateway/' from commit '35a134bc4f91d510c6f23ab93e9c4bfa9923c005' (blockfrost-platform)

19:39:06 [ddc0f0cd] feat: devnet testing (dingo)

19:41:37 [dc811f63] Instantiate indexOfProposal in ExternalStructures (formal-ledger-specifications)

19:41:38 [baf8e4d1] Make script evaluation always succeed (formal-ledger-specifications)

19:43:58 [367aa181] chore: make `crates/gateway` a proper package in this workspace (blockfrost-platform)

19:46:54 [50d46cf8] feat: dockerize omnibus process (#691) (acropolis)

19:47:55 [35e7d98f] computational instance for UTXOS/UTXO (formal-ledger-specifications)

19:48:00 [61f3b56b] adapt to changes after rebasing on master (formal-ledger-specifications)

19:49:52 [1b9ee735] Fix syntax (dolos)

19:53:08 [3d1b5e7a] test(stm): proptests for halo2_snark (mithril)

19:54:29 [0db41522] Address comments (plutus)

19:54:38 [42aeff43] chore: get rid of `+spec-1.1.0` from `toml` (blockfrost-platform)

19:55:38 [63c458f3] Deploying to gh-pages from @ cardano-scaling/hydra@c95c6e7a9f8e31105e441417c16140bf2f2214fa 🚀 (hydra-poc)

19:57:33 [1cbb2c47] restore midnight rollback history and observer totals (acropolis)

19:59:19 [99ed8752] simplified computational instance for UTXO (but IMPOSSIBLE reached) (formal-ledger-specifications)

19:59:25 [8f87fb92] clean up/speed up computational instance for utxo (formal-ledger-specifications)

19:59:25 [4c8be98b] computational instance for UTXO complete! (but takes too long) (formal-ledger-specifications)

19:59:32 [cf4153ce] fix(stm): ci check fail fixed (mithril)

20:00:08 [2109c60f] Simplify proto-devnet scripts (ouroboros-leios-sim)

20:00:08 [e6ff36bb] Network emulation in proto-devnet (ouroboros-leios-sim)

20:05:54 [865ad9d2] bump: cardano-parts for loki default cfg (cardano-playground)

20:06:09 [1cd6581a] nixosModules: add loki via cardano-parts alloy module for log shipping (cardano-playground)

20:06:10 [231d4806] book: update for cardano-node 10.6.2 release (cardano-playground)

20:07:05 [ff8231ee] Update mapping in ui (ouroboros-leios-sim)

20:07:40 [33790051] chore: fix Clippy issues (blockfrost-platform)

20:11:02 [6280cdc4] book: deploy for cardano-node 10.6.2 release (cardano-playground)

20:11:32 [34c176b6] nushell: additional updates for 0.108.0 (cardano-playground)

20:11:39 [d32816c2] nixpkgs: update deprecated option naming (cardano-playground)

20:12:01 [56c926b9] Allow access to node.socket from non-elevated processes (ouroboros-leios-sim)

20:14:41 [e646a6a8] Add examples and instructions to read-me file (ouroboros-leios-sim)

20:15:31 [a925858f] Added screenshot of Perfetto to read-me file (ouroboros-leios-sim)

20:18:37 [64b41f5b] chore: rename the `hydra` modules according to function (blockfrost-platform)

20:19:53 [24636952] feat(stm): partialeq adapted (mithril)

20:19:58 [bd2c3fc5] Merge pull request #5576 from IntersectMBO/lehins/remove-assertions (cardano-ledger)

20:21:38 [620ba1d7] Merge remote-tracking branch 'origin/main' into bwbush/constraint-model (ouroboros-leios-sim)

20:22:08 [ab8f6667] Merge pull request #767 from input-output-hk/bwbush/constraint-model (ouroboros-leios-sim)

20:23:06 [ea26257c] Deploying to gh-pages from @ cardano-scaling/hydra@c95c6e7a9f8e31105e441417c16140bf2f2214fa 🚀 (hydra-poc)

20:23:12 [b3eda8c9] add Haskell Benchmark (customSmallerIsBetter) benchmark result for bd2c3fc558c8b053b03f25a84fc02e26dd17d927 (cardano-ledger)

20:27:00 [2f347788] refactor: clean up configuration and remove unused test code (acropolis)

20:32:40 [aa4d4369] Artifacts generated from 234deee4b3b293a3212b77acc02e9a69971c4947 (formal-ledger-specifications)

20:33:26 [c8eb11ff] test(stm): unit tests for snark signer (mithril)

20:39:18 [a82d9812] feat: Add configuration to midnight state (acropolis)

20:39:49 [98971b1d] feat: add run-midnight make target (acropolis)

20:39:54 [761ce684] test: updates notepad for better local log (atala-prism-wallet-sdk-ts)

20:40:14 [22caf50a] feat: add qanet config to midnight toml (acropolis)

20:40:37 [c115c465] fix: sdjwt support in backup (atala-prism-wallet-sdk-ts)

20:41:06 [8c2c8c0a] fix clippy defaults and formatting (acropolis)

20:45:56 [dd26acf3] test(stm): unit tests for snark single signature (mithril)

20:46:59 [c7951288] draft (hydra-poc)

20:48:09 [f2a36c97] refactor: remove unneeded registered candidate snapshot logic (acropolis)

20:49:14 [51836462] Merge branch 'whankinsiv/index-utxos-and-candidates' into whankinsiv/index-parameters-and-governance (acropolis)

20:49:33 [437ed8ae] chore(minibf): Implement scripts endpoints (dolos)

20:52:30 [55f07a5f] fix: move node code to node crate (blockfrost-platform)

20:52:32 [3f3f28c3] simplify midnight epoch checkpoint log fields (acropolis)

20:54:49 [6d25d0fe] fix: clippy (blockfrost-platform)

21:05:16 [f8830b5f] draft (hydra-poc)

21:05:28 [8a3491db] trim midnight epoch summary fields (acropolis)

21:05:41 [b730f2dd] fix synced status reported (hydra-poc)

21:05:42 [df114e8e] use default contestation period (hydra-poc)

21:05:42 [b7dab355] try: flip handling out of sync before tick or rollback (hydra-poc)

21:05:42 [053752ee] Revert "use default contestation period" (hydra-poc)

21:05:42 [9d1cc517] pass backend to withHydraNode (hydra-poc)

21:05:42 [f27d0204] double the time of contestation period being used (hydra-poc)

21:05:42 [a01a7226] Revert "try: flip handling out of sync before tick or rollback" (hydra-poc)

21:05:42 [772f24e9] wait for node in sync based on network block time (hydra)

21:05:43 [f86a18b8] remove redundant hydra-log (hydra-poc)

21:06:20 [14c4f09b] update openapi spec (hydra-poc)

21:06:20 [08996a94] refactor handleOutOfSync (hydra-poc)

21:06:21 [1a0eeb14] minor fix to make it compile (hydra-poc)

21:06:38 [fb336d2e] avoid partial functions in HeadLogic (hydra-poc)

21:07:58 [3ea16ac3] test(stm): unit tests for snark single signature (mithril)

21:10:53 [25e0503c] changes after rebase (hydra-poc)

21:24:24 [fd45df0a] refactor: move process_time and retract_time from validator params to State datum (cardano-mpfs-onchain)

21:25:30 [27ae3a78] Deployed 282f5c9 with MkDocs version: 1.6.1 (cardano-mpfs-onchain)

21:25:39 [1171fb98] Implment findLargestMultiAssetUtxoWithAddress (cardano-node)

21:25:40 [aff87c5a] Update hprop_ref_plutus_cost_calculation's comment (cardano-node)

21:25:40 [e303d8db] Implement simpleScript function that constructs a "simple" simple script (cardano-node)

21:25:41 [445a3f5b] Implement hprop_collateral_with_tokens to test that return collateral (cardano-node)

21:26:41 [aabdd8b0] Address review (cardano-node)

21:28:51 [04cf1486] fix(ledger): pre-genesis slot clock without underflow (dingo)

21:30:23 [46f9286d] fix(connmanager): match inbound by IP to prevent collision (dingo)

21:31:16 [5575ed44] fix(database): use upsert for stake snapshots and genesis staking (dingo)

21:31:29 [5e112b50] Parse RB/EB generated and render according to bandwidth (ouroboros-leios)

21:33:17 [640f669a] fix(ouroboros): chainsync intersect timeout and state map timeout overrides (dingo)

21:34:26 [941687f8] major revision required after rebase (formal-ledger-specifications)

21:36:02 [4e04aa1d] Improve ExMemoryUsage instances (plutus)

21:36:21 [eddbeb90] Clip rectangles at start and end of the edge (ouroboros-leios)

21:37:01 [d3ed3f47] fix(chainsync): per-block processing with fork detection and epoch nonce fix (dingo)

21:37:45 [2ba5c56c] feat(forging): slot-aligned forge loop with sync guards and genesis snapshot (dingo)

21:40:01 [c920f3c3] test(devnet): fix scenario timing with relative slot targets and config loader (dingo)

21:41:05 [da4adecb] final touches (formal-ledger-specifications)

21:43:13 [8b2cf51c] fix: npm audit fix (atala-prism-wallet-sdk-ts)

21:44:33 [2b954605] WIP (cardano-node)

21:44:36 [979f777c] Output fixes (cardano-node)

21:44:36 [1b7ab9b1] density bench (cardano-node)

21:44:37 [b1fdc5bb] New format: Forge.Loop.StartLeadershipCheckPlus to Forge.Loop.StartLeadershipCheck and LedgerMetrics (cardano-node)

21:44:37 [4200dc7d] add fsrd-changes and fswr-changes builtin queries (cardano-node)

21:44:43 [892f7181] chore: update openssf project id (atala-prism-wallet-sdk-ts)

21:45:37 [c2d403b9] chore: update badges (atala-prism-apollo)

21:48:18 [c533fa0f] major revision required after rebase (formal-ledger-specifications)

21:53:10 [710b0ee1] Parse and render size of LeiosBlockTxs fetches (ouroboros-leios)

21:59:06 [a8e5f510] feat(tray): adder config (adder)

22:00:30 [7c0684cc] fixup! feat: align UI with v2-bundle improvements (lace)

22:01:13 [4f67e64b] Update tx-stats.json for epoch 613 (cardano-org)

22:01:58 [7fd6200a] Add colors to the global stats legend (ouroboros-leios-sim)

22:02:25 [de7f9d11] inline epoch logging and remove pending summary (acropolis)

22:04:38 [e8a5b175] fix(caribic): require mithril artifacts before message-exchange setup (cardano-ibc-incubator)

22:15:55 [36bae8d1] feat(tray): adder config (adder)

22:16:31 [5dfb0690] feat(tray): enhanced menu (adder)

22:26:14 [1957e4fd] Artifacts generated from 33f19be59773a20af6f67a0019cda53bbd9df089 (formal-ledger-specifications)

22:31:03 [f6e9cea2] Artifacts generated from 8a68aa3352897b64691ea9a6e1772fd3e39a24db (formal-ledger-specifications)

22:32:27 [e8137b2a] Add changelog entry (cardano-node)

22:32:27 [a26280c3] Use null for `TxGenPlutusParams` insteado omitting the field (cardano-node)

22:32:27 [30c164e0] Update golden files (cardano-node)

22:32:27 [0d994cfc] Update golden files (cardano-node)

22:32:27 [93ff6eb6] Add flag for also running tx-generator (cardano-node)

22:32:27 [4518e960] Rename `txGeneratorSupport` field for consistency (cardano-node)

22:32:27 [e5474f26] Add flag for generating tx-generator config (cardano-node)

22:32:27 [d4acbf64] Generate template config file for tx-generator (cardano-node)

22:33:49 [881c6b37] clean up address delta review feedback (acropolis)

22:36:50 [dd8633fb] chore: add badges (atala-prism-mediator)

22:37:22 [8abd83c3] fix(ledger): pre-genesis slot clock without underflow (#1454) (dingo)

22:37:29 [5d921256] Fix `cabalProjectLocal = "packages: ${x}"` (haskell.nix)

22:38:06 [e121534e] Artifacts generated from e55bfaa2711e495372616a34728649330de19ea8 (formal-ledger-specifications)

22:38:19 [706e5a5c] fix(database): use upsert for stake snapshots and genesis staking (#1456) (dingo)

22:40:37 [74933d8d] fix(connmanager): match inbound by IP to prevent collision (dingo)

22:40:52 [522cb7d7] fix(chainsync): per-block processing with fork detection and epoch nonce fix (dingo)

22:41:22 [04dd914b] Merge remote-tracking branch 'origin/lowhung/midnight-address-deltas' into whankinsiv/address-deltas-handler (acropolis)

22:47:35 [9a717fe3] feat(forging): slot-aligned forge loop with sync guards and genesis snapshot (dingo)

22:48:48 [0ac6cde3] feat: bootstrap client for mithril (dingo)

22:49:34 [16fa594b] bubble compact mode error in midnight state (acropolis)

22:51:26 [01fa0eff] feat(tray): service registration (adder)

22:59:45 [1c88a43e] test: remove webapp from coverage (atala-prism-mediator)

23:01:58 [301b408e] Merge branch 'main' into lowhung/midnight-address-deltas (acropolis)

23:04:23 [c3c7a0e2] chore: undo paths ignore (atala-prism-mediator)

23:09:04 [17a7b0d9] 🟩 API (All properties) is up (204 in 621 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:09:05 [ce9cc95e] 🟩 API (Specific property) is up (204 in 128 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:09:05 [bd3ded3f] 🟩 API (Batch) is up (204 in 129 ms) [skip ci] [upptime] (cf-token-metadata-registry-status)

23:12:01 [57f262b6] 🟥 1694ballot.cardano.org is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:02 [7ee91d7a] 🟥 blockchain-follower-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:02 [bd49f52b] 🟥 event-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:03 [3fd71d1e] 🟥 get-vote-receipt-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:03 [0ba3e93f] 🟥 get-votes-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:03 [075be08d] 🟥 cast-vote-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:03 [781f9a82] 🟥 login-api is down (0 in 0 ms) [skip ci] [upptime] (cf-cip1694-ballot-status)

23:12:40 [d38997fe] 🟩 voting.summit.cardano.org is up (200 in 145 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:41 [3447c89b] 🟩 event-api is up (200 in 736 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:41 [aee689ea] 🟩 user-verification-api is up (405 in 508 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:42 [adb24258] 🟩 blockchain-follower-api is up (200 in 448 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:43 [daa23598] 🟩 cast-vote-api is up (401 in 212 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:43 [3acf7350] 🟩 login-api is up (401 in 627 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:44 [050aa8ce] 🟩 get-vote-receipt-api is up (401 in 426 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:44 [07a8206d] 🟩 get-votes-api is up (401 in 425 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:12:45 [98ee30f1] 🟩 keria is up (401 in 708 ms) [skip ci] [upptime] (cf-summit-evoting-status)

23:16:34 [bd8bf396] Add changelog checker action to CI (cardano-node)

23:17:16 [15183004] refactor: update address delta handling to return results instead of options (acropolis)

23:19:08 [a3ed1361] Merge pull request #6442 from IntersectMBO/testnet-gen-cfg-for-tx-gen (cardano-node)

23:20:40 [35fee356] csv test (cardano-node)

23:23:03 [7776a39e] address comments (plutus)

23:24:17 [d4068b04] remove unnecessary offline backend (hydra-poc)

23:26:27 [f06eb0c0] Merge remote-tracking branch 'origin/lowhung/midnight-address-deltas' into whankinsiv/address-deltas-handler (acropolis)

23:26:43 [f134133c] Add revisions for cardano-ledger-binary (cardano-haskell-package-repo)

23:26:43 [759bc9fc] Add revisions for cardano-ledger-core (cardano-haskell-package-repo)

23:33:51 [357b2712] use enumBounded (plutus)

23:38:14 [b1d7b482] feat: bootstrap client for mithril (dingo)

23:38:25 [5f9f5cdd] Merge pull request #3002 from input-output-hk/hjeljeli32/remove-off-circuit (mithril)

23:41:50 [17640d3c] Add changelog checker action to CI (cardano-node)

23:41:50 [93b16ae0] Bump `cardano-testnet` version (cardano-node)

23:41:50 [bbb21386] Add configuration for scriv (cardano-node)

23:44:09 [d398b754] deploy: 5f9f5cddbc35c44c70cce91044e28a03916fb14c (mithril)

23:44:36 [794f79fe] Fix for old versions of iogx (haskell.nix)

23:45:35 [36c6a9b9] feat: implement address deltas handling for CNight utxo creations and spends (acropolis)

23:46:06 [f492cd33] test: add unit tests for spend and creation lifecycle (acropolis)

23:48:04 [c3eba504] feat: CNight UTxO and candidate indexing (#703) (acropolis)

23:50:18 [ec0feddd] fix(chainsync): per-block processing with fork detection and epoch nonce fix (dingo)

23:51:42 [f8c709ad] merge origin/main (acropolis)

23:55:14 [dbaa132f] Additional property tests for bitwise (#7605) (plutus)

Cardano Updates

Home / Reports / Feb 18, 2026