Skip to content
This repository has been archived by the owner on Aug 2, 2019. It is now read-only.

microvm/microvm-spec

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Mu Specification

This document aims to provide a detailed description of Mu, a micro virtual machine, including its architecture, instruction set and type system.

NOTE: This branch uses the goto-with-values form. The previous branch using SSA form with PHI nodes is in the phi branch.

Main specification:

Platform-specific parts: These extends the main specification. The main specification considers these parts as implementation-specific.