tar-club-boun...@lists.gforge.inria.fr> on behalf of
zhiting zhu via fstar-club <fstar-club@lists.gforge.inria.fr>
Sent: Tuesday, May 2, 2017 2:59:51 PM
To: fstar-club@lists.gforge.inria.fr
Subject: [fstar-club] KreMLin question about allocation on the heap
Hi all,
I'm new to F* lang a
Hi all,
I'm new to F* lang and I'm excited to find out that a subset of F* can be
translated to C. After looking through the test example, I couldn't find
any of them has heap allocation in the translated C code and I couldn't
figure out anyway to write in F* which will translate to C with malloc