title	author
FM-JIT	Aurèle Barrière Sandrine Blazy David Pichardie

This is the development of FM-JIT, a verified JIT compiler with native code generation.

Virtual Machine with the full artifact

A VM containing FM-JIT ready to execute is available here: Virtual Machine

The documentation of this artifact is available in artifact_readme.pdf.

FM-JIT Readme

See the full README.md in the coqjit directory