Home /
IntersectMBO /
cardano-ledger
Jul 20, 5-6 AM (0)
Jul 20, 6-7 AM (0)
Jul 20, 7-8 AM (0)
Jul 20, 8-9 AM (0)
Jul 20, 9-10 AM (0)
Jul 20, 10-11 AM (0)
Jul 20, 11-12 PM (0)
Jul 20, 12-1 PM (0)
Jul 20, 1-2 PM (0)
Jul 20, 2-3 PM (0)
Jul 20, 3-4 PM (0)
Jul 20, 4-5 PM (0)
Jul 20, 5-6 PM (0)
Jul 20, 6-7 PM (0)
Jul 20, 7-8 PM (0)
Jul 20, 8-9 PM (0)
Jul 20, 9-10 PM (0)
Jul 20, 10-11 PM (0)
Jul 20, 11-12 AM (0)
Jul 21, 12-1 AM (0)
Jul 21, 1-2 AM (0)
Jul 21, 2-3 AM (0)
Jul 21, 3-4 AM (0)
Jul 21, 4-5 AM (0)
Jul 21, 5-6 AM (0)
Jul 21, 6-7 AM (0)
Jul 21, 7-8 AM (0)
Jul 21, 8-9 AM (0)
Jul 21, 9-10 AM (0)
Jul 21, 10-11 AM (0)
Jul 21, 11-12 PM (0)
Jul 21, 12-1 PM (0)
Jul 21, 1-2 PM (0)
Jul 21, 2-3 PM (0)
Jul 21, 3-4 PM (0)
Jul 21, 4-5 PM (0)
Jul 21, 5-6 PM (0)
Jul 21, 6-7 PM (0)
Jul 21, 7-8 PM (0)
Jul 21, 8-9 PM (0)
Jul 21, 9-10 PM (1)
Jul 21, 10-11 PM (0)
Jul 21, 11-12 AM (0)
Jul 22, 12-1 AM (0)
Jul 22, 1-2 AM (0)
Jul 22, 2-3 AM (0)
Jul 22, 3-4 AM (0)
Jul 22, 4-5 AM (0)
Jul 22, 5-6 AM (0)
Jul 22, 6-7 AM (0)
Jul 22, 7-8 AM (0)
Jul 22, 8-9 AM (0)
Jul 22, 9-10 AM (0)
Jul 22, 10-11 AM (0)
Jul 22, 11-12 PM (2)
Jul 22, 12-1 PM (4)
Jul 22, 1-2 PM (0)
Jul 22, 2-3 PM (2)
Jul 22, 3-4 PM (0)
Jul 22, 4-5 PM (0)
Jul 22, 5-6 PM (0)
Jul 22, 6-7 PM (0)
Jul 22, 7-8 PM (1)
Jul 22, 8-9 PM (1)
Jul 22, 9-10 PM (0)
Jul 22, 10-11 PM (1)
Jul 22, 11-12 AM (0)
Jul 23, 12-1 AM (0)
Jul 23, 1-2 AM (0)
Jul 23, 2-3 AM (0)
Jul 23, 3-4 AM (0)
Jul 23, 4-5 AM (0)
Jul 23, 5-6 AM (2)
Jul 23, 6-7 AM (0)
Jul 23, 7-8 AM (0)
Jul 23, 8-9 AM (76)
Jul 23, 9-10 AM (0)
Jul 23, 10-11 AM (1)
Jul 23, 11-12 PM (1)
Jul 23, 12-1 PM (0)
Jul 23, 1-2 PM (0)
Jul 23, 2-3 PM (0)
Jul 23, 3-4 PM (0)
Jul 23, 4-5 PM (2)
Jul 23, 5-6 PM (0)
Jul 23, 6-7 PM (0)
Jul 23, 7-8 PM (2)
Jul 23, 8-9 PM (2)
Jul 23, 9-10 PM (0)
Jul 23, 10-11 PM (1)
Jul 23, 11-12 AM (0)
Jul 24, 12-1 AM (4)
Jul 24, 1-2 AM (0)
Jul 24, 2-3 AM (3)
Jul 24, 3-4 AM (0)
Jul 24, 4-5 AM (2)
Jul 24, 5-6 AM (0)
Jul 24, 6-7 AM (1)
Jul 24, 7-8 AM (0)
Jul 24, 8-9 AM (5)
Jul 24, 9-10 AM (0)
Jul 24, 10-11 AM (7)
Jul 24, 11-12 PM (0)
Jul 24, 12-1 PM (1)
Jul 24, 1-2 PM (0)
Jul 24, 2-3 PM (0)
Jul 24, 3-4 PM (3)
Jul 24, 4-5 PM (0)
Jul 24, 5-6 PM (1)
Jul 24, 6-7 PM (5)
Jul 24, 7-8 PM (4)
Jul 24, 8-9 PM (0)
Jul 24, 9-10 PM (0)
Jul 24, 10-11 PM (0)
Jul 24, 11-12 AM (0)
Jul 25, 12-1 AM (0)
Jul 25, 1-2 AM (1)
Jul 25, 2-3 AM (0)
Jul 25, 3-4 AM (0)
Jul 25, 4-5 AM (0)
Jul 25, 5-6 AM (0)
Jul 25, 6-7 AM (2)
Jul 25, 7-8 AM (0)
Jul 25, 8-9 AM (1)
Jul 25, 9-10 AM (0)
Jul 25, 10-11 AM (0)
Jul 25, 11-12 PM (0)
Jul 25, 12-1 PM (2)
Jul 25, 1-2 PM (0)
Jul 25, 2-3 PM (0)
Jul 25, 3-4 PM (0)
Jul 25, 4-5 PM (0)
Jul 25, 5-6 PM (0)
Jul 25, 6-7 PM (2)
Jul 25, 7-8 PM (0)
Jul 25, 8-9 PM (0)
Jul 25, 9-10 PM (2)
Jul 25, 10-11 PM (0)
Jul 25, 11-12 AM (0)
Jul 26, 12-1 AM (1)
Jul 26, 1-2 AM (0)
Jul 26, 2-3 AM (1)
Jul 26, 3-4 AM (0)
Jul 26, 4-5 AM (0)
Jul 26, 5-6 AM (0)
Jul 26, 6-7 AM (0)
Jul 26, 7-8 AM (2)
Jul 26, 8-9 AM (0)
Jul 26, 9-10 AM (0)
Jul 26, 10-11 AM (0)
Jul 26, 11-12 PM (0)
Jul 26, 12-1 PM (3)
Jul 26, 1-2 PM (0)
Jul 26, 2-3 PM (0)
Jul 26, 3-4 PM (2)
Jul 26, 4-5 PM (0)
Jul 26, 5-6 PM (0)
Jul 26, 6-7 PM (3)
Jul 26, 7-8 PM (0)
Jul 26, 8-9 PM (0)
Jul 26, 9-10 PM (0)
Jul 26, 10-11 PM (0)
Jul 26, 11-12 AM (7)
Jul 27, 12-1 AM (0)
Jul 27, 1-2 AM (1)
Jul 27, 2-3 AM (0)
Jul 27, 3-4 AM (0)
Jul 27, 4-5 AM (0)
Jul 27, 5-6 AM (0)
165 commits this week
Jul 20, 2024
-
Jul 27, 2024
Remove `ConwayCertExecContext` and its usage from: CERT, CERTS, GOVCERT
and move its fields into the ExecEnv `CertsExecEnv`
DELEG rule now uses DeltaDeposit
Add `CertExecEnv` and use it as ExecEnv in CERT and GOVCERT conformance
Use `CertsEnv` instead of `CertEnv` as ExecEnv in CERT and GOVCERT
DeltaExecEnv route drops sig, POOL now runs
Cleaned up the DELEG rule ofr the new style without state and sig in the DelegExecEnv
Add DeltaDeposit and its operations
Fix `PParamsUpdate` order for `SpecTranslate` instance
Point the `exec-spec` SRP to `formal-ledger` repo
Bump chap index-state
Needed to pull in the latest release of cuddle
Generate CDDL files from Huddle.
This additionally bumps the Huddle version to include a change to how choices are processed.
Include a preface about auto-generated files
Improve MinUTxO setting by logging the fact of fixup. Fix Insufficient collateral test using the AuxData
Add `donateToTreasury` and fix "Treasury" tests"
Investigate weird behavior
Add `expectCommitteeMemberPresence` and `expectCommitteeMemberAbsence`
Fix wrongful removal
Set `ppCoinsPerUTxOByte` value to what it is set on mainnet