summaryrefslogtreecommitdiff
path: root/utils/hpc/HpcMap.hs
Commit message (Collapse)AuthorAgeFilesLines
* Remove redundant HpcMap and HpcSet wrappers around Data.{Map,Set}Ian Lynagh2010-12-161-32/+0
|
* Make some utils -Wall cleanIan Lynagh2008-08-211-0/+1
|
* Fixing Hpc's Finite Map compat lib for ghc 6.2.1andy@galois.com2007-09-081-0/+2
|
* updating hpc toolkitandy@galois.com2007-09-081-1/+3
| | | | | | The hpc overlay has been ported from hpc-0.4 The new API for readMix is now used.
* Fixing hpc tools for 6.2 and 6.4andy@galois.com2007-06-291-0/+27