Changeset [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd] by Douglas Creager

March 23rd, 2009 @ 06:43 PM

Complex channels

This patch introduces support for complex channels — those which carry data values. The “channel” statement now allows you to specify a data type for a channel:

channel a: {0..2}

This includes infrastructure for creating event names from these compound channels.

Lighthouse: [#22 state:resolved] http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/qc-tests/HST/CSPM/Tests/Booleans.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Lambdas.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Lets.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Numbers.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Patterns.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Sequences.hs
  • M cspm/qc-tests/HST/CSPM/Tests/Sets.hs
  • M cspm/src/HST/CSPM/Bind.hs
  • M cspm/src/HST/CSPM/Definitions.lhs
  • M cspm/src/HST/CSPM/Environments.hs
  • M cspm/src/HST/CSPM/Evaluate.hs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Tool/Compile.lhs
  • M cspm/src/HST/CSPM/Tool/Evaluate.lhs
  • M cspm/src/HST/CSPM/Types.hs
  • M cspm/tests/processes/test-channels.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.