Neil Brown cfc3577c21 Fixed the pre-condition of flattenAssign to include the types being resolved		2008-02-27 18:24:33 +00:00
..
PassTest.hs	Added tests for testing that testTransformProtocolInput transformed protocol inputs in ALTs	2008-02-27 17:19:47 +00:00
SimplifyComms.hs	Changed testTransformProtocolInput so that it does transform protocol inputs in ALT guards	2008-02-27 17:20:19 +00:00
SimplifyExprs.hs	Made sure that definitions are only pulled up after protocol inputs have been flattened	2008-02-27 17:20:52 +00:00
SimplifyProcs.hs	Fixed the pre-condition of flattenAssign to include the types being resolved	2008-02-27 18:24:33 +00:00
SimplifyTypes.hs	Altered the AST to allow a function to be either an ExpressionList (classical occam) or a Process (Rain/proposed new occam)	2008-02-24 19:29:31 +00:00
Unnest.hs	Changed the replaceNames function so that it doesn't use everywhere	2008-02-23 18:34:02 +00:00