Commit 159c3f83 authored by Kunshan Wang's avatar Kunshan Wang

Mention the goto-with-values branch.

parent ab9434e3
......@@ -2,8 +2,10 @@
Mu Specification
================
This is a fork of the `Mu Specification` to support the long-demanded
"goto-with-value" form.
This branch still uses the PHI form. There is a
`goto-with-values <https://github.com/microvm/microvm-spec/tree/goto-with-values>`__
branch which uses the new form, where PHIs and LANDINGPADs are replaced by basic
block parameters.
This document aims to provide a detailed description of Mu, a micro virtual
machine, including its architecture, instruction set and type system.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment