Compiler reference (next)
This reference was imported from compiler commit 418af134f16091affce76ca08fc49eb4b874072f.
- Bounded H1 command examples
- Denied and granted clock status example
- Finite local status service
- Aggregate layout v1
- Compiler architecture
- Browser scalar component profile v1
- CLI reference
- Scalar control flow and modules v1
- Data and ownership v1
- v0.1.0 Developer Preview policy
- Compiler documentation bundles
- Frontend providers
- Run your first Zryna programs
- Language overview
- Language server protocol v1
- M2 three-target conformance
- M2 control-flow semantics
- M2 deterministic JavaScript backend
- M2 manifest and atomic bundles
- M2 deterministic module closure
- M2 Linux x86-64 native backend
- M2 verified native MIR
- M2 straight-line semantics
- M2 direct core WebAssembly backend
- M3 bounded borrowing semantics
- M3 driver and manifest v3
- M3 fixed-oracle conformance
- M3 Copy aggregate semantics
- M3 verified data and ownership IR
- M3 canonical structural clone
- M3 private generic function operations
- M3 complete generic static subobjects
- M3 ordinary generic Vec operations
- Your first M3 programs
- M3 indexed borrow authority
- M3 opaque typed handle slots
- M3 owned data semantics
- M3 ownership composition evidence
- M3 ownership composition interfaces
- M3 ownership runtime ABI authority
- Public DataOwnershipV1 profile
- M3 Shared and Weak authority contract
- M3 Shared and Weak evidence matrix
- Public M4 conformance and publication
- Fixed public M4 support contract
- Memory model direction
- Ownership runtime ABI v1
- Scalar ABI v1
- Syntax protocol v4
- Bounded WASI command walkthrough
- WASI command execution manifest v1
- Bounded server clock and status profile
- Bounded source-checkout server status profile
- Compiler status
- M0 architecture conformance
- M1 three-target conformance
- Roadmap