nikswamy

FYI, as part of the generalization of the syntax to support nested structs and unions, I fixed the syntax to insist on every field declaration in a struct concluding with...

The general philosophy of EverParse is to minimize the number of copies done by the parser. So, usually, one runs a validator and then uses EverParse's accessors to read relevant...

Not necessarily pushing 3d over qd. They have different roles. If you are trying to parse binary formatted data from an existing C application, then 3d is a good fit....

thanks! Will review

Hi @fangyi-zhou, Thanks for this contribution! @aseemr and I were discussing it this morning. This looks like a great basis for comprehensive encoding of FStar.String to Z3's string theory. Would...

Wow! This is really cool. It would be great to have something like this. Can we discuss it more broadly in one of our upcoming F* dev meetings?

Hi Lucas, Thanks for this ... it looks good. But, I'm wondering what your use case is for this. E.g., why would you not write ``` let test : term...

That's cool! And in the general spirit of exposing compiler components to meta programs, exposing this interface to the parser seems like a good idea. We should merge this. @aseemr...

Thanks!

Thanks Lucas! This improves the record syntax significantly ... the need for the additional parenthesis has been a long-standing wart. That said, for the record, the wart isn't completely gone,...