Skip to content

Releases: oralang/ora

Asuka

02 Apr 19:22
@ngmachado ngmachado
v0.1
a9ade6b
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Asuka Latest
Latest

First public release of Ora.

Ora v0.1 ships the first end-to-end compiler, verifier, and interactive debugger release under the Asuka track. This is still a pre-release line, but the core stack is now real: Ora source compiles through MLIR and SIR
to bytecode, SMT verification is integrated into the compiler, and the debugger can step across Ora source, SIR, and machine state with provenance-aware mappings.

Highlights

  • End-to-end Ora compiler pipeline:
    • Ora → MLIR → SIR → bytecode
  • Integrated SMT verification:
    • function contracts
    • loop invariants
    • ghost state
    • fail-closed degradation behavior
  • Interactive debugger:
    • Ora source view
    • SIR view
    • machine/state panes
    • breakpoints, checkpoints, restart, session save/load
    • provenance-aware stepping for optimized and synthetic regions
  • Source maps and debug info emitted with runtime-aware metadata
  • LSP binary included in release artifacts

What’s New

  • Verified example corpus tightened and expanded for release
  • Debugger now explains direct, synthetic, mixed, guard, origin, and removed source lines
  • Better debugger handling for:
    • transient lock visibility
    • optimized-away bindings
    • derived values
    • source/SIR synchronization
  • SMT hardening:
    • deterministic verification ordering
    • fixed solver seed
    • stable report rendering
    • explicit degradation reporting
  • Release artifact smoke checks and compiler release gates added to CI

Release Shape
This is the first serious public Ora release, not a “fully stable” one.

Expected in this release:

  • breaking changes may still happen
  • some examples and advanced verification cases are still being simplified or hardened
  • debugger UX is already strong, but still being polished
Assets 2
Loading

Nightly Build nightly-20260502-a61d0784

02 May 05:16
@github-actions github-actions
nightly-20260502-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260502-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260502-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-05-02 05:16:23 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260501-a61d0784

01 May 05:47
@github-actions github-actions
nightly-20260501-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260501-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260501-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-05-01 05:47:26 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260430-a61d0784

30 Apr 05:35
@github-actions github-actions
nightly-20260430-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260430-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260430-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-30 05:35:27 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260429-a61d0784

29 Apr 05:31
@github-actions github-actions
nightly-20260429-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260429-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260429-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-29 05:31:45 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260428-a61d0784

28 Apr 05:36
@github-actions github-actions
nightly-20260428-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260428-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260428-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-28 05:36:06 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260427-a61d0784

27 Apr 05:30
@github-actions github-actions
nightly-20260427-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260427-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260427-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-27 05:30:05 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260426-a61d0784

26 Apr 05:17
@github-actions github-actions
nightly-20260426-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260426-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260426-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-26 05:17:16 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260425-a61d0784

25 Apr 04:40
@github-actions github-actions
nightly-20260425-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260425-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260425-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-25 04:40:45 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading

Nightly Build nightly-20260424-a61d0784

24 Apr 05:13
@github-actions github-actions
nightly-20260424-a61d0784
a61d078
This commit was signed with the committer’s verified signature.
ngmachado Axe
GPG key ID: 6D2B1C7D74B7F681
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
Nightly Build nightly-20260424-a61d0784 Pre-release
Pre-release

Nightly Build nightly-20260424-a61d0784

🌙 This is a nightly development build - use at your own risk!

📅 Build Information

  • Build Date: 2026-04-24 05:13:52 UTC
  • Commit: a61d0784bab30bce2a987e84169ba77df7586075
  • Branch: main

🔄 Recent Changes

⚠️ Important Notes

  • This is an unstable development build
  • Features may be incomplete or broken
  • Use stable releases for production
  • Report issues on GitHub Issues

📦 Download

Compiler

  • Linux (x86_64): ora-linux-x86_64.tar.gz
  • macOS (ARM64): ora-macos-arm64.tar.gz

LSP Server

  • Included in the platform archive

Next Stable Release: Coming soon with v0.0.1

Loading