input-output-hk / cardano-chain

51%

master: 52%

LAST BUILD ON BRANCH ruhatch/hedgehog-model

branch: ruhatch/hedgehog-model

CHANGE BRANCH

x

Reset

• ruhatch/hedgehog-model
• HEAD
• ruhatch/test
• ruhatch/coverage
• bors/staging
• master
• redxaxder+jordan/cardano-shell-wip
• ruhatch/update-endorsement
• disable-freezing-darwin-tests
• dnadales/189-implement-UPIREG
• mhuesch/312+313
• ruhatch/issue-template
• erikd/serialize
• erikd/servantless
• ruhatch/coveralls
• ruhatch/update-readme
• dnadales/198-impl-update-interface-part-2
• intr
• ruhatch/lib-nix
• jordan/final/338/improve-test-failures
• erikd/accessors
• bors/trying
• 377-rename-ProtocolParameterUpdate
• fix-forceNewEval
• ruhatch/cardano-binary
• mhuesch/misc_tweaks
• mhuesch/385_AD
• mhuesch/385_addr_discrim_configuration
• mhuesch/385_addr_discrim_tests_2
• mhuesch/385_addr_discrim_implement_nm_1
• intricate/update-hash-heapwords
• dnadales/170-make-slot-numbers-absolute
• intricate/compact-data-types
• erikd/strict-map
• ruhatch/update-ghc-docs
• ruhatch/remove-undo
• ruhatch/weeder
• intricate/compact-utxo
• mhuesch/DS_Store
• erikd/reality
• ruhatch/enable-txp-validation
• mhuesch/363_withTests_configurable
• mhuesch/396_PM_NM_Word32
• ruhatch/crypto-hedgehog
• nc/expose-validation-state
• ruhatch/bi-split
• angerman-patch-1
• ruhatch/update-mainnet
• nc/expose-stuff
• nc/expose-stuff-2
• ruhatch/attr-size
• ruhatch/unused-functions
• ruhatch/annotate-protocol-magic
• ruhatch/merkle-tree
• mhuesch/clarify-printout
• ruhatch/canonical-address-hash
• ruhatch/delegation-bimap
• ruhatch/utxo
• ruhatch/adoption-threshold
• erikd/cabal-new-build
• ruhatch/rename-keys
• intricate/epoch-validation-debug-flag
• intricate/log-utxo-stats-debug
• intricate/log-utxo-stats-nf
• erikd/mainnet-mirror
• avieth/ebb_epoch_index
• ruhatch/mainnet-nix
• intricate/fix-update-state-leak
• ruhatch/readme
• ruhatch/update-metadata
• intricate/fix-cvsprevioushash-leak
• erikd/cruft
• update-logging
• ruhatch/readme-building
• ruhatch/remove-attributes
• ruhatch-patch-1

Add hedgehog models for CHAIN and UTXOW