These 19 commits are when the Protocol Buffers files have changed:
| Commit: | df063bc | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Custom param name for transition assertion (#181) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
The documentation is generated from this commit.
| Commit: | 14ba2c4 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Allow specifying durable and ephemeral states for roles (#138) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 376ac08 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Store the thread map and thread id in the exported proto (#127) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 09460e4 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Implement fairness marker on any keyword. (#115) * Proto and Parser changes to support fairness for any stmt * Choice fairness * Temporary commit of invariants changes * More intermediate changes * Fix errors with increased cycle length * rename * Scope fairness to the role --------- Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 517a952 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Assign a stable request id (#110) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 3925133 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Add support to disable for actions and support max_concurrent actions for actions (#86) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | e35bbbf | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Add comments to statespace_options.proto (#71)
| Commit: | 7347b6c | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Use optional proto so we can enable deadlock_detection by default when it is not set (#70) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 4511fe8 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Support state space options as a yaml frontmatter. This simplifies online playground use and easy to share a single file (#69) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 75d0a22 | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Set error linenumbers in the stacktrace (#52) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 410144a | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Support symmetric_values and symmetric role (#48) Symmetry reduction by specifying values and roles as symmetric. For ids and keys, you can specify ``` KEYS = symmetric_values('key', 3) VALUES = symmetric_values('val', 3) ``` For roles, ``` symmetric role Node: # actions and functions pass ``` To access the id of the node to be used at other places, use `role.__id__` Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 53ba3af | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Add separate roles and maintain messages (#39) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 0eae88e | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Any with condition (#38) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 8280cba | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Support require stmt and simplified any stmt (#37) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>
| Commit: | 92c861c | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Support for methods within roles (#28)
| Commit: | bf44d5e | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Role AST and parser (#21)
| Commit: | 051bf8b | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Support enum and top level statements suitable for constants (#18)
| Commit: | 6e1816c | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Handle methods with parameters (#5)
| Commit: | 228338c | |
|---|---|---|
| Author: | fizzbee | |
| Committer: | GitHub | |
Fresh commit from the old repo (#1)