Sujit Muduli comments

Repositories
Issues
Comments

Results 3 comments of


                                            Sujit Muduli

String length lemma violation in the generate ocaml code !

> "...The usual OCaml strcat(which we use for ^) does not care about UTF-8 at all and just concats..." I have also tried using the FStar_String.concat, the behavior is still...

implement ifelsetree via TypeVisitor

@swissiety Hi Markus, I tried to implement this, if not already resolved please review it. Please share your inputs if the pull request requires some changes. Thanks.

Type visitor implimentation for computing the bitsize (issue #970)

Thanks for your inputs @swissiety, I will refactor and make it simple.