Code Browser

Replace difftests with model-based testing using Quint

tests: cleanup integration tests

docs: A number of UI changes for Docusaurus

build(deps): bump @babel/traverse from 7.21.2 to 7.23.2 in /docs

build(deps): bump @babel/traverse from 7.18.6 to 7.23.2 in /tests/difference/core/model

build(deps): bump google.golang.org/grpc from 1.58.2 to 1.58.3

build(deps): bump github.com/google/go-cmp from 0.5.9 to 0.6.0

add Tx/Query handlers for submit-proposal in v50 (deprecate submit-legacy-proposal)

feat!: backport cryptographic equivocation to SDKv45

update consumer-democracy app.go to v50; update code

democracy: update democracy consumer v50

sovereign: update sovereign testapp to v50

update sovereign app.go to v50

provider: rm equivocation evidence handling v50

consumer: update consumer app v50 and make buildable

remove governance equivocation handlers on provider

update consumer app.go to v50

build(deps): bump golang.org/x/net from 0.12.0 to 0.17.0

refactor: cleanup ccv types

upgrade integration testing framework for v50

build(deps): bump github.com/spf13/viper from 1.16.0 to 1.17.0

build(deps): bump bufbuild/buf-setup-action from 1.26.1 to 1.27.0

backport ics-misbehaviour-handling to SDK v45 (ICS 2.x)

doc: update ADR-005 with consumer double voting (backport #1283)

build(deps): bump postcss from 8.4.21 to 8.4.31 in /docs

docs: Add more details to the test framework README

docs: testing guidelines

test: cover consumer-gov in E2E democracy tests

feat!: add cryptographic equivocation

feat!: key assignment checking key in use