Changeset [06628c3b6114894c0d8cac5a3f5b327a0e922acd] by Douglas Creager
September 30th, 2008 @ 11:19 PM
Evaluate process expressions
This patch introduces initial support for evaluating process expressions into the equivalent CSP₀ scripts. There are still several important features to implement. Process names are based on the outermost named process term. Currently, these can only be introduced by a let statement. Functions that return processes don't completely work yet, since we'll need to encode the parameters of the function into the names of the processes that are generated by the function application. Finally, there isn't yet a good test suite for these new features.
Lighthouse: [#2] http://github.com/dcreager/hst/c...
Committed by Douglas Creager
- M cspm/src/HST/CSP0.hs
- M cspm/src/HST/CSP0/Processes.lhs
- M cspm/src/HST/CSPM/Bind.hs
- M cspm/src/HST/CSPM/Environments.hs
- M cspm/src/HST/CSPM/Evaluate.hs
- M cspm/src/HST/CSPM/Types.hs
- M cspm/tests/HST/CSPM/Tests/Booleans.hs
- M cspm/tests/HST/CSPM/Tests/Lambdas.hs
- M cspm/tests/HST/CSPM/Tests/Lets.hs
- M cspm/tests/HST/CSPM/Tests/Numbers.hs
- M cspm/tests/HST/CSPM/Tests/Sequences.hs
- M cspm/tests/HST/CSPM/Tests/Sets.hs
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.