ucsd-progsys/liquid-fixpoint — pull request #16 by ranjitjhala (2013-07-22 15:46:10+00:00)
Title: Qualshrink

This is a co-request of: ucsd-progsys/liquid-fixpoint#95