Changeset [a2d98032c9e2a1b0526b948876c81783156e9f71] by Douglas Creager

Revision a2d98032c9e2a1b0526b948876c81783156e9f71, committed by Douglas Creager · November 9th, 2008 @ 12:05 AM

Adding process expressions to CSPM parser

The CSPM parser now includes process expressions. We don't yet support all of the CSPM operators, but we do support all of them that the underlying code can evaluate and that the CSP₀ code can compile. http://github.com/dcreager/hst/c...

20 changed files

M cspm/src/HST/CSP0/Processes.lhs
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.lhs
M cspm/src/HST/CSPM/Tool/Compile.lhs
M cspm/src/HST/CSPM/Types.hs
M cspm/tests/expressions/test-lambdas.sh
M cspm/tests/functions.sh
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
M cspm/tests/run-tests.sh