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

Builds Branch Commit Type Ran Committer Via Coverage
984 spec/khedits/non-integral Take review comments into account push Matthias Güdemann buildkite pending completion   set done
983 master Merge pull request #848 from input-output-hk/spec/shelley/properties push GitHub buildkite pending completion   set done
982 spec/shelley/properties review comments addressed push Jared Corduan buildkite pending completion   set done
981 shelley/spec/transfer_rewards Fix type for environment of `DELEGS` push Matthias Güdemann buildkite pending completion   set done
980 polina/properties Update shelley/chain-and-ledger/formal-spec/chain.tex push GitHub buildkite pending completion   set done
979 dnadales/675-implement-sdeleg-verify Check the signature of the delegation certificate in the `SDELEG` rule. push Damian Nadales buildkite pending completion   set done
978 master Merge pull request #862 from input-output-hk/shelley/spec/vkey_to_hashkey push GitHub buildkite pending completion   set done
977 shelley/spec/vkey_to_hashkey The `BHEAD` rule used `Set VKeyG` in its environment push Matthias Güdemann buildkite pending completion   set done
976 spec/khedits/multi-sig Nix hocus pocus push Matthias Güdemann buildkite pending completion   set done
975 multi-sig-fix Proposed workaround push Michael Fellinger buildkite pending completion   set done
974 spec/khedits/non-integral Update IOHK style for non-integral calculation spec push Matthias Güdemann buildkite pending completion   set done
973 spec/khedits/multi-sig Changes to IOHK style push Matthias Güdemann buildkite pending completion   set done
972 master Merge pull request #854 from input-output-hk/shelley/spec/multi-sig_audit push GitHub buildkite pending completion   set done
971 khedits Remove use of `pdfsync` package push Matthias Güdemann buildkite pending completion   set done
970 master Merge pull request #857 from input-output-hk/erikd/deps-20190916 push GitHub buildkite pending completion   set done