Artifacts generated from 6fac135100f96cbb74aceef83822f3484f849a93
Home /
IntersectMBO /
formal-ledger-specifications
Jul 05, 2-3 AM (1)
Jul 05, 3-4 AM (0)
Jul 05, 4-5 AM (0)
Jul 05, 5-6 AM (0)
Jul 05, 6-7 AM (0)
Jul 05, 7-8 AM (0)
Jul 05, 8-9 AM (0)
Jul 05, 9-10 AM (0)
Jul 05, 10-11 AM (0)
Jul 05, 11-12 PM (0)
Jul 05, 12-1 PM (0)
Jul 05, 1-2 PM (0)
Jul 05, 2-3 PM (0)
Jul 05, 3-4 PM (0)
Jul 05, 4-5 PM (0)
Jul 05, 5-6 PM (0)
Jul 05, 6-7 PM (0)
Jul 05, 7-8 PM (0)
Jul 05, 8-9 PM (0)
Jul 05, 9-10 PM (0)
Jul 05, 10-11 PM (0)
Jul 05, 11-12 AM (0)
Jul 06, 12-1 AM (0)
Jul 06, 1-2 AM (0)
Jul 06, 2-3 AM (0)
Jul 06, 3-4 AM (0)
Jul 06, 4-5 AM (2)
Jul 06, 5-6 AM (0)
Jul 06, 6-7 AM (0)
Jul 06, 7-8 AM (0)
Jul 06, 8-9 AM (0)
Jul 06, 9-10 AM (0)
Jul 06, 10-11 AM (0)
Jul 06, 11-12 PM (0)
Jul 06, 12-1 PM (0)
Jul 06, 1-2 PM (0)
Jul 06, 2-3 PM (0)
Jul 06, 3-4 PM (0)
Jul 06, 4-5 PM (0)
Jul 06, 5-6 PM (0)
Jul 06, 6-7 PM (0)
Jul 06, 7-8 PM (0)
Jul 06, 8-9 PM (0)
Jul 06, 9-10 PM (0)
Jul 06, 10-11 PM (0)
Jul 06, 11-12 AM (0)
Jul 07, 12-1 AM (1)
Jul 07, 1-2 AM (0)
Jul 07, 2-3 AM (1)
Jul 07, 3-4 AM (0)
Jul 07, 4-5 AM (0)
Jul 07, 5-6 AM (0)
Jul 07, 6-7 AM (0)
Jul 07, 7-8 AM (1)
Jul 07, 8-9 AM (3)
Jul 07, 9-10 AM (1)
Jul 07, 10-11 AM (0)
Jul 07, 11-12 PM (0)
Jul 07, 12-1 PM (0)
Jul 07, 1-2 PM (0)
Jul 07, 2-3 PM (0)
Jul 07, 3-4 PM (0)
Jul 07, 4-5 PM (0)
Jul 07, 5-6 PM (0)
Jul 07, 6-7 PM (0)
Jul 07, 7-8 PM (0)
Jul 07, 8-9 PM (0)
Jul 07, 9-10 PM (0)
Jul 07, 10-11 PM (0)
Jul 07, 11-12 AM (0)
Jul 08, 12-1 AM (0)
Jul 08, 1-2 AM (0)
Jul 08, 2-3 AM (0)
Jul 08, 3-4 AM (0)
Jul 08, 4-5 AM (0)
Jul 08, 5-6 AM (0)
Jul 08, 6-7 AM (2)
Jul 08, 7-8 AM (0)
Jul 08, 8-9 AM (0)
Jul 08, 9-10 AM (0)
Jul 08, 10-11 AM (0)
Jul 08, 11-12 PM (4)
Jul 08, 12-1 PM (2)
Jul 08, 1-2 PM (0)
Jul 08, 2-3 PM (0)
Jul 08, 3-4 PM (0)
Jul 08, 4-5 PM (0)
Jul 08, 5-6 PM (0)
Jul 08, 6-7 PM (0)
Jul 08, 7-8 PM (3)
Jul 08, 8-9 PM (0)
Jul 08, 9-10 PM (0)
Jul 08, 10-11 PM (0)
Jul 08, 11-12 AM (0)
Jul 09, 12-1 AM (0)
Jul 09, 1-2 AM (0)
Jul 09, 2-3 AM (1)
Jul 09, 3-4 AM (1)
Jul 09, 4-5 AM (0)
Jul 09, 5-6 AM (0)
Jul 09, 6-7 AM (0)
Jul 09, 7-8 AM (0)
Jul 09, 8-9 AM (0)
Jul 09, 9-10 AM (0)
Jul 09, 10-11 AM (0)
Jul 09, 11-12 PM (1)
Jul 09, 12-1 PM (3)
Jul 09, 1-2 PM (11)
Jul 09, 2-3 PM (2)
Jul 09, 3-4 PM (0)
Jul 09, 4-5 PM (0)
Jul 09, 5-6 PM (0)
Jul 09, 6-7 PM (0)
Jul 09, 7-8 PM (0)
Jul 09, 8-9 PM (0)
Jul 09, 9-10 PM (0)
Jul 09, 10-11 PM (0)
Jul 09, 11-12 AM (0)
Jul 10, 12-1 AM (0)
Jul 10, 1-2 AM (0)
Jul 10, 2-3 AM (0)
Jul 10, 3-4 AM (0)
Jul 10, 4-5 AM (0)
Jul 10, 5-6 AM (0)
Jul 10, 6-7 AM (0)
Jul 10, 7-8 AM (0)
Jul 10, 8-9 AM (0)
Jul 10, 9-10 AM (0)
Jul 10, 10-11 AM (0)
Jul 10, 11-12 PM (0)
Jul 10, 12-1 PM (0)
Jul 10, 1-2 PM (0)
Jul 10, 2-3 PM (4)
Jul 10, 3-4 PM (2)
Jul 10, 4-5 PM (0)
Jul 10, 5-6 PM (0)
Jul 10, 6-7 PM (0)
Jul 10, 7-8 PM (0)
Jul 10, 8-9 PM (0)
Jul 10, 9-10 PM (0)
Jul 10, 10-11 PM (0)
Jul 10, 11-12 AM (0)
Jul 11, 12-1 AM (0)
Jul 11, 1-2 AM (0)
Jul 11, 2-3 AM (0)
Jul 11, 3-4 AM (0)
Jul 11, 4-5 AM (0)
Jul 11, 5-6 AM (0)
Jul 11, 6-7 AM (6)
Jul 11, 7-8 AM (1)
Jul 11, 8-9 AM (0)
Jul 11, 9-10 AM (0)
Jul 11, 10-11 AM (0)
Jul 11, 11-12 PM (0)
Jul 11, 12-1 PM (0)
Jul 11, 1-2 PM (0)
Jul 11, 2-3 PM (1)
Jul 11, 3-4 PM (0)
Jul 11, 4-5 PM (0)
Jul 11, 5-6 PM (0)
Jul 11, 6-7 PM (0)
Jul 11, 7-8 PM (0)
Jul 11, 8-9 PM (0)
Jul 11, 9-10 PM (0)
Jul 11, 10-11 PM (0)
Jul 11, 11-12 AM (0)
Jul 12, 12-1 AM (0)
Jul 12, 1-2 AM (0)
Jul 12, 2-3 AM (0)
54 commits this week
Jul 05, 2025
-
Jul 12, 2025
Artifacts generated from a602e692d28da335891154f8ba8687bbc950a82e
Artifacts generated from 4623f85ac4ec6b8bb9c3cd45834f29f82f533f50
Merge branch 'master' into carlos/hoist-era-independent-modules
Artifacts generated from db2f02f97628baf7bffa6634bb3a7cb9c50d8ab6
Merge branch 'master' into 809-add-type-class-instance-for-set-minus
Move `txsize` from `TxBody` to `Tx` (#818)
Update agda-stdlib-classes
Artifacts generated from 1f11de67ec61da0fb3b2cb867ede525386113de9
Artifacts generated from aaa7ae199e07e740be682c30d8f932d69f81a00c
Artifacts generated from 9cbd0346c1eff62020d53e02bddc51ea6f687b3a
Artifacts generated from fbd0e90aaf7845ab4c60f00acfd159dcafd94228
Artifacts generated from ed1417929b7549f814a72467f0b91819b5bae441
Change UTXOW-inductive to UTXOW⇒UTXO
Artifacts generated from f8cfed6f92e8c909a996e515553884d24857bea7
Remove Prelude modules from ConwaySafe
Artifacts generated from 10b3129ac2ffe091682cab86ee4b05ec6a613537
Artifacts generated from 768e247add56c74dc3295ae28d8fbd13a52e6fd7
Artifacts generated from 63dde9b7a1836a2187cd87fde2609ab1c7de6b10
major update of CONTRIBUTING.md
updates and improvements
Remove Prelude modules from ConwaySafe
Move Types.Epoch from Conway to Prelude
Hoist Crypto module to Ledger.Prelude
Rename record Crypto to CryptoStructure (for consistency)