GitHub repository: GaloisInc/heapster-saw
Primary language: Haskell
Created: 2020-05-29T18:03:58Z
Description: Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core