Memory (no GC)

Not implemented yet

Memory-model documentation is not written yet. Analysis is intraprocedural and conservative — see Limitations.

Coming soon. See Limitations and pocs/size_coldstart/ in the repository.