├── README.md ├── blockchain ├── blockchain.md └── fullnode.md ├── fastsync └── fastsync.md ├── guide ├── guide.md ├── informal-english.md ├── naming.md ├── notes-planning.md ├── notes-zarko.txt └── templ-high.md ├── lightclient ├── failuredetector.md └── verification.md └── traceability ├── README.md ├── tooling.md ├── tooling_arch.graphml ├── tooling_arch.png ├── tooling_domain.graphml ├── tooling_domain.png ├── tooling_nav.graphml ├── tooling_nav.png ├── tooling_rm_domain.graphml ├── tooling_rm_domain.png └── traceability.md /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/README.md -------------------------------------------------------------------------------- /blockchain/blockchain.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/blockchain/blockchain.md -------------------------------------------------------------------------------- /blockchain/fullnode.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/blockchain/fullnode.md -------------------------------------------------------------------------------- /fastsync/fastsync.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/fastsync/fastsync.md -------------------------------------------------------------------------------- /guide/guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/guide.md -------------------------------------------------------------------------------- /guide/informal-english.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/informal-english.md -------------------------------------------------------------------------------- /guide/naming.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/naming.md -------------------------------------------------------------------------------- /guide/notes-planning.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/notes-planning.md -------------------------------------------------------------------------------- /guide/notes-zarko.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/notes-zarko.txt -------------------------------------------------------------------------------- /guide/templ-high.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/guide/templ-high.md -------------------------------------------------------------------------------- /lightclient/failuredetector.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/lightclient/failuredetector.md -------------------------------------------------------------------------------- /lightclient/verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/lightclient/verification.md -------------------------------------------------------------------------------- /traceability/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/README.md -------------------------------------------------------------------------------- /traceability/tooling.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling.md -------------------------------------------------------------------------------- /traceability/tooling_arch.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_arch.graphml -------------------------------------------------------------------------------- /traceability/tooling_arch.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_arch.png -------------------------------------------------------------------------------- /traceability/tooling_domain.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_domain.graphml -------------------------------------------------------------------------------- /traceability/tooling_domain.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_domain.png -------------------------------------------------------------------------------- /traceability/tooling_nav.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_nav.graphml -------------------------------------------------------------------------------- /traceability/tooling_nav.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_nav.png -------------------------------------------------------------------------------- /traceability/tooling_rm_domain.graphml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_rm_domain.graphml -------------------------------------------------------------------------------- /traceability/tooling_rm_domain.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/tooling_rm_domain.png -------------------------------------------------------------------------------- /traceability/traceability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/vdd/HEAD/traceability/traceability.md --------------------------------------------------------------------------------