tock-mirror/transformations
Neil Brown 2a15f4ef5f Filled in all the gaps such that the CheckTest tests now run (including some debug output, for now)
One of the tests fails at the moment because the specification node has two entries associated with it in the flowgraph.  One is the scope-in and one is the scope-out.  I think the analysis is currently picking the scope-out node and looking beyond that, where -- surprise, surprise -- the variable is not used again.  So I need some easy way of telling the flow analyses which of the two nodes I want to start from, in this case and other ones where I also add two nodes related to the same point in the AST.
2008-11-12 16:54:00 +00:00
..
ImplicitMobility.hs Filled in all the gaps such that the CheckTest tests now run (including some debug output, for now) 2008-11-12 16:54:00 +00:00
PassTest.hs Converted the other pullRepCounts test over to the new system 2008-11-16 19:40:27 +00:00
SimplifyAbbrevs.hs Update abbrevation types in the state too. 2008-06-10 13:57:01 +00:00
SimplifyAbbrevsTest.hs Implement INITIAL and RESULT abbreviations. 2008-06-03 14:57:24 +00:00
SimplifyComms.hs Fixed a problem with GHC 6.6 and the new pass mechanism by removing all the dollars that were confusing the type-checker 2008-06-03 16:16:26 +00:00
SimplifyExprs.hs Realised that pullRepCounts should pull the counts for PAR and ALT after all, and adjusted one test to reflect this 2008-11-16 18:43:34 +00:00
SimplifyProcs.hs Removed the Rep constructor from Structured and instead added a Rep constructor to SpecType 2008-06-04 17:00:43 +00:00
SimplifyTypes.hs Add a unit tests file for SimplifyTypes. 2008-06-11 15:56:24 +00:00
SimplifyTypesTest.hs Add a unit tests file for SimplifyTypes. 2008-06-11 15:56:24 +00:00
Unnest.hs Added a module for easily knocking up fragments of occam code to test, but need to remove some of the extravagance in the design (including an unnecessary monad) 2008-11-15 19:29:56 +00:00