5 Pull requests merged by 4 people

• Generate Haskell code from the Agda spec

  #1315 merged Mar 27, 2025

• Consensus release for node 10.3

  #1434 merged Mar 26, 2025

• Update ouroboros-network dependency

  #1433 merged Mar 25, 2025

• For release 10.3

  #1376 merged Mar 25, 2025

• Update Hackage index state

  #1432 merged Mar 25, 2025

4 Pull requests opened by 3 people

• UTxO-HD: Store snapshot metadata alongside its data

  #1431 opened Mar 24, 2025

• More precise type for Index

  #1435 opened Mar 26, 2025

• Expose `querySupportedVersions`

  #1437 opened Mar 28, 2025

• Add version `0.5` and its publishing date to the `utxo-db-api` doc

  #1438 opened Mar 28, 2025

3 Issues closed by 1 person

• Integrate the Haskell code generate from `agda-spec` into the build system and CI

  #1343 closed Mar 27, 2025

• Generate Haskell code from the Agda spec

  #1312 closed Mar 27, 2025

• Write a CDDL spec for LocalStateQuery and LocalTxSubmission

  #1370 closed Mar 26, 2025

2 Issues opened by 2 people

• [FEAT] - Prove equivalence between CHAIN and CHAINHEAD

  #1436 opened Mar 26, 2025

• [FEAT] - More thorough CDDL and Golden testing

  #1430 opened Mar 24, 2025

10 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add CDDLs

  #1422 commented on Mar 27, 2025 • 5 new comments

• Integrate KES Agent logs with logging system

  #1403 commented on Mar 24, 2025 • 0 new comments

• For cardano-node 10.3

  #1425 commented on Mar 25, 2025 • 0 new comments

• Consensus Blueprint 1.0

  #1410 commented on Mar 26, 2025 • 0 new comments

• [SPIKE] - Batch Validation of VRFs

  #548 commented on Mar 26, 2025 • 0 new comments

• Full KES Agent Integration

  #1426 commented on Mar 26, 2025 • 0 new comments

• ChainDB q-s-m model vs SUT discrepancy for GC'd `Iterator`s

  #299 commented on Mar 28, 2025 • 0 new comments

• [Blocked, waiting for UTxO HD] consensus: annotate headers with their slot's RelativeTime

  #1288 commented on Mar 26, 2025 • 0 new comments

• DONOTMERGE rebased UTXO-HD

  #1412 commented on Mar 25, 2025 • 0 new comments

• Test Genesis State Machine with `quickcheck-dynamic`

  #1413 commented on Mar 26, 2025 • 0 new comments