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

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-09-19 14:34:17 +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