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-19 22:44:24 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
60f0f7bcd0ea491b977d27dd82afb3d4bdd6c8d8
tendermint
/
spec
/
consensus
/
proposer-based-timestamp
/
tla
T
History
Kukovec
and
Daniel
60f0f7bcd0
run script/docs
2022-05-24 18:28:31 +02:00
..
HowToRun.md
run script/docs
2022-05-24 18:28:31 +02:00
MC_PBT_2C_2F.tla
move + rename
2022-05-24 18:28:31 +02:00
MC_PBT_3C_1F.tla
move + rename
2022-05-24 18:28:31 +02:00
runApalache.sh
run script/docs
2022-05-24 18:28:31 +02:00
TendermintPBT.tla
run script/docs
2022-05-24 18:28:31 +02:00
typedefs.tla
Migration of TLA+ files from the spec repo (
#8004
) (
#8018
)
2022-03-02 09:08:39 -05:00
