/heapster-saw

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

heapster-saw

Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core