Description

We provide a virtual machine image that contains our compiler and our case studies. The image comes with instructions for building the compiler, building the case studies, and running the evaluation.

Assets

Instructions

General Installation

Other Instructions:

Instructions can be found in the README.txt file in the artifact.

Provenance

The VM contains two git repositories, cloned from https://github.com/PLSysSec/FaCT and https://github.com/PLSysSec/fact-eval