Neil Brown 90bc9b7033 Implemented checkPar using a graph search, and removed the need for giving it a start node		2008-01-25 17:36:16 +00:00
..
ArrayUsageCheck.hs	Implemented checkPar using a graph search, and removed the need for giving it a start node	2008-01-25 17:36:16 +00:00
ArrayUsageCheckTest.hs	Changed the array usage checking to distinguish between read-from and written-to indexes, while also beginning to overhaul the system to make a more general usage-checking framework that operates on the control flow graph	2008-01-25 16:17:17 +00:00
Omega.hs	Split out the ArrayUsageCheck module into ArrayUsageCheck (for formulating problems from code) and Omega (just the Omega Test)	2008-01-16 12:53:17 +00:00
PassTest.hs	Renamed the TestUtil and TreeUtil modules to TestUtils and TreeUtils, to be consistent with the Utils module	2007-12-13 19:05:29 +00:00
RainUsageCheck.hs	Added various general helper functions to the Utils module	2007-11-09 01:18:42 +00:00
RainUsageCheckTest.hs	Moved the ArrayUsageCheck tests to their own new file (ArrayUsageCheckTest)	2007-12-16 14:02:45 +00:00
SimplifyComms.hs	Changed a few functions to use the new helper function foldFuncs	2007-11-09 01:21:30 +00:00
SimplifyExprs.hs	Added an optional initialiser-expression to Declaration in the AST, and changed the rest of the code accordingly	2007-10-24 23:50:00 +00:00
SimplifyProcs.hs	Changed the passes to be of type Pass, rather than A.Process -> PassM A.Process	2007-10-17 13:09:16 +00:00
SimplifyTypes.hs	Changed the passes to be of type Pass, rather than A.Process -> PassM A.Process	2007-10-17 13:09:16 +00:00
Unnest.hs	Changed the shared passes to operate on Structured items, rather than Process items	2007-10-17 13:24:42 +00:00
UsageCheck.hs	Implemented checkPar using a graph search, and removed the need for giving it a start node	2008-01-25 17:36:16 +00:00