├── .github └── workflows │ └── main.yml ├── .gitignore ├── CODE_OF_CONDUCT.md ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── Properties └── Safety.v ├── README.md ├── Structures ├── BFTFacts.v ├── BlockTree.v ├── Blocks.v ├── Chains.v ├── ConsensusState.v ├── HashSign.v └── SeqFacts.v ├── _CoqProject └── librachain.opam /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/.gitignore -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Makefile -------------------------------------------------------------------------------- /Properties/Safety.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Properties/Safety.v -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/README.md -------------------------------------------------------------------------------- /Structures/BFTFacts.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/BFTFacts.v -------------------------------------------------------------------------------- /Structures/BlockTree.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/BlockTree.v -------------------------------------------------------------------------------- /Structures/Blocks.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/Blocks.v -------------------------------------------------------------------------------- /Structures/Chains.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/Chains.v -------------------------------------------------------------------------------- /Structures/ConsensusState.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/ConsensusState.v -------------------------------------------------------------------------------- /Structures/HashSign.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/HashSign.v -------------------------------------------------------------------------------- /Structures/SeqFacts.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/Structures/SeqFacts.v -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/_CoqProject -------------------------------------------------------------------------------- /librachain.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/novifinancial/LibraChain/HEAD/librachain.opam --------------------------------------------------------------------------------