Changeset [f4b77aca530fc358c54402ff372d5ed8e8aece25] by Douglas Creager

November 10th, 2008 @ 10:06 AM

Prefix CSPM expressions should create “event” CSP₀ statements

CSP₀ scripts require you to use an “event” statement to declare any event that's used in a “prefix” statement. The CSPM compiler wasn't creating the necessary “event” statements for the prefix expressions that it would encounter. This patch fixes the compiler so that it does create these statements. http://github.com/hst/hst/commit...

Committed by Douglas Creager

  • M cspm/src/HST/CSP0/Processes.lhs
  • M cspm/src/HST/CSPM/Evaluate.hs
  • M cspm/tests/processes/test-aparallel.sh
  • M cspm/tests/processes/test-extchoice.sh
  • M cspm/tests/processes/test-hide.sh
  • M cspm/tests/processes/test-intchoice.sh
  • M cspm/tests/processes/test-interleave.sh
  • M cspm/tests/processes/test-iparallel.sh
  • M cspm/tests/processes/test-prefix.sh
  • M cspm/tests/processes/test-rextchoice.sh
  • M cspm/tests/processes/test-seqcomp.sh
  • M cspm/tests/processes/test-timeout.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.