Neil Brown 19e0fb0573 Added an AllocChannelBundle constructor in ExpressionList for assignments that allocate the two ends of a mobile channel bundle		2009-03-23 18:58:50 +00:00
..
ArrayUsageCheck.hs	Resolve user types when checking parallel array access.	2009-03-21 15:39:13 +00:00
ArrayUsageCheckTest.hs	Add some testcases for usage-checking on user-defined array types.	2009-03-21 15:37:56 +00:00
Check.hs	Fixed a few things that work around the user data types problem	2009-03-22 21:06:31 +00:00
CheckFramework.hs	Corrected the accum stuff to rebuild after substitute is called	2008-11-24 10:47:00 +00:00
CheckTest.hs	Added some testcases for the correct use of the right pragma (of SHARED and PERMITALIASES)	2009-02-10 01:13:31 +00:00
ExSet.hs	Moved the ExSet type (used for the checks) out to its own module	2008-11-05 21:40:24 +00:00
Omega.hs	Moved all the modules related to usage-checking into a new checks directory	2008-01-28 12:25:00 +00:00
UsageCheckAlgorithms.hs	Added constraint generation after a branch is not taken in an IF	2009-02-09 22:46:08 +00:00
UsageCheckTest.hs	Moved the remainder of the checkInitVar tests over to the new system	2008-11-19 17:25:02 +00:00
UsageCheckUtils.hs	Added an AllocChannelBundle constructor in ExpressionList for assignments that allocate the two ends of a mobile channel bundle	2009-03-23 18:58:50 +00:00