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

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-09-05 23:57:04 +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