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

mirrors/tendermint

mirror of https://github.com/tendermint/tendermint.git synced 2026-08-01 04:46:10 +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