Description

This is a virtual machine that contains a snapshot of the RustBelt Relaxed Coq development. In our repository, the snapshot has the tag "RBrlx-POPL20-artifact". More updated information can be found at http://plv.mpi-sws.org/rustbelt/rbrlx/.

Instructions

General Installation

General Installation:

- To use the virtual machine, VirtualBox in needed. Further instructions are provided in the README.md file. - To build the project from scratch, please follow instructions from the project website http://plv.mpi-sws.org/rustbelt/rbrlx/.

Provenance

The source code is developed by the authors in the RustBelt project (http://plv.mpi-sws.org/rustbelt/).