Changeset [a2d98032c9e2a1b0526b948876c81783156e9f71] 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...
Committed by Douglas Creager
- 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
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.