tendermint/spec/consensus/proposer-based-timestamp/tla at b44b7e468c5d3afbfa43b2805e9958134f0ff90b - tendermint - Anomalous Gitea

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-09-26 01:44:16 +00:00

Files

T

History

M. J. FrombergerandGitHub b848c79971 Revert "Migration of TLA+ files from the spec repo (#8004 )" (#8016 )

This reverts commit e762dbb603.

These files need a more thorough review before integration.

2022-02-25 16:37:31 -08:00

..

TendermintPBT_001_draft.tla

Proposer-based timestamp specification (#261 )

2021-03-23 16:40:21 +01:00

TendermintPBT_002_draft.tla

Revert "Migration of TLA+ files from the spec repo (#8004 )" (#8016 )

2022-02-25 16:37:31 -08:00

typedefs.tla

Revert "Migration of TLA+ files from the spec repo (#8004 )" (#8016 )

2022-02-25 16:37:31 -08:00