ucsd-progsys/liquidhaskell — pull request #88 by nikivazou (2013-07-02 05:12:07+00:00)
Title: Modifications in Termination

* Accumulate warnings instead of terminating with an error, when termination cannot be proved
* Restore decreasing measure for integers