ucsd-progsys/liquidhaskell — pull request #28 by ranjitjhala (2013-02-09 16:11:09+00:00)
Title: Splitfix -- pulling fixpoint/haskell wrapper out of the repo into its own repo/package

Major change, now there is a dependency on liquid-fixpoint which has all fixpoint related
entities, including:

1. the actual OCAML solver and Z3
2. the haskell types for Expr, Pred, Reft, Constraints
3. the haskell serializers and parsers