PBTS: migrating to `main` the new version of the specification#1973

Merged

melekes merged 9 commits intomainfrom cason/pbts-spec

Jan 9, 2024

+1,788-29

Commits on Jan 5, 2024

PBTS: new minimal set of changes in consensus algorithm (#369 )

authored and
cason
committed
Update README.md (#373 )

josef-widder
authored and
cason
committed
PBTS: new system model and problem statement (#375 )

authored and
cason
committed
Apalache annotations (#398 )

Kukovec
authored and
cason
committed
PBTS: spec reorganization, summary of changes on README.md (#399 )

authored and
cason
committed
Migration of TLA+ files from the spec repo (#8004) (#8018)

authored and
cason
committed
PBTS: system model made more precise (#8096)

authored and
cason
committed
PBTS: fixing some links to old repositories
cason
committed

Commits on Jan 9, 2024

Merge branch 'main' into cason/pbts-spec
melekes
authored