Open alexpatel opened 7 years ago
branch is https://github.com/Harvard-PRINCESS/Guppy/tree/dev_alewife_v1
Coq C AST isn't a real thing, instead I stole the C AST from FrontC.
Still need to: get Hake to compile OCaml, hook-up FrontC and make some examples of AST -> C to check it works.
Note #82.