the standard library does not allocate any heap memory, but heap modelling will be added to the prover eventually. note that there are convenience tools to dea

the standard library does not allocate any heap memory, but heap modelling will be added to the prover eventually. note that there are convenience tools to deal with heap-free targets (microcontrollers) such as tail variants (statically enforced flexible arrays): https://github.com/aep/zz#metaprogramming-or-templates-tail-variants https://github.com/aep/zz#metaprogramming-or-templates-tail-...