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
Neil Brown
b4ccc9f8de
Changed the representation of the exact (constant) solutions to equations to be a simple Map
2007-12-16 00:55:38 +00:00
Neil Brown
a1d3501313
Changed the QuickCheck tests to test that we can get the exact answer from a full equality set, and rather ham-fistedly fixed a bug where substitutions were being applied multiple times to the variable mapping
2007-12-16 00:33:27 +00:00
Neil Brown
3e4e5355ff
Changed the VariableMapping mess into a more correct mess
2007-12-15 02:58:08 +00:00
Neil Brown
c0d06ce173
Added a first attempt at recording the variable mappings during equation manipulation, and changed all the current tests to ignore it
2007-12-15 00:34:50 +00:00
Neil Brown
2df97f813f
Removed some unused old code from the ArrayUsageCheck module
2007-12-14 23:22:25 +00:00
Neil Brown
74490c005e
Added some (fairly messy) code for taking a list of A.Expression and generating a list of equations
2007-12-14 23:15:39 +00:00
Neil Brown
d674a2fdd0
Added inequality elimination to the Omega Test, but need to also add the code for checking for integer solutions
2007-12-14 16:48:13 +00:00
Neil Brown
9d562c0b12
Corrected checkConstantEq to actually remove the constant equations, rather than only checking them for consistency
2007-12-14 16:45:34 +00:00
Neil Brown
d9b606143e
Fixed a Haddock comment
2007-12-14 15:27:51 +00:00
Neil Brown
3814a039d5
Refactored the use of mygcd with foldl into one function
2007-12-14 15:17:19 +00:00
Neil Brown
97c670b2ff
Fixed and documented the checkOpposite function so that it works properly and the tests pass
2007-12-14 04:13:01 +00:00
Neil Brown
57311d8d1e
Added consistency checking for constant-only inequalities and also added a few more useful functions
2007-12-14 01:11:29 +00:00
Neil Brown
c7fe0f1515
Added equation pruning and tested most of it using QuickCheck
2007-12-14 00:02:15 +00:00
Neil Brown
e56d02b727
Made the mygcd function visible so that I can use it in building tests
2007-12-13 15:32:04 +00:00
Neil Brown
9082e5c887
Added lots of comments to the solveConstraints function and made a few trivial tweaks
2007-12-12 18:04:46 +00:00
Neil Brown
8d2751439b
Added another call to normaliseEq inside solveNext
2007-12-12 18:03:18 +00:00
Neil Brown
4e58d48d1c
Renamed normalise to normaliseEq and stopped it being applied to inequalities (as it will fail needlessly on those!)
2007-12-12 18:02:19 +00:00
Neil Brown
4eae0ede18
Removed the changeAllButOneDifferent function and replaced it with simpler code
2007-12-12 17:48:30 +00:00
Neil Brown
88f7d1ec92
Refactored the equation normalisation and added a custom GCD function
2007-12-12 17:40:37 +00:00
Neil Brown
94dca6fc10
Fixed a bug in the solveUnits function where everything was always being negated, when it should be dependent on whether the unit coefficient was 1 or -1
2007-12-12 17:24:50 +00:00
Neil Brown
a5e277505f
Rewrote the substIn function in solveConstraints to be clearer and simpler
2007-12-12 15:07:01 +00:00
Neil Brown
1aa914e077
Tidied up the checkForUnit function in solveConstraints
2007-12-12 14:25:24 +00:00
Neil Brown
52054dff9f
Simplified the type of solve in solveConstraints (it doesn't actually need to return a value) and added a comment
2007-12-12 14:20:17 +00:00
Neil Brown
cba5ff45f1
Fixed a small bug in the equation normalisation
2007-12-12 14:16:29 +00:00
Neil Brown
2354c6a933
Simplified some monadic code in solveConstraints
2007-12-12 14:08:09 +00:00
