Sam Caldwell
|
572be6b45d
|
look into leader impl simulating spec a bit
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
5752c9299c
|
some more simulation tests
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
7dfc4a93da
|
leader-spec simulates itself!
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
ff81748848
|
simplest simulation example passes
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
f0c52f6eaa
|
subtyping
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
e141abd678
|
remember initial state when compiling
|
2020-03-10 11:44:02 -04:00 |
|
Sam Caldwell
|
d285de5bb2
|
small improvements
|
2020-03-10 11:44:01 -04:00 |
|
Sam Caldwell
|
04f4acbda3
|
incorporate branching!
|
2020-03-10 11:44:01 -04:00 |
|
Sam Caldwell
|
abce2d6046
|
More on facet states, including graphviz view
|
2020-03-10 11:44:01 -04:00 |
|
Sam Caldwell
|
d35495029b
|
prototyping interpretation of roles as state machines
|
2020-03-10 11:44:01 -04:00 |