PBTS: new system model and problem statement

tendermint / spec

131 stars 56 forks source link

PBTS: new system model and problem statement #375

Closed cason closed 2 years ago

cason commented 2 years ago

It seems that some of the changes listed here were already addressed by the previous PR.

This PR essentially adds pbts-sysmodel_002_draft.md, a new version of pbts-sysmodel_001_draft.md.

Not all the properties and references to the TLA spec are included, and this PR will probably require more commits and some discussions.

josef-widder commented 2 years ago

We merge the current state. @cason will add a README that explains the status of the files that is

open issues
TODOs
etc.

cason commented 2 years ago

I think this branch is still not mergeable with master, needing a rebase. Can you confirm that? I don't have the option to merge the branch, @williambanfield can you help me (again) with this :D