ucsd-progsys/liquid-fixpoint — pull request #31 by ranjitjhala (2014-04-11 04:31:28+00:00)
Title: Splitrhs

ensure only KVar or Conc constraints see #194 on ucsd-progsys/liquidhaskell