Cardano Updates

Increase CHAIN trace length

Apply TICK to ledger state before passing to generator

Merge pull request #1222 from input-output-hk/jc/fix-examples

fix examples

fix examples

Merge pull request #1221 from input-output-hk/jc/metadata-cddl-format

sync shelley ledger cddl and haskell serialization

Merge pull request #1220 from input-output-hk/shelley/exec_spec/remove_explict_pool_keys

Revert change to add explicit pool keys in generators

WIP

fixup! Choose pool from poolparams

Choose pool from poolparams

Choose pool from poolparams

Revert “Add explicit tracePoolKeys for delegation certificate generation”

This reverts commit ada961f389df52a0c84b8d86f088e4c0f748fe63.

Merge pull request #1210 from input-output-hk/uroboros/1114/generate_tx_updates

[1114] [WIP ]Generate valid Updates and wire up to genTx

Merge pull request #1219 from input-output-hk/erikd/deps-20200218

Update dependencies

Update dependencies

[1212] PoolRetire generator - exclude retiring pools

corrections

Merge pull request #1217 from input-output-hk/nc/txSize

(Byron) Calculate txSize and fee including witnesses

Merge pull request #1216 from input-output-hk/erikd/deps-20200217

Update dependencies

Update dependencies

Update dependencies

latest decisions reflected

wip

wip

wip

wip

(Byron) Calculate txSize and fee including witnesses

Merge #1194

1194: SRE-36 haskell overhaul r=disassembler a=craigem

This is the overhaul of Haskell for cardano-ledger-specs along the lines of cardano-node PR #507.

Co-authored-by: Craige McWhirter [email protected]

Merge #1194

1194: SRE-36 haskell overhaul r=disassembler a=craigem

This is the overhaul of Haskell for cardano-ledger-specs along the lines of cardano-node PR #507.

Co-authored-by: Craige McWhirter [email protected]

Merge pull request #1203 from input-output-hk/jc/fix-pres-of-ada-proof

fix preservation of ada proof

Merge pull request #1209 from input-output-hk/shelley/exec_spec/generate_blocks_Praos_slots

Generate blocks in Praos slots

[1114] generate more conservative PoolRetire epoch to avoid StakePoolRetirementWrongEpochPOOL in the presence of EMax PPUpdates

[1114] generate more conservative PoolRetire epoch to avoid StakePoolRetirementWrongEpochPOOL in the presence of EMax PPUpdates

Correct typo

Correct typo

Add explicit tracePoolKeys for delegation certificate generation

Add explicit tracePoolKeys for delegation certificate generation

wip

Merge #1194

1194: SRE-36 haskell overhaul r=disassembler a=craigem

This is the overhaul of Haskell for cardano-ledger-specs along the lines of cardano-node PR #507.

Co-authored-by: Craige McWhirter [email protected]

Merge #1194

1194: SRE-36 haskell overhaul r=disassembler a=craigem

This is the overhaul of Haskell for cardano-ledger-specs along the lines of cardano-node PR #507.

Co-authored-by: Craige McWhirter [email protected]

Merge #1194

1194: SRE-36 haskell overhaul r=disassembler a=craigem

This is the overhaul of Haskell for cardano-ledger-specs along the lines of cardano-node PR #507.

Co-authored-by: Craige McWhirter [email protected]

[1114] Generate valid Updates and wire up to genTx

[1114] Generate valid Updates and wire up to genTx

Fix / add some scripts

WIP

Merge pull request #1204 from input-output-hk/jc/1202/block-nos

Block Number checks

Merge pull request #1206 from input-output-hk/jc/examples-with-changing-snapshots

update example 2 to have varying snapshots

Generate blocks in Praos slots

This activates block generation in the tests for Praos slots. The essential change is to filter the pool distributions for non-emptiness, else we allowed block creation for pools without delegated stake.

Generate blocks in Praos slots

This activates block generation in the tests for Praos slots. The essential change is to filter the pool distributions for non-emptiness, else we allowed block creation for pools without delegated stake.

add hydra-eval-errors to buildkite

add hydra-eval-errors to buildkite