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 or calloc. Is the feature supported? Is there a simple example I could look at for reference?
I also notice that there are test cases failing... Best, Zhiting
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
