Skip to content

Myna 0.9.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 06 Nov 22:30
· 38 commits to main since this release
v0.9.1
This tag was signed with the committer’s verified signature.
sgammon Sam Gammon
Certificate subject
CN James Clark
O Elide Technologies, INC.
Certificate issuer
CN DigiCert Assured G2 SMIME RSA4096 SHA384 2024 CA1
O DigiCert, Inc.
Verified
Learn about vigilant mode.
81e9fad
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Myna 0.9.1

Myna now applies contracts to ELF FatLTO objects and their members inside regular .a/.rlib archives. Version 0.9.0 rejected their embedded .llvm.lto sections, preventing use with FatLTO sysroot libraries.

The applicator rewrites embedded IR, rebuilds summaries and hashes, and preserves ThinLTO/full-LTO mode. Native fallback sections, symbols and relocations remain unchanged. Mixed archives retain their member names and order and receive a rebuilt symbol index. Invalid payloads, incompatible contracts and duplicate LTO sections fail before replacing output.

The pinned toolchain is now elide-dev/toolchain 2026.11.2. On Linux, its -flto links select FatLTO archive bitcode by default. Non-LTO links retain the native fallback; Myna contracts affect the LTO representation only.

Regenerate matching seam outputs together: the 0.9.1 generator version changes canonical descriptor fingerprints. Binding ABI 2 and native value ABI v3 are unchanged.

Regression coverage includes real ThinLTO and full-LTO ELF containers, mixed archives, idempotence, unchanged native fallback bytes, malformed-input recovery, and Linux link/run tests against generated fixtures and the shipped sysroot archive. See the LTO integration guide.

Assets 15
Loading