search

AeneasVerif / charon

Interface with the rustc compiler for the purpose of program verification
Apache License 2.0
62 stars 15 forks source link

Automatically generate json parsing #215

Open Nadrieril opened 1 month ago

Nadrieril commented 1 month ago

It's tedious to write them by hand. I found https://github.com/serde-ml/serde but it requires ocaml >= 5.1.1. We could write our own generator from rust possibly.

sonmarcho commented 1 month ago

Does it print nice error messages when it fails?

Nadrieril commented 1 month ago

I don't know I couldn't try because of ocaml version mismatches