Module minirust 

Translate a monomorphized ULLBC crate into MiniRust program.

Unsupported features (we translate this incorrectly):

• Pointers to statics that aren’t at offset 0;

Unsupported features (will raise an error):

• dyn Trait;
• Unsized ADTs;
• Packed and overaligned layouts;
• ub_checks/contract_checks/overflow_checks booleans values;
• Unions, because of precise union padding;

Modules

mini 🔒

types 🔒

Macros

check 🔒

raise 🔒

Structs

TranslateCtx 🔒

Enums

RunError

Functions

align_bytes 🔒

mini_align 🔒

mini_int 🔒

mini_size 🔒

name 🔒

run

serialize

size_bytes 🔒

Type Aliases

Result 🔒