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

Builds Branch Commit Type Ran Committer Via Coverage
229 ruhatch/chain-utxo Add UTxO payload to the CHAIN HasTrace instance push Rupert Horlick buildkite pending completion   set done
227 ruhatch/chain-utxo Add UTxO payload to the CHAIN HasTrace instance push Rupert Horlick buildkite pending completion   set done
228 specs/shelley/shelley-genesis-key-map Apply suggestions from code review push GitHub buildkite pending completion   set done
226 dnadales/465-fix-adoption-threshold-rules Change the `maxBlockSize`-`maxTxSize` check (it was backwards). push Damian Nadales buildkite pending completion   set done
225 dnadales/465-fix-adoption-threshold-rules Minor corrections before PR push Damian Nadales buildkite pending completion   set done
224 dnadales/465-fix-adoption-threshold-rules Fix delegation example. push Damian Nadales buildkite pending completion   set done
223 mdimjasevic/512-upiec-prop Issue #512: implements the first property of the UPIEC STS push Marko Dimjašević buildkite pending completion   set done
221 mdimjasevic/512-upiec-prop Issue #473: reworks forAll generators in PVBUMP STS properties to make them in line with how UPIEC STS properties will be written push Marko Dimjašević buildkite pending completion   set done
220 specs/shelley/multi-sig-comments [skip ci] Rewording and restructuring push Matthias Güdemann buildkite pending completion   set done
218 mdimjasevic/512-upiec-prop Issue #512: implements a generator of UPIState's push Marko Dimjašević buildkite pending completion   set done
217 mdimjasevic/512-upiec-prop Issue #512: renames generators per Nadales' naming convention push Marko Dimjašević buildkite pending completion   set done
216 mdimjasevic/512-upiec-prop Remove Travis configuration (#515) push GitHub buildkite pending completion   set done
215 dnadales/465-fix-adoption-threshold-rules Change ceil to floor push Damian Nadales buildkite pending completion   set done
214 dnadales/465-fix-adoption-threshold-rules Make the threshold's natural numbers and the parameters rationals push Damian Nadales buildkite pending completion   set done
213 dnadales/465-fix-adoption-threshold-rules Use parenthesis in the environments. push Damian Nadales buildkite pending completion   set done