Multiple Channels
Reported by Moritz Kleine | February 24th, 2009 @ 04:24 PM
The CSPM compiler doesn't currently support multiple channels in a row: 1 channel a, b 2 3 A = a -> A 4 B = b -> B 5 6 MAIN = A |||B
$ ./cspm compile -i hst-test.csp MAIN cspm: Parse error
Comments and changes to this ticket
-
Douglas Creager February 28th, 2009 @ 12:36 PM
- Assigned user set to “Douglas Creager”
-
Douglas Creager February 28th, 2009 @ 12:50 PM
- State changed from “new” to “resolved”
(from [f9591022a48f40452d33739778ac658f1330e1ee]) Multiple channels
This patch allows you to define multiple channels in a single channel statement:
channel a, b
Of course, right now we only support simple channels; you can't define a datatype that the channel carries.
Lighthouse: [#19 state:resolved] http://github.com/hst/hst/commit...
Please Sign in or create a free account to add a new ticket.
With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.
People watching this ticket
Douglas Creager
Referenced by
-
19
Multiple Channels
Lighthouse: [#19 state:resolved]
http://github.com/hst/h...