Function Pointer Eliminator
[Requirements]
- gcc
- cmake
- zlib
- git
- xcode (macOS)
- tcsh or bash
- z3
[Opam requirement]
- Ocaml 4.05.0
- ocamlfind
- ppx_deriving_yojson
[Installation]
- git clone https://github.com/d-kmr/fpe.git
- cd fpe
- ./fpebuild make
[Use]
- ./fpe <C-Project-Directory>
Daisuke Kimura and Mahmudul Faisal Al Ameen, 2021 ©