Neil Brown c9f9eb8587 Added a couple of filter calls to the usage checking to speed it up ... It now removes empty sets of (relevant) background knowledge to avoid needlessly creating lots of problems (thousands!) when it only needs one, and also stopped it checking array usage when there's at most one written-to/read-from index. Fixes #90		2009-04-04 08:52:41 +00:00
..
ArrayUsageCheck.hs	Added a couple of filter calls to the usage checking to speed it up	2009-04-04 08:52:41 +00:00
ArrayUsageCheckTest.hs	A mega-patch that gets tocktest compiling again	2009-03-31 17:56:56 +00:00
Check.hs	Added some debug messages during usage checking, and stopped checking PROCs with one argument for alias issues	2009-03-27 12:02:52 +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	A mega-patch that gets tocktest compiling again	2009-03-31 17:56:56 +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	Removed various bits of old code relating to the old sizes mechanism	2009-03-31 10:50:04 +00:00