Changing hash function; updating readMix API
authorandy@galois.com <unknown>
Fri, 7 Sep 2007 22:41:03 +0000 (22:41 +0000)
committerandy@galois.com <unknown>
Fri, 7 Sep 2007 22:41:03 +0000 (22:41 +0000)
commit8a46f640956256f706ddfad9f031a4f2565bda44
tree3932edbefe4113b87849a2e3eb7b9fe09df59d46
parentd531f44a8da6ae8e61937b8d956d5fa8e8a11b92
Changing hash function; updating readMix API
Trace/Hpc/Mix.hs
Trace/Hpc/Util.hs