input-output-hk / cardano-ledger-specs / 1080

Builds Branch Commit Type Ran Committer Via Coverage
1080 master Merge pull request #859 from input-output-hk/spec/khedits/non-integral push GitHub buildkite pending completion   set done
1078 master Merge pull request #910 from input-output-hk/shelley/spec/rewards_transfer_prose push GitHub buildkite pending completion   set done
1077 shelley/spec/rewards_transfer_prose Extend descriptions of changed states and constraints to push Matthias Güdemann buildkite pending completion   set done
1076 shelley/spec/rewards_transfer_prose Extend descriptions of changed states and constraints to push Matthias Güdemann buildkite pending completion   set done
1075 nc/praos-int Derive Show for PrtclState push Nicholas Clarke buildkite pending completion   set done
1073 ruhatch/crypto-abstraction Address review comments push Nicholas Clarke buildkite pending completion   set done
1069 ruhatch/crypto-abstraction Update nix stuff push Nicholas Clarke buildkite pending completion   set done
1067 ruhatch/crypto-abstraction Fix up UnitInterval/Natural mapping push Nicholas Clarke buildkite pending completion   set done
1068 ruhatch/crypto-abstraction Fix up UnitInterval/Natural mapping push Nicholas Clarke buildkite pending completion   set done
1066 master Merge pull request #881 from input-output-hk/shelley/spec/transfer_rewards push GitHub buildkite pending completion   set done
1064 shelley/spec/transfer_rewards Correct type of `i_rwd` mapping to `KeyHash |-> Coin` push Matthias Güdemann buildkite pending completion   set done
1061 master Merge pull request #895 from input-output-hk/shelley/tests/test_newepoch push GitHub buildkite pending completion   set done
1060 shelley/tests/test_newepoch Add NEWEPOCH property that balance and deposits are invariant push Matthias Güdemann buildkite pending completion   set done
1059 shelley/tests/test_newepoch Add property test for `NEWEPOCH` push Matthias Güdemann buildkite pending completion   set done
1057 master Merge pull request #894 from input-output-hk/shelley/tests/test_ledger push GitHub buildkite pending completion   set done