Simplify the translation of non-mutually recursive functions

GaloisInc / heapster-saw

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

Open eddywestbrook opened 4 years ago

eddywestbrook commented 4 years ago

Specifically, we don't need the XXX__tuple_fun for functions that are not mutually recursive with other functions