Implementation of the Heapster type system of separation types inside SAW, including a translation to SAW core
BSD 3-Clause "New" or "Revised" License
8
stars
3
forks
source link
Handle structs and permissions on structs #69
Closed
eddywestbrook closed 3 years ago