Neil Brown
d37253d2af
Improved the error message given by ArrayUsageCheck
2008-01-26 22:57:01 +00:00
Neil Brown
127cdea242
Overhauled the ArrayUsageCheck system to label the resulting problems with the expressions of the two array indexes involved in each problem, and changed the tests accordingly
2008-01-26 22:16:42 +00:00
Neil Brown
bdda623d7e
Added types to all the cases where the monomorhpism restriction applied
2008-01-26 20:51:11 +00:00
Neil Brown
8a39eb597c
Removed an old comment in ArrayUsageCheck
2008-01-25 17:54:35 +00:00
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
Neil Brown
64a9292b75
Moved customVarCompare from ArrayUsageCheck to UsageCheck and used it to derive Ord for the Var type
2008-01-25 16:34:18 +00:00
Neil Brown
178af1ca24
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
Neil Brown
dc0d9b16d4
Altered the array usage checker to deal with replication properly, and pass the makeEquations test
2008-01-22 22:16:16 +00:00
Neil Brown
fca070e1bc
Changed the way replicated variables are handled and altered one of the tests accordingly
2008-01-20 17:02:05 +00:00
Neil Brown
01783071a8
Added a large chunk of documentation about replicated variables and cleaned up the squareAndPair function to remove an unused portion of the arguments
2008-01-20 15:31:23 +00:00
Neil Brown
bc820e87ce
Fixed the bounds for replicated variables; two of the three tests now pass
2008-01-20 15:01:45 +00:00
Neil Brown
c0105b1491
Put a scheme in place for adding replicated variable bounds, but it is incorrect
2008-01-20 14:34:56 +00:00
Neil Brown
0e35f5cd38
Changed ArrayUsageCheck to only insert the one inequality between the two versions of a replicated variable, but now missing the replication-bounds on both
2008-01-19 15:40:57 +00:00
Neil Brown
ed8033833b
Added the code and tests for forming problems involving replication, but currently one of the two (or both) is buggy
2008-01-16 19:31:56 +00:00
Neil Brown
663cbaeaa1
Added support to the squareAndPair function for adding in extra inequalities
2008-01-16 19:23:58 +00:00
Neil Brown
ee102c10a3
Moved makeSize to the top-level of ArrayUsageCheck
2008-01-16 18:41:02 +00:00
Neil Brown
312719088a
Added a helper function to ArrayUsageCheck
2008-01-16 18:40:21 +00:00
Neil Brown
2edeb1bb7b
Added a new helper function in ArrayUsageCheck
2008-01-16 15:34:42 +00:00
Neil Brown
ec804649e8
Moved lots of functions to the top-level in ArrayUsageCheck
2008-01-16 15:34:03 +00:00
Neil Brown
6e28d3e3db
Moved the flatten function to the top level of the ArrayUsageCheck module
2008-01-16 15:09:26 +00:00
Neil Brown
5f2158531b
Added an export list to the ArrayUsageCheck module
2008-01-16 12:57:05 +00:00
Neil Brown
143c3b1994
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
Neil Brown
6d45352819
Added support for distinct versions of the same variable, ready to support replication
2008-01-16 12:43:39 +00:00
Neil Brown
bc2ffc59be
Corrected the bounds checking so that (size - 1) is used as the maximum index (not size, as before)
2008-01-16 11:52:32 +00:00
Neil Brown
0df68e53e5
Moved addConstant to the top level of ArrayUsageCheck
2008-01-16 11:52:11 +00:00
Neil Brown
0e57c7af55
Removed a piece of dead code from ArrayUsageCheck
2008-01-16 11:51:54 +00:00
Neil Brown
4b0d29d987
Added support for actually bounds-checking the array based on its declared size
2008-01-16 11:47:54 +00:00
Neil Brown
183e68ee59
Corrected the display of variables relating to REM
2008-01-16 11:34:56 +00:00
Neil Brown
90fb5e2182
Fixed a bug where multiple problems would be deemed safe as long as one didn't have a solution (as opposed to all not having solutions)
2008-01-16 10:52:51 +00:00
Neil Brown
b5606eb7a9
Tidied up the error messages given when the array usage checker finds a problem
2008-01-16 03:37:53 +00:00
Neil Brown
1c0434cc47
Corrected a small omission in the cases for testing array indices (if there are no problems to work with)
2008-01-16 03:29:13 +00:00
Neil Brown
64a9fcf2dd
Added the functionality for variable divisors with REM
2008-01-16 01:49:02 +00:00
Neil Brown
3e674e3773
Fixed the pairing of indices so that two parts of a modulo triplicate-possibility are never paired with each other, and removed the filtering of all-zero equations (primarily to aid in the testing)
2008-01-15 18:48:00 +00:00
Neil Brown
05e2678cf6
Corrected a bug in the comparison function for FlattenedExp
2008-01-15 17:44:35 +00:00
Neil Brown
f6ba7be173
Changed various uses of the maximum function to make sure they always succeed
2008-01-15 17:33:19 +00:00
Neil Brown
918b9e7af7
Changed the array usage checking and all the tests to support modulo and division
...
This patch is unavoidably large (no easy way to split it down). The code compiles, but the modulo test (which is currently wrong anyway) fails at the moment
2008-01-15 17:08:15 +00:00
Neil Brown
421cff1017
Removed the useless (and wrong) scaling aspect of makeEquations
2008-01-12 11:59:55 +00:00
Neil Brown
97fc225bf3
Added some more comments to the Omega Test code
2008-01-09 17:24:56 +00:00
Neil Brown
26bd792e61
Fixed a bug where the non-pruned version of the inequalities were being used in fmElimination; the Omega Test now functions properly
2008-01-09 17:14:15 +00:00
Neil Brown
d5a9829b0f
Fixed the brute-force problems function so that it properly uses all inequalities not just the left-overs
2008-01-09 14:56:26 +00:00
Neil Brown
4ee25b62ca
Added some more comments to the fmElimination function
2008-01-09 12:46:50 +00:00
Neil Brown
8ec4832a03
Removed the unused half of VariableMapping
2008-01-09 12:27:02 +00:00
Neil Brown
57f18e5b18
Finished implementing the Omega Test - but a few tests are failing and I cannot yet see why
2008-01-09 12:05:09 +00:00
Neil Brown
d23baf719b
Added support for multiplication to the usage checking
2007-12-17 11:56:51 +00:00
Neil Brown
337d339641
Added comments to the makeEquations function
2007-12-17 11:43:18 +00:00
Neil Brown
8f1d1368af
Stopped makeEquations unnecessarily producing duplicate equations
2007-12-17 02:22:09 +00:00
Neil Brown
5a721fb428
Fixed the processing of expressions to equations to properly square the equations
2007-12-17 02:13:40 +00:00
Neil Brown
a0203ff971
Corrected a haddock comment
2007-12-16 13:38:23 +00:00
Neil Brown
cc7d32ffeb
Corrected a mistake in a comment
2007-12-16 12:51:41 +00:00
Neil Brown
3a65651885
Added a really hacky initial implementation of a pass that checks that parallel array usage is safe
2007-12-16 02:07:02 +00:00
