Skip to content

dynamic alloc/free

Lennard Gäher requested to merge ci/dynalloc into master

This MR adds dynamic memory allocation to the core language. We require this for RefinedRust, but RefinedC can just keep on not using it. This is implemented in terms of a fairly canonical Alloc expression and Free statement, using the existing free_block and alloc_new_block definitions.

Merge request reports