some work done on log2csv
some work done on log2csv

ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ssaavedra/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell