Published October 5, 2022 | Version v1
Software Open

Artefact for Formally Verified Native Code Generation in an Effectful JIT

Creators

  • 1. Univ Rennes, IRISA
  • 2. Meta

Description

Virtual Machine Artifact containing the FM-JIT development
Artifact documentation available here: https://github.com/Aurele-Barriere/FM-JIT/blob/master/artifact_readme.pdf

Files

Files (4.3 GB)

Name Size Download all
md5:64bada1040945ae3de9d734ef317b057
4.3 GB Download