Home /
Input Output /
cardano-ledger-specs
Jul 20, 2-3 AM (0)
Jul 20, 3-4 AM (0)
Jul 20, 4-5 AM (0)
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 (1)
Jul 20, 12-1 PM (0)
Jul 20, 1-2 PM (8)
Jul 20, 2-3 PM (4)
Jul 20, 3-4 PM (6)
Jul 20, 4-5 PM (2)
Jul 20, 5-6 PM (0)
Jul 20, 6-7 PM (0)
Jul 20, 7-8 PM (1)
Jul 20, 8-9 PM (0)
Jul 20, 9-10 PM (1)
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 (1)
Jul 21, 6-7 AM (0)
Jul 21, 7-8 AM (0)
Jul 21, 8-9 AM (0)
Jul 21, 9-10 AM (1)
Jul 21, 10-11 AM (0)
Jul 21, 11-12 PM (0)
Jul 21, 12-1 PM (0)
Jul 21, 1-2 PM (2)
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 (0)
Jul 21, 10-11 PM (1)
Jul 21, 11-12 AM (1)
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 (1)
Jul 22, 12-1 PM (1)
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 (2)
Jul 22, 8-9 PM (1)
Jul 22, 9-10 PM (1)
Jul 22, 10-11 PM (1)
Jul 22, 11-12 AM (0)
Jul 23, 12-1 AM (0)
Jul 23, 1-2 AM (2)
Jul 23, 2-3 AM (0)
Jul 23, 3-4 AM (0)
Jul 23, 4-5 AM (0)
Jul 23, 5-6 AM (0)
Jul 23, 6-7 AM (0)
Jul 23, 7-8 AM (0)
Jul 23, 8-9 AM (1)
Jul 23, 9-10 AM (0)
Jul 23, 10-11 AM (0)
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 (1)
Jul 23, 5-6 PM (1)
Jul 23, 6-7 PM (0)
Jul 23, 7-8 PM (0)
Jul 23, 8-9 PM (0)
Jul 23, 9-10 PM (0)
Jul 23, 10-11 PM (0)
Jul 23, 11-12 AM (0)
Jul 24, 12-1 AM (0)
Jul 24, 1-2 AM (0)
Jul 24, 2-3 AM (0)
Jul 24, 3-4 AM (0)
Jul 24, 4-5 AM (0)
Jul 24, 5-6 AM (0)
Jul 24, 6-7 AM (0)
Jul 24, 7-8 AM (0)
Jul 24, 8-9 AM (0)
Jul 24, 9-10 AM (0)
Jul 24, 10-11 AM (0)
Jul 24, 11-12 PM (0)
Jul 24, 12-1 PM (0)
Jul 24, 1-2 PM (0)
Jul 24, 2-3 PM (0)
Jul 24, 3-4 PM (0)
Jul 24, 4-5 PM (0)
Jul 24, 5-6 PM (0)
Jul 24, 6-7 PM (0)
Jul 24, 7-8 PM (0)
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 (0)
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 (0)
Jul 25, 7-8 AM (0)
Jul 25, 8-9 AM (0)
Jul 25, 9-10 AM (0)
Jul 25, 10-11 AM (0)
Jul 25, 11-12 PM (0)
Jul 25, 12-1 PM (0)
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 (0)
Jul 25, 7-8 PM (0)
Jul 25, 8-9 PM (0)
Jul 25, 9-10 PM (0)
Jul 25, 10-11 PM (0)
Jul 25, 11-12 AM (0)
Jul 26, 12-1 AM (0)
Jul 26, 1-2 AM (0)
Jul 26, 2-3 AM (0)
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 (0)
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 (2)
Jul 26, 1-2 PM (4)
Jul 26, 2-3 PM (8)
Jul 26, 3-4 PM (3)
Jul 26, 4-5 PM (1)
Jul 26, 5-6 PM (5)
Jul 26, 6-7 PM (1)
Jul 26, 7-8 PM (4)
Jul 26, 8-9 PM (0)
Jul 26, 9-10 PM (0)
Jul 26, 10-11 PM (0)
Jul 26, 11-12 AM (0)
Jul 27, 12-1 AM (0)
Jul 27, 1-2 AM (0)
Jul 27, 2-3 AM (0)
72 commits this week
Jul 20, 2021 -
Jul 27, 2021
rename IsValidating to IsValid
rename IsValidating to IsValid
remove checkScriptData
remove AllowAmbiguousTypes when possible
fixing stuff after rebasing on master
Remove duplicate check for required scripts in UTXOW
Eliminate `checkScriptData` from the formal spec
redeemers check mistake
Added 2 arg scripts, and associated helper functions.
(pay,stake) script pairs now may have plutus in both parts. Added the use of plutus scripts in minting as well. Discards are now traced to avoid silence. Now we use valueFromList rather than Map.singleton to make Values, this avoids the introduction of non-canonical values. Added an example of how to profile a property test.
Merge pull request #2394 from input-output-hk/redxaxder/injective-type-families
Make core type families injective
Added reporting of the cause of Plutus script failures.
Added reporting of the cause of Plutus script failures.
Remove duplicate check for required scripts in UTXOW
remove some type applications
Injectivity for core type families
Eliminate `checkScriptData` from the formal spec
remove some type applications
Injectivity for core type families
Added explain_plutus_failure called by run_PLCScript.
rm more type applications
remove some type applications