Skip to content

OMMX Rust SDK 3.0.0 Beta 1

Pre-release
Pre-release

Choose a tag to compare

@termoshtt termoshtt released this 13 Jul 08:13
· 48 commits to main since this release
07e6488

See also the release notes with usage guide on docs.rs.

What's Changed

Python SDK update

Rust SDK update

Lean formalization update

  • Formalize independent proof-carrying reduction semantics in Lean by @termoshtt in #1060

Documentation update

Others

  • Organize Python 3.0.0a8 release notes by @termoshtt in #991
  • Make Rust review skills artifact-driven with evidence requirements by @termoshtt in #995
  • Reorganize Rust SDK release notes by release line by @termoshtt in #993
  • Scope release debuginfo to CodSpeed Python benchmarks by @termoshtt in #999
  • Add Instance partial evaluation removed-constraint benchmark by @termoshtt in #1028
  • Reorganize benchmark guardrails and diagnostics by @termoshtt in #1049
  • Preserve Rust prerelease channel after releases by @termoshtt in #1072

Full Changelog: rust-3.0.0-alpha.2...rust-3.0.0-beta.1

What's Changed

Python SDK update

Rust SDK update

Lean formalization update

  • Formalize independent proof-carrying reduction semantics in Lean by @termoshtt in #1060

Documentation update

Others

  • Make Rust review skills artifact-driven with evidence requirements by @termoshtt in #995
  • Reorganize Rust SDK release notes by release line by @termoshtt in #993
  • Scope release debuginfo to CodSpeed Python benchmarks by @termoshtt in #999
  • Add Instance partial evaluation removed-constraint benchmark by @termoshtt in #1028
  • Reorganize benchmark guardrails and diagnostics by @termoshtt in #1049
  • Preserve Rust prerelease channel after releases by @termoshtt in #1072

Full Changelog: python-3.0.0a8...rust-3.0.0-beta.1