Made it compile and tests fail before continuing
Home /
Input Output /
hydra-poc
Nov 26, 6-7 AM (4)
Nov 26, 7-8 AM (19)
Nov 26, 8-9 AM (6)
Nov 26, 9-10 AM (4)
Nov 26, 10-11 AM (1)
Nov 26, 11-12 PM (3)
Nov 26, 12-1 PM (6)
Nov 26, 1-2 PM (3)
Nov 26, 2-3 PM (0)
Nov 26, 3-4 PM (3)
Nov 26, 4-5 PM (6)
Nov 26, 5-6 PM (0)
Nov 26, 6-7 PM (0)
Nov 26, 7-8 PM (0)
Nov 26, 8-9 PM (0)
Nov 26, 9-10 PM (0)
Nov 26, 10-11 PM (0)
Nov 26, 11-12 AM (0)
Nov 27, 12-1 AM (0)
Nov 27, 1-2 AM (0)
Nov 27, 2-3 AM (0)
Nov 27, 3-4 AM (0)
Nov 27, 4-5 AM (0)
Nov 27, 5-6 AM (0)
Nov 27, 6-7 AM (0)
Nov 27, 7-8 AM (0)
Nov 27, 8-9 AM (0)
Nov 27, 9-10 AM (0)
Nov 27, 10-11 AM (0)
Nov 27, 11-12 PM (0)
Nov 27, 12-1 PM (0)
Nov 27, 1-2 PM (0)
Nov 27, 2-3 PM (0)
Nov 27, 3-4 PM (0)
Nov 27, 4-5 PM (0)
Nov 27, 5-6 PM (0)
Nov 27, 6-7 PM (0)
Nov 27, 7-8 PM (0)
Nov 27, 8-9 PM (0)
Nov 27, 9-10 PM (0)
Nov 27, 10-11 PM (0)
Nov 27, 11-12 AM (0)
Nov 28, 12-1 AM (0)
Nov 28, 1-2 AM (0)
Nov 28, 2-3 AM (0)
Nov 28, 3-4 AM (0)
Nov 28, 4-5 AM (0)
Nov 28, 5-6 AM (0)
Nov 28, 6-7 AM (0)
Nov 28, 7-8 AM (0)
Nov 28, 8-9 AM (0)
Nov 28, 9-10 AM (0)
Nov 28, 10-11 AM (0)
Nov 28, 11-12 PM (0)
Nov 28, 12-1 PM (0)
Nov 28, 1-2 PM (0)
Nov 28, 2-3 PM (0)
Nov 28, 3-4 PM (0)
Nov 28, 4-5 PM (0)
Nov 28, 5-6 PM (0)
Nov 28, 6-7 PM (0)
Nov 28, 7-8 PM (0)
Nov 28, 8-9 PM (0)
Nov 28, 9-10 PM (0)
Nov 28, 10-11 PM (0)
Nov 28, 11-12 AM (0)
Nov 29, 12-1 AM (0)
Nov 29, 1-2 AM (0)
Nov 29, 2-3 AM (0)
Nov 29, 3-4 AM (0)
Nov 29, 4-5 AM (0)
Nov 29, 5-6 AM (0)
Nov 29, 6-7 AM (0)
Nov 29, 7-8 AM (0)
Nov 29, 8-9 AM (0)
Nov 29, 9-10 AM (0)
Nov 29, 10-11 AM (0)
Nov 29, 11-12 PM (0)
Nov 29, 12-1 PM (4)
Nov 29, 1-2 PM (3)
Nov 29, 2-3 PM (0)
Nov 29, 3-4 PM (1)
Nov 29, 4-5 PM (1)
Nov 29, 5-6 PM (1)
Nov 29, 6-7 PM (0)
Nov 29, 7-8 PM (0)
Nov 29, 8-9 PM (0)
Nov 29, 9-10 PM (0)
Nov 29, 10-11 PM (0)
Nov 29, 11-12 AM (0)
Nov 30, 12-1 AM (0)
Nov 30, 1-2 AM (0)
Nov 30, 2-3 AM (0)
Nov 30, 3-4 AM (0)
Nov 30, 4-5 AM (0)
Nov 30, 5-6 AM (0)
Nov 30, 6-7 AM (0)
Nov 30, 7-8 AM (0)
Nov 30, 8-9 AM (3)
Nov 30, 9-10 AM (6)
Nov 30, 10-11 AM (0)
Nov 30, 11-12 PM (0)
Nov 30, 12-1 PM (0)
Nov 30, 1-2 PM (0)
Nov 30, 2-3 PM (0)
Nov 30, 3-4 PM (3)
Nov 30, 4-5 PM (1)
Nov 30, 5-6 PM (0)
Nov 30, 6-7 PM (0)
Nov 30, 7-8 PM (0)
Nov 30, 8-9 PM (0)
Nov 30, 9-10 PM (0)
Nov 30, 10-11 PM (0)
Nov 30, 11-12 AM (0)
Dec 01, 12-1 AM (0)
Dec 01, 1-2 AM (0)
Dec 01, 2-3 AM (0)
Dec 01, 3-4 AM (0)
Dec 01, 4-5 AM (0)
Dec 01, 5-6 AM (0)
Dec 01, 6-7 AM (0)
Dec 01, 7-8 AM (0)
Dec 01, 8-9 AM (0)
Dec 01, 9-10 AM (10)
Dec 01, 10-11 AM (1)
Dec 01, 11-12 PM (0)
Dec 01, 12-1 PM (0)
Dec 01, 1-2 PM (0)
Dec 01, 2-3 PM (0)
Dec 01, 3-4 PM (0)
Dec 01, 4-5 PM (0)
Dec 01, 5-6 PM (6)
Dec 01, 6-7 PM (1)
Dec 01, 7-8 PM (0)
Dec 01, 8-9 PM (0)
Dec 01, 9-10 PM (0)
Dec 01, 10-11 PM (0)
Dec 01, 11-12 AM (0)
Dec 02, 12-1 AM (0)
Dec 02, 1-2 AM (0)
Dec 02, 2-3 AM (0)
Dec 02, 3-4 AM (0)
Dec 02, 4-5 AM (0)
Dec 02, 5-6 AM (0)
Dec 02, 6-7 AM (0)
Dec 02, 7-8 AM (3)
Dec 02, 8-9 AM (4)
Dec 02, 9-10 AM (5)
Dec 02, 10-11 AM (4)
Dec 02, 11-12 PM (1)
Dec 02, 12-1 PM (0)
Dec 02, 1-2 PM (0)
Dec 02, 2-3 PM (0)
Dec 02, 3-4 PM (0)
Dec 02, 4-5 PM (0)
Dec 02, 5-6 PM (0)
Dec 02, 6-7 PM (0)
Dec 02, 7-8 PM (0)
Dec 02, 8-9 PM (0)
Dec 02, 9-10 PM (0)
Dec 02, 10-11 PM (0)
Dec 02, 11-12 AM (0)
Dec 03, 12-1 AM (0)
Dec 03, 1-2 AM (0)
Dec 03, 2-3 AM (0)
Dec 03, 3-4 AM (0)
Dec 03, 4-5 AM (0)
Dec 03, 5-6 AM (0)
Dec 03, 6-7 AM (0)
111 commits this week
Nov 26, 2021 -
Dec 03, 2021
Change signature of coverFee
Lots of commented code.. need to create an `Gen TxBodyContent` first.
deploy: d646eade49517f979ea69fb6006da64a23de0ee6
[wip] CollectCom should consume value committed
Use custom pparams for wallet spec to match 'small generators'.
Plumbing in Direct.Chain and disable non-yet-refactored tx constructors
Change initTx and abortTx signatures to take TxBodyContent
[wip] Try to improve success ratio for coverFee properties
Ensure all tx inputs are consumed by coverFee
Scale ada value from 'genUtxo' to cope with weird wallet requirement on minimum value.
Rename 'genUtxoFromInputs' -> 'genOutputsForInputs'
Add property to check that wallet removes consumed inputs from its UTXO after balancing.
deploy: 51c10afa092a0cd9b320494d0ef9bd68655594a5
Assert number of fanout transaction seen on-chain in behavior spec.
[wip] Write behavior spec to assert only leader fans out
Add property tests to assert initTx size and cost
Refactor signWith to take a TxBody and only signing key
Give Direct.Wallet.sign a new type signature
Change 'observeInitTx' to take a TxBody
Change initTx to creata a TxBody
Add 'mkTxOutDatum' utility function
Add 'buildTxBody', 'plutusScript' and 'mkScriptAddress' utilities to Hydra.Ledger.Cardano
Change abortTx to take a Map for initials
This captures the expectations of that TxIn's of initials do not overlap.