Open wxrdnx opened 1 month ago
I've implemented a simple JSON backend that dumps the internal Sail AST into a JSON file. The goal is to convert the AST into a cross-language representation that it can be used by languages other than Ocaml.
I've implemented a simple JSON backend that dumps the internal Sail AST into a JSON file. The goal is to convert the AST into a cross-language representation that it can be used by languages other than Ocaml.