grain / heapster-saw Goto Github PK
View Code? Open in Web Editor NEWThis project forked from galoisinc/heapster-saw
Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
License: BSD 3-Clause "New" or "Revised" License