Changeset [f9591022a48f40452d33739778ac658f1330e1ee] by Douglas Creager

February 28th, 2009 @ 12:46 PM

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...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/tests/processes/test-bugs.sh
  • M cspm/tests/run-tests.sh
New-ticket 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.