This website requires JavaScript.
Explore
Help
Sign In
mirrors
/
tendermint
Watch
1
Star
0
Fork
0
mirror of
https://github.com/tendermint/tendermint.git
synced
2026-09-24 08:54:51 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
f25b7ceeb2d94feda2608da76b4319a87307bbd8
tendermint
/
spec
/
consensus
/
proposer-based-timestamp
/
tla
T
History
Kukovec
and
GitHub
e762dbb603
Migration of TLA+ files from the spec repo (
#8004
)
2022-02-25 16:09:27 -08:00
..
Apalache.tla
Migration of TLA+ files from the spec repo (
#8004
)
2022-02-25 16:09:27 -08:00
MC_PBT.tla
Migration of TLA+ files from the spec repo (
#8004
)
2022-02-25 16:09:27 -08:00
TendermintPBT_001_draft.tla
Proposer-based timestamp specification (
#261
)
2021-03-23 16:40:21 +01:00
TendermintPBT_002_draft.tla
Migration of TLA+ files from the spec repo (
#8004
)
2022-02-25 16:09:27 -08:00
typedefs.tla
Migration of TLA+ files from the spec repo (
#8004
)
2022-02-25 16:09:27 -08:00
