Stable as of Rust nightly build 2016-08-11. Supports user code using the following major Rust language features:
-Integer arithmetic, including bitwise (except for usize and isize)
-Boolean arithmetic
-Conditional branching
-Assert! macro
See the documents for more information.