  
|
c42c6d06d2
|
Migration of TLA+ files from the spec repo (#8004) (#8018)
Co-authored-by: Kukovec <jure.kukovec@gmail.com>
|
2022-03-02 09:08:39 -05:00 |
|
|
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 |
|
|
KukovecandGitHub
|
e762dbb603
|
Migration of TLA+ files from the spec repo (#8004)
|
2022-02-25 16:09:27 -08:00 |
|
|
KukovecandGitHub
|
f8c4ec38ec
|
Apalache annotations (#398)
|
2022-02-02 12:29:02 +01:00 |
|
    
|
640b71038b
|
Proposer-based timestamp specification (#261)
* added proposer-based timestamp spec
* Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com>
* Update spec/consensus/proposer-based-timestamp/pbts_001_draft.md
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com>
* Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md
Co-authored-by: Marko <marbar3778@yahoo.com>
* Update spec/consensus/proposer-based-timestamp/pbts-algorithm_001_draft.md
* Update spec/consensus/proposer-based-timestamp/pbts-sysmodel_001_draft.md
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
* fixes from PR
Co-authored-by: Josef Widder <44643235+josef-widder@users.noreply.github.com>
Co-authored-by: Aleksandr Bezobchuk <alexanderbez@users.noreply.github.com>
Co-authored-by: Marko <marbar3778@yahoo.com>
Co-authored-by: Callum Waters <cmwaters19@gmail.com>
|
2021-03-23 16:40:21 +01:00 |
|