input-output-hk / cardano-ledger-specs

42%

master: 51%

LAST BUILD ON BRANCH mdimjasevic/473-pvbump-prop

branch: mdimjasevic/473-pvbump-prop

CHANGE BRANCH

x

Reset

• mdimjasevic/473-pvbump-prop
• dnadales/494-integrate-coveralls
• master
• dnadales/add-badges
• mdimjasevic/505-hedgehog-1.0
• specs/shelley/script-witness-transaction
• specs/shelley/refactor_multi-sig-spec
• dnadales/476-check-money-is-constant
• uroboros/477/missing-init-state
• specs/shelley/multi-sig-update-script-type
• mdimjasevic/512-upiec-prop
• dnadales/493-remove-travis
• dnadales/482-remove-sigcnt-from-bhead
• dnadales/465-fix-adoption-threshold-rules
• specs/shelley/multi-sig-comments
• specs/shelley/shelley-genesis-key-map
• ruhatch/chain-utxo
• uroboros/479/add-size-costs
• dnadales/458-update-prose-pbft-header-processing
• uroboros/466/remove-dms
• dcoutts/script-addresses
• ruhatch/gen-trace
• ruhatch/utxo-fees
• mdimjasevic/556-k-in-env
• mdimjasevic/548-upi-init-rules
• intricate/fix-subtractFees
• dnadales/535-time-traveling-property-byron
• mdimjasevic/551-upiend-tr-gen
• specs/shelley/update-mechanism
• dnadales/297-add-coverage-for-deleg-traces
• dnadales/add-missing-changes-to-time-travel-prop
• milestone-2019-06-14
• shelley/exec_spec/converge_STS_spec_first_set
• uroboros/523/test-tx-wits-hastypereps
• exec_spec/shelley/converge_STS_newepoch
• specs/shelley/tt-gen-deleg
• dcoutts/native-multisig
• dnadales/549-upireg-traces-generator
• exec_spec/shelley/STS_rules_second_part
• philipp/multi-sig-delegation
• dnadales/538-create-stylish-haskell-configuration-and-instructions
• erikd/unused-imports
• erikd/non-integer-warnings
• erikd/Werror
• dnadales/550-align-upivotes-exec-spec
• exec_spec/shelley/update_mechanism
• uroboros/536/test-relation-instances
• dnadales/550-write-upivotes-generators
• intricate/bimap-0.4.0
• dnadales/511-test-dcerts-cannot-be-replayed
• exec_spec/shelley/genesis_delegation_map_stability
• specs/byron/upstags-typo
• specs/shelley/version-checks
• exec_spec/shelley/relational_operators
• specs/shelley/audit-11042019
• ruhatch/crypto-abstraction
• ruhatch/reenable-cross-comp
• dnadales/551-upiend-trace-generators
• uroboros/547/utxo-trace-coverage
• apache-licensing
• uroboros/563/test-abstractsize-block-header-body
• dnadales/617-initial-environment-from-trace-length
• erikd/version-update
• mdimjasevic/517-mv-keyhash
• shelley/specs/multi-sig-staking
• weeder/reduce_weeder_warnings
• mdimjasevic/263-utxo-properties
• dnadales/604-add-support-for-mutated-traces
• erikd/updates
• shelley/exec_spec/multi-signature
• exec_spec/shelley/small-chain-sts-test
• dnadales/621-add-update-payload-to-chain-traces
• uroboros/546/chain-trace-coverage
• fix/cabal_dev_option
• shelley/exec_spec/test_native_multisig
• exec_spec/shelley/better-chain-unit-test
• mdimjasevic/646-utxo-generators
• shelley/exec_spec/examples_multisig
• shelley/spec/exec_spec/native_multi-sig
• shelley/spec/multi-sig_remove_appendix
• mdimjasevic/655-utxo-tx-order
• specs/shelley/vrf-keys
• mdimjasevic/628-tags-upsvv
• mdimjasevic/623-merge-upd-thresholds
• specs/shelley/audit-review-8-9-10
• shelley/exec_spec/addresses
• dnadales/536-fix-pvbump
• ruhatch/extract-epoch
• update-codeowners
• shelley/demo/multi-sig
• exec_spec/shelley/getting-stylish
• exec_spec/shelley/new-epoch-example
• shelley/spec/sts_failures
• exec_spec/shelley/vrf-keys
• shelley/exec_spec/examples_multi-sig
• shelley/spec/multi-sig/audit_29_7
• exec_spec/shelley/non-trivial-rewards
• exec_spec/shelley/update-proposal-and-cleanup-nonces
• dnadales/remove-stability-check-when-bumping-avs
• shelley/exec_spec/recursive_STS_rules
• erikd/update-deps
• dnadales/specify-numbers-of-cores-to-be-used
• shelley/spec/audit-20190804
• exec_spec/shelley/update-examples
• csoroz/fix_approx_versions
• csoroz/non_integer-test_code
• csoroz/non-integral_fixes
• csoroz/missing_terms
• exec_spec/shelley/app-version-update-examples
• shelley/exec_spec/refund_calculation
• dnadales/711-initial-scaffolding-invalid-chain-conformance-tests
• spec/shelley/typos-issue-749
• exec_spec/shelley/ppup-predicates
• nc/key-ord
• dnadales/764-check-coverage-of-delegation-errors
• uroboros/735/sync_shelley_delegs_sts
• mhuesch/goblins_v7_decode_only
• dnadales/752-faster-trace-generators-using-edskos-ideas
• exec_spec/shelley/avup-sync
• mhuesch/document_STS_PFs_structural_throwable
• uroboros/733/sync_shelley_deleg_sts
• dndales/771-generate-invalid-upiregs
• spec/shelley/typos-and-small-fixes
• exec_spec/shelley/sum-type-prev-header-hash
• exec_spec/shelley/fix-pointer-addresses
• exec_spec/shelley/fix-deregistration
• shelley/spec/merge_multi-sig
• 790-update-bib-entry-in-blockchain-spec
• mhuesch/fix-stylish-haskell
• shelley/spec/adapt_properties
• dnadales/790-remove-pvbump-properties-and-tests
• uroboros/737/sync_shelley_snap_sts
• uroboros/738/sync_shelley_newpp_sts
• uroboros/741/sync_shelley_newepoch_sts
• exec_spec/shelley/genesis-delegation-example
• mhuesch/806
• exec_spec/shelley/metadata
• polina/updateprose
• shelley/exec_spec/delegation_properties
• uroboros/734/sync_shelley_pool_sts
• spec/shelley/initial-gen-operational-cert-counters
• uroboros/743_744/sync_bhead_ocert_sts
• uroboros/740/sync_updn_sts
• uroboros/747/sync_bbody_sts
• nc/praos
• shelley/exec_spec/pool_properties
• dcoutts/metadata-proposal
• uroboros/823/sync_poolreap_sts
• shelley/exec_spec/property_poolreap
• exec_spec/shelley/remove-tuples
• khedits
• mhuesch/integrate-goblins
• exec_spec/shelley/remove-map-map-set-set
• exec_spec/shelley/pool-refends-deducted-from-deposits
• spec/shelley/audit-review-14
• spec/shelley/properties
• shelley/non_integral/reference/PoC_linear_approx
• polina/updateprose2
• erikd/update-deps-20190911
• shelley/spec/multi-sig_audit
• shelley/exec_spec/utxow_properties
• erikd/deps-20190916
• spec/khedits/multi-sig
• spec/khedits/non-integral
• multi-sig-fix
• shelley/spec/vkey_to_hashkey
• dnadales/675-implement-sdeleg-verify
• polina/properties
• shelley/spec/transfer_rewards
• dnadales/787-additional-operators-needed-for-max-sizes-conformance-tests
• mhuesch/gitignore
• uroboros/844/ledger_sts_trace_generator
• erikd/deps-20190923
• shelley/tests/refactor_utils
• dnadales/to-cbor-instances
• shelley/tests/delegs_test
• shelley/tests/utxo_rule
• erikd/deps-20190930
• shelley/tests/deleg_rewards_balance
• shelley/tests/poolreap_properties
• shelley/tests/test_ledger
• shelley/tests/test_newepoch
• nc/praos-int
• shelley/spec/rewards_transfer_prose
• shelley/specs/correct_nonint_table_overview
• dnadales/787-change-hash-type-to-maybe-in
• polina/epoch-prop
• polina/props
• shelley/specs/make_parentheses_consistent
• jdiaz/no-double-spending-proof
• shelley/executable_spec/instantaneous_rewards
• mhuesch/869
• spec/coverpage-kh
• ignore-pdfs
• erikd/deps-20191009
• polina/fixbib
• mhuesch/fix_merge_mess
• spec/shelley/var-renames
• nc/shelley
• dnadales/657-increase-alreadyproposedsv-coverage
• specs/shelley/small-edits
• dnadales/679-fix-add-votes-discrepancy
• spec/incentives-kh
• jdiaz/utxo-diff-proof
• topic/deps-20190114
• uroboros/867/generate_pparams
• dnadales/build-and-publish-isabelle-artifacts
• mhuesch/870
• dnadales/284-utxo-and-txouts-must-be-disjoint
• mhuesch/870_cont
• mhuesch/950
• exec_specs/shelley/mir-example
• polina/plutus
• uroboros/925/only_valid_signals
• spec/shelley/pres-of-value
• dnadales/qc-trace-generators
• exec_spec/shelley/mir_apply_example
• spec/incentives-kh3
• exec_spec/shelley/mir_example_v2
• csoroz_fix_typo
• coot/windows
• spec/consensus-integration-kh
• spec/shelley/non-neg-deposits
• michal/example-1-comments
• mhuesch/870_follow_on_rereg
• spec/consensus-integration
• michal/example-1-comments-signed
• jdiaz/constant-money-proof
• shelley/specs/correction_ptrs_map_type
• michal/example-1-comments-really-signed
• shelley/spec/redesign_mir
• philipp/minor-fixes
• spec/incentives-cleanup-kh
• shelley/exec_spec/mir_redesign
• specs/shelley/remove-stake-key-reg-wits
• specs/shelley/adjustments-from-mir-changes
• redxaxder/cddl
• michal/example-2
• HEAD
• nc/crypto
• spec/properties
• shelley/exec_spec/cleanup_some_functions
• jdiaz/isabelle-proofs-transfer
• dnadales/add-abstract-size-instance-for-mockdsign
• csoroz/first-slot
• codeowners-update
• nc/api
• erikd/fix-homepage
• shelley/exec_spec/remove_duplicate_functionality
• uroboros/926/invalid_trace_profiles
• csoroz/parens-in-deposits-function
• michal/example-2c
• csoroz/fix-ppup
• nc/bump-deps
• edsko/deps-20191120
• mhuesch/871_RetirePool
• exec_spec/shelley/cbor-cert-tests
• polina/plutusperscript
• SRE-36_haskell_overhaul
• staging
• bors/staging
• erikd/deps-20200217
• uroboros/1114/generate_tx_updates
• erikd/deps-20200218
• shelley/exec_spec/remove_explict_pool_keys
• jc/fix-examples
• shelley/exec_spec/evolve_ledger_state_in_chain
• shelley/exec_spec/generators_remove_constraints
• shelley/exec_spec/generated_pparams
• serialize-full-txns
• uroboros/1215/classify_trace_epoch_boundaries
• shelley/exec_spec/non_zero_leader_election_value
• shelley/exec_spec/simple_fee_calculation
• jc/non-myopic-calc
• jc/fix-cddl-group-tests
• dcoutts/metadata-proposal-2
• jc/fee-examples
• jc/cbor-rationals-with-tag
• jc/lasik
• jc/remove-redundant-vkey-in-header
• cddl-serialize-tests
• jc/safety-zone
• jc/align-pool-params-with-stake-snapshot
• polina/move-scripts
• mrBliss/fix-bprotvert-typo
• jc/txid-is-function-of-txbody
• nfrisby/remove-unused-ctors
• nfrisby/add-cabal-install-shellnix
• add-cbor-diag-and-cddl
• nc/issue-743
• redxaxder/1312
• jc/lte-for-max-size-checks
• jc/add-bytes-to-fee-examples
• jc/non-myopic-api
• nc/test-fix
• mrBliss/shelley-spec-ledger-test-package
• jc/from-origin
• jc/remove-application-versions
• nfrisby/minor-edits
• polina/james-nick-corrections
• mrBliss/fix-haddock-parse-errors
• mrBliss/remove-left-over-debug-trace
• dcoutts/update-deps
• jc/store-prev-proto-params
• jc/spec/remove-app-versions
• redxaxder/nightly
• jc/spec/from-origin
• jc/generate-nonneg-coins
• nfrisby/typos-stale-varnames
• nc/callStack
• nfrisby/typos
• jc/rename-byron-packages-and-modules
• jc/spec/header-only-validation
• nfrisby/more-minor-typos
• uroboros/revert_to_single_cert_gen
• nc/txgen
• nc/fix-nix
• nfrisby/clarification
• redxaxder/ann
• nc/callstack
• nc/constants
• erikd/index-state
• jc/spec/unpack-nes-in-newepoch-rules
• mrBliss/fix-thunks
• dcoutts/address-serialisation-stubs
• jc/new-addr-types
• redxaxder/revertann
• erikd/deps-20200415
• intricate/shelley-keys-nfdata
• dcoutts/export-predicatefailures
• cddl_feedback
• mrBliss/nounexpectedthunks-chain
• mrBliss/compact-overlay-schedule-encoding
• mrBliss/nounexpectedthunks-globals
• erikd/view-patterns
• erikd/roundtrip
• jc/pool-relays
• erikd/rankntypes
• nc/genesisStake
• uroboros/1352/gen_multiple_certs_per_tx
• nc/truncateUnitInterval
• jc/spec/cryptographic-specifications
• nc/retire-certs
• jc/active_slot_coeff_a_constant
• jc/adopt_gen_delegs_in_tick
• erikd/expose
• nc/ipv6-encode
• nc/sss-fix
• jc/fix-empty-genesis-keys-bug
• nc/filtered-utxo
• nc/tick
• simplified_txsize
• polina/plutus-mc-formal
• partial_functions
• intricate/vkey-complete-pragmas
• erikd/nfdata
• address_binary_format
• jc/fix_cabal_dependency_for_test_lib
• nc/keys
• uroboros/1351/removed_after_poolreap_prop
• andre/mc-spec-changes
• sign_txbody_hash
• uroboros/remove_circulation_deposits_invariant_prop
• jc/vertical_stylish_imports
• intricate/get-entire-utxo
• nc/ormolu
• jc/rename_stability_constants
• nc/fix-nightly
• polina/plutus-formal-corrections
• jc/fix_total_stake
• nc/deps
• coot/shelley-header-size
• txin_list
• dcoutts/fix-sdist
• jc/total_stake_is_max_minus_reserves
• nc/orm2
• mrBliss/txFullBytes
• jc/explain_hkd_in_protocol_parameters
• jc/report_keys_invalid_sig_better
• paweljakubas/add-realistic-goldentests-for-serialiseAddr
• jc/remove_serialiseAddr_comments_re_unfinished
• jordan/remove-undefined
• nc/word16
• jc/utxo_deposits
• nc/orm3
• jc/split-qc-and-hh
• mrBliss/prtcl-block-independent
• jc/no-pool-reg-last-stability-window
• jc/utxow-better-errors
• jc/spec/make-prtcl-block-independent
• jordan/fix-op-cert-transition-info
• mrBliss/fix-decoder-bug
• jordan/expose-prtlseqfailure-constructors
• jc/redo-network-ids
• txsize_do_not_reserialize

Issue #473: implements in Haskell three properties for the PVBUMP STS