Home / Reports / Jul 17, 2021
Saturday, July 17, 2021
7 commits had been pushed across 6 repos by 6 authors. There were 1,083 additions and 821 deletions. Official weekly status updates can be found on essentialcardano.io.
Authors
Repos Updated
Commit Log
00:42:26
[c334c12f]
Merge pull request #679 from input-output-hk/kderme/ledger-snapshots
(cardano-db-sync)
03:49:21
[3c547c6d]
SCP-2499 - Remove contract comparison from Isabelle semantics and update proofs
(marlowe)
19:26:54
[4d9e9fee]
Merge pull request #48 from input-output-hk/fix/new-tx-states
(psg-cardano-wallet-api)