Tony Garnock-Jones
|
0693e88031
|
Allow "message type ..." as well as "assertion type ...".
|
2016-05-11 10:59:27 -04:00 |
Tony Garnock-Jones
|
efc444ac37
|
forever => react, state => react, init => do, done => finally, until => react until
|
2016-05-10 18:49:12 -04:00 |
Tony Garnock-Jones
|
a428423ff2
|
Support when(...) clause in assert in facets.
|
2016-05-08 12:19:40 -04:00 |
Tony Garnock-Jones
|
7fcfa9586b
|
Rename "network" to "dataspace" throughout
|
2016-04-07 09:42:54 +02:00 |
Tony Garnock-Jones
|
a8b7de0d64
|
Support gaining access to the ground object
|
2016-03-19 15:06:07 -04:00 |
Tony Garnock-Jones
|
b9aa833186
|
Prefer parens around risingEdge transition condition
|
2016-03-19 14:50:08 -04:00 |
Tony Garnock-Jones
|
d87118f686
|
Support risingEdge transition events
|
2016-03-19 13:48:49 -04:00 |
Tony Garnock-Jones
|
3b5a07f954
|
Split out compiler to separate syndicatec command
|
2016-03-19 13:01:14 -04:00 |