CBOR instances needed for ApplyTxError
Home /
Input Output /
cardano-ledger-specs
49 commits this week
Jan 12, 2020 -
Jan 19, 2020
Merge pull request #1151 from input-output-hk/nc/serialisation
Add some additional (de-)serialisation code.
Merge pull request #1150 from input-output-hk/uroboros/1065/chain_trace_generator
[1065] Chain Trace Generator
Add some additional (de-)serialisation code.
Merge pull request #1145 from input-output-hk/spec/shelley/serialize-new-epoch-state
cbor instances for NewEpochState
Revert “bring back requiredMSigSignaturesSubset test”
This reverts commit f2bb201a044d0d7d74ac621cb21622b818d98060.
Merge pull request #1147 from input-output-hk/shelley/abstract-tx-size
abstract transaction size function
bring back requiredMSigSignaturesSubset test
less expensive genKeyCombination
Merge pull request #1141 from input-output-hk/shelley/exec_spec/property_msig
Add property for MSig
Add TODO notes to key hash combinations for scripts
Simplify by choosing one single combination for msig
LedgerState loads, many Value calcs trivial
Extract number of base scripts for generated multi-sig combinations
issue #298 - abstract size function
issue #298 - abstract size function
[1065] Chain Trace Generator V0
cbor instances for NewEpochState
cbor instances for NewEpochState
cbor instances for NewEpochState
cbor instances for NewEpochState
cbor instances for NewEpochState
Merge pull request #1142 from input-output-hk/dnadales/allow-software-versions-to-start-from-0-or-1
Allow software versions to start from 0 or 1
Add a timeout for the tests, which requires bumping to the latest version of iohk-nix
Add a timeout for the tests, which requires bumping to the latest version of iohk-nix
Change the executable specification so that software version can start from 0 or 1.
Change the formal specification so that software version can start from 0 or 1.
Merge pull request #1140 from input-output-hk/spec/shelley/initial-state
explicit initial shelley ledger states
Add property for MSig
Some of the required combination of keys must be a subset of the witnesses of the transaction for all multi-sig scripts of each transaction.
Add property for MSig
Some of the required combination of keys must be a subset of the witnesses of the transaction for all multi-sig scripts of each transaction.
Add property for MSig
Some of the required combination of keys must be a subset of the witnesses of the transaction for all multi-sig scripts of each transaction.
Add property for MSig
Some of the required combination of keys must be a subset of the witnesses of the transaction for all multi-sig scripts of each transaction.
Add property for MSig
Some of the required combination of keys must be a subset of the witnesses of the transaction for all multi-sig scripts of each transaction.