tock-mirror/transformations
2008-02-27 20:05:47 +00:00
..
PassTest.hs Added a pass for pulling up the replicator counts in SEQs so that the count is constant for the whole loop 2008-02-27 19:33:44 +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 Corrected the pulling up of SEQ replicator counts to descend properly into nested functions 2008-02-27 19:58:09 +00:00
SimplifyProcs.hs Fixed a few dependencies in the pass lists relating to functions 2008-02-27 20:05:47 +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 Fixed a few dependencies in the pass lists relating to functions 2008-02-27 20:05:47 +00:00