Changeset [545d048bee82af04b56391cecd19ac8746625a1c] by Douglas Creager

November 6th, 2008 @ 10:03 PM

Simple “channel” statement

This patch adds the simple form of the “channel” statement. This binds a top-level identifier to a single event of the same name. A variable reference to this identifier will now correctly return the corresponding Event value. This will allow us to start implementing some basic process expressions. http://github.com/dcreager/hst/c...

Committed by Douglas Creager

  • M cspm/src/HST/CSPM/Definitions.lhs
  • M cspm/src/HST/CSPM/Parser.hs
  • M cspm/src/HST/CSPM/Parser.ly
  • M cspm/src/HST/CSPM/Types.hs
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.