Hax Engine

The engine of hax is written in OCaml, and has the following structure:

• the Hax_engine library (located in `/engine/lib`)
• the Native_driver binary (located in `/engine/bin`)

• the backends (located in `/engine/backends`):

  • Fstar_backend
  • Coq_ast
  • Easycrypt_ast

• utilities and PPXs:

  • Hacspeclib_macro_parser
  • Ppx_functor_application
  • Ppx_generate_features
  • Ppx_inline