Home / Reports / Jan 23, 2022

Sunday, January 23, 2022

35 commits had been pushed across 10 repos by 7 authors. There were 30,098 additions and 789 deletions. Official weekly status updates can be found on essentialcardano.io.

Authors

angerman erikd vsubhuman jeltsch effectfully iohk-bors[bot]

Repos Updated

Commit Log

01:14:28 [cf10df8a] Automatic update for Sun Jan 23 01:14:28 AM UTC 2022 (stackage.nix)
01:15:26 [0c3d0b43] Update Hackage and Stackage (haskell.nix)
02:39:40 [547bbd42] Merge #3502 (cardano-node)
06:00:04 [8abffd78] Add Note [How to add a built-in function: simple cases] (#4338) (plutus)
12:48:11 [528aacb0] add cardano-submit-api (tools)
13:24:22 [395e5308] 1.33.1 (tools)
19:14:23 [1b00f6fc] Add skeleton (ouroboros-high-assurance)
19:34:09 [96a8c1c4] Merge branch 'master' into plutus-types-document-bytes (cardano-serialization-lib)
19:35:58 [c3241918] Merge pull request #336 from Emurgo/plutus-types-document-bytes (cardano-serialization-lib)
20:02:10 [b0930b25] Merge pull request #317 from Emurgo/plutus-datums-respect-deserialized-bytes (cardano-serialization-lib)
20:51:57 [aa088240] Merge pull request #264 from Emurgo/cip30-multiasset-largest-first (cardano-serialization-lib)
21:27:14 [224e7c63] Merge pull request #290 from alessandrokonrad/maxValue (cardano-serialization-lib)
22:02:41 [6d87b74f] Revert "Don't take snapshot on epoch change" (#1028) (cardano-db-sync)
22:04:27 [82f85881] Merge branch 'master' into simplify-min-utxo (cardano-serialization-lib)
22:19:15 [f086a61d] Merge pull request #235 from `input-output-hk/enhancement/thorn-calculus-communication` (fm-ouroboros)
22:23:24 [c1d48ed9] Merge pull request #297 from Emurgo/simplify-min-utxo (cardano-serialization-lib)
22:29:49 [120f05a9] Switch to Isabelle2021 (fm-ouroboros)
22:30:24 [61da494c] Switch to Isabelle2021-1 (fm-ouroboros)
22:31:53 [399f645b] Merge pull request #237 from `input-output-hk/improvement/isabelle-2021-1` (fm-ouroboros)
23:12:22 [b01e297f] Add a few FIXMEs (fm-ouroboros)
23:14:46 [8ded5c8c] Fix indentation (fm-ouroboros)
23:16:17 [21f31681] Remove some obsolete things (fm-ouroboros)
23:16:29 [959710ed] Fix a typo (fm-ouroboros)
23:16:54 [1d7cd783] Add missing `shows` (fm-ouroboros)
23:18:05 [9ef34f34] Fix variable names (fm-ouroboros)
23:18:45 [a3bb6d0f] Remove superfluous `arbitrary` specification (high-assurance-legacy)
23:19:27 [e8c39cf8] Remove some superfluous legacy code (high-assurance-legacy)
23:23:25 [7afae15a] Merge pull request #239 from `input-output-hk/improvement/various-small-changes` (high-assurance-legacy)
23:31:49 [78a5a535] Merge pull request #178 from `input-output-hk/enhancement/receipt-delivery-filtering-equivalence` (fm-ouroboros)
23:40:26 [d408a9c6] Merge pull request #188 from `input-output-hk/enhancement/chain-selection-property-proof` (fm-ouroboros)
23:43:30 [776dc9ff] Merge branch 'master' into enhancement/ouroboros-bft-implementation (fm-ouroboros)
23:44:18 [2e2e897e] Merge pull request #194 from `input-output-hk/enhancement/ouroboros-bft-implementation` (fm-ouroboros)
23:44:58 [d581f940] Merge pull request #196 from `input-output-hk/enhancement/obft-forwarding-broadcasting-equivalence` (fm-ouroboros)
23:52:13 [b51de9a6] Merge branch 'master' into enhancement/ouroboros-praos-implementation (fm-ouroboros)
23:52:38 [a1050ff5] Merge pull request #198 from input-output-hk/enhancement/ouroboros-praos-implementation (fm-ouroboros)