tock-mirror/transformations
2008-02-27 17:20:52 +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 Changed functionsToProcs to work on the new style of function, and made sure parallel assignment isn't removed first 2008-02-25 22:05:53 +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