[fstar-club] KreMLin question about allocation on the heap

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

Re: [fstar-club] kremlin question: define struct

ranslation is lacking. Can you file a bug at https://github.com/ > FStarLang/kremlin/issues? I'd be more than happy to take a look at it. > > > Thanks, > > > ~ jonathan > -- > *From:* fstar-club <fstar-club-boun...@lists.gforge.inria.fr>