search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

Update to new version of Fixpoint #137

Closed ranjitjhala closed 8 years ago

ranjitjhala commented 8 years ago

https://github.com/ucsd-progsys/liquid-fixpoint/pull/170