In January 2021 we will introduce a 10 GB quota for project repositories. Higher limits for individual projects will be available on request. Please see https://doku.lrz.de/display/PUBLIC/GitLab for more information.

broadcast.pp 347 Bytes
Newer Older
Stefan Jaax's avatar
Stefan Jaax committed
1
{ "title": "Broadcast Protocol",
2
  "states": ["_true", "_false"],
Stefan Jaax's avatar
Stefan Jaax committed
3
  "transitions": [{ "name": "true,false->true,true",
4 5
                    "pre": ["_true", "_false"],
                    "post": ["_true", "_true"]
Stefan Jaax's avatar
Stefan Jaax committed
6 7
                }
               ],
8 9 10
  "initialStates": ["_true", "_false"],
  "trueStates": ["_true"],
  "predicate": "_true >= 1"
11
}