Skip to content

OMMX Python SDK 3.0.0 Beta 1

Pre-release
Pre-release

Choose a tag to compare

@termoshtt termoshtt released this 13 Jul 08:15
07e6488

See also the release notes with usage guide on Read the Docs.

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...python-3.0.0b1