Avatar for the Jij-Inc user
Jij-Inc
ommx
BlogDocsChangelog

Performance History

Latest Results

Formalize Big-M transformation preservation (#1079) ## Summary - define exact forward Big-M semantics for Indicator inequalities and equalities, including bound-justified upper and lower side omission - model the SOS1 conversion plan with reused binary members, fresh selectors, optional zero-bound links, and checked selector isolation - prove same-space Indicator preservation and projection/lift SOS1 preservation, including objective and optimization-sense preservation - add accepted and adversarial fixtures and update the documented proof scope ## Scope This extends the independent Lean semantics for the algorithms implemented by the SDK. Refinement from Rust mutations, floating-point bound evaluation, and committed proof histories remains outside this change.
main
12 hours ago
Add incremental Instance modeling API (#1077) ## Summary - add `Instance.minimize()` and `Instance.maximize()` constructors for incremental modeling - add `Instance.new_binary()` with automatic variable IDs and complete `ModelingLabel` support - return `ValueError` instead of a Rust panic when no larger automatic variable ID can be assigned - extend `Instance.add_constraint()` with automatic constraint IDs and complete `ModelingLabel` overrides - preserve existing component-based construction and existing constraint labels when overrides are omitted - mark the ambiguous `Instance.empty()` alias as deprecated for static type checkers in favor of `Instance.minimize()` - update the Python stubs, API reference, tests, English/Japanese user guides, and release notes ## Motivation Python users currently need to assign numeric IDs before creating decision variables and then assemble an `Instance` with `Instance.from_components()`. This adds an instance-owned modeling workflow for building small models incrementally while retaining the explicit-ID API for existing callers and interchange-oriented code. ## API ```python from ommx import Instance instance = Instance.maximize() x = instance.new_binary("x") y = instance.new_binary("y", description="second variable") instance.objective = x + y instance.add_constraint(x - y == 1, "c1") ``` `new_binary()` and `add_constraint()` accept `name`, `subscripts`, `parameters`, and `description`. Attached handles returned by these methods can be used directly in expressions and expose their automatically assigned numeric IDs.
main
17 hours ago
chore(deps): Bump uuid from 1.23.4 to 1.23.5 in the dependencies group (#1076) Bumps the dependencies group with 1 update: [uuid](https://github.com/uuid-rs/uuid). Updates `uuid` from 1.23.4 to 1.23.5 <details> <summary>Release notes</summary> <p><em>Sourced from <a href="https://github.com/uuid-rs/uuid/releases">uuid's releases</a>.</em></p> <blockquote> <h2>v1.23.5</h2> <h2>What's Changed</h2> <ul> <li>doc: Fix broken link by <a href="https://github.com/frostyplanet"><code>@​frostyplanet</code></a> in <a href="https://redirect.github.com/uuid-rs/uuid/pull/891">uuid-rs/uuid#891</a></li> <li>perf: Optimize UUID hex parsing and formatting by <a href="https://github.com/geeknoid"><code>@​geeknoid</code></a> in <a href="https://redirect.github.com/uuid-rs/uuid/pull/894">uuid-rs/uuid#894</a></li> <li>Prepare for 1.23.5 release by <a href="https://github.com/KodrAus"><code>@​KodrAus</code></a> in <a href="https://redirect.github.com/uuid-rs/uuid/pull/895">uuid-rs/uuid#895</a></li> </ul> <h2>New Contributors</h2> <ul> <li><a href="https://github.com/geeknoid"><code>@​geeknoid</code></a> made their first contribution in <a href="https://redirect.github.com/uuid-rs/uuid/pull/894">uuid-rs/uuid#894</a></li> </ul> <p><strong>Full Changelog</strong>: <a href="https://github.com/uuid-rs/uuid/compare/v1.23.4...v1.23.5">https://github.com/uuid-rs/uuid/compare/v1.23.4...v1.23.5</a></p> </blockquote> </details> <details> <summary>Commits</summary> <ul> <li><a href="https://github.com/uuid-rs/uuid/commit/5dc6b3d1a995e6244a386740588c8d094ca30690"><code>5dc6b3d</code></a> Merge pull request <a href="https://redirect.github.com/uuid-rs/uuid/issues/895">#895</a> from uuid-rs/cargo/v1.23.5</li> <li><a href="https://github.com/uuid-rs/uuid/commit/5a7dfe50e2a2cf41a9d4330e00971e891bcb990f"><code>5a7dfe5</code></a> prepare for 1.23.5 release</li> <li><a href="https://github.com/uuid-rs/uuid/commit/9b4bfc8fe359e24638eccf6c6be424c25ad6ba8c"><code>9b4bfc8</code></a> Merge pull request <a href="https://redirect.github.com/uuid-rs/uuid/issues/894">#894</a> from geeknoid/main</li> <li><a href="https://github.com/uuid-rs/uuid/commit/5acc5a550ef1ccec951f1d2618b33e1171a88b9e"><code>5acc5a5</code></a> perf: Optimize UUID hex parsing and formatting</li> <li><a href="https://github.com/uuid-rs/uuid/commit/1e5d8679542d2bb15412a86839006dc01f680a51"><code>1e5d867</code></a> Merge pull request <a href="https://redirect.github.com/uuid-rs/uuid/issues/891">#891</a> from frostyplanet/doc</li> <li><a href="https://github.com/uuid-rs/uuid/commit/49310f04afd83b7d7667c1e6d7f26f93f46cedda"><code>49310f0</code></a> doc: Fix broken link</li> <li>See full diff in <a href="https://github.com/uuid-rs/uuid/compare/v1.23.4...v1.23.5">compare view</a></li> </ul> </details> <br /> [![Dependabot compatibility score](https://dependabot-badges.githubapp.com/badges/compatibility_score?dependency-name=uuid&package-manager=cargo&previous-version=1.23.4&new-version=1.23.5)](https://docs.github.com/en/github/managing-security-vulnerabilities/about-dependabot-security-updates#about-compatibility-scores) Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting `@dependabot rebase`. [//]: # (dependabot-automerge-start) [//]: # (dependabot-automerge-end) --- <details> <summary>Dependabot commands and options</summary> <br /> You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot show <dependency name> ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore <dependency name> major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore <dependency name> minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore <dependency name>` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore <dependency name>` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore <dependency name> <ignore condition>` will remove the ignore condition of the specified dependency and ignore conditions </details> Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
main
2 days ago
Prepare Rust and Python SDK 3.0.0 beta.1 release notes (#1073) ## Summary - Promote the current English and Japanese Python SDK release-note entries into a dedicated 3.0.0 Beta 1 section and correct missing or issue-based provenance links. - Put breaking changes before new features in the Beta 1 notes, using merge order within the category. - Reorganize the Rust SDK 3.0 release note so all changes leading to stable 3.0.0, including alpha, beta, and release-candidate development, are summarized by design topic and user workflow. - Distinguish mathematical modeling and optimization topics (`🧮`) from SDK architecture and implementation topics (`⚙️`) in the Rust redesign overview and topic headings. - Rebuild the Rust v3 history coverage for the registry-first OMMX Artifact lifecycle, OCI archives and remote distribution, Local Registry storage and cleanup, and typed layer compatibility. - Document Experiment as a v3 session model from its initial introduction through Runs, Solve and Sampling records, attachments, parameters, traces, diagnostics, checkpoints, recovery, lineage, and catalog discovery. - Add missing Rust migration topics for fallible coefficient arithmetic, Instance-owned decision-variable state and role semantics, unified annotations and dataset metadata, MSRV, and CLI distribution. - Align the Artifact specification with the final beta.1 boundaries for v2 typed payloads, Experiment artifact types, archive export, and non-recursive OCI `subject` handling. - Reserve the final `3.0.x updates` section for pull-request-based entries released after stable 3.0.0. - Update the release-note skill to route Rust entries to release-line pages with topic-based prerelease and PR-based post-stable rules, order Python entries by Bug Fixes, Breaking Changes, and New Features, and apply GitHub Release labels through the OMMX PR labeling workflow before writing entries.
main
2 days ago
Prepare Rust and Python SDK 3.0.0 beta.1 release notes (#1073) ## Summary - Promote the current English and Japanese Python SDK release-note entries into a dedicated 3.0.0 Beta 1 section and correct missing or issue-based provenance links. - Put breaking changes before new features in the Beta 1 notes, using merge order within the category. - Reorganize the Rust SDK 3.0 release note so all changes leading to stable 3.0.0, including alpha, beta, and release-candidate development, are summarized by design topic and user workflow. - Distinguish mathematical modeling and optimization topics (`🧮`) from SDK architecture and implementation topics (`⚙️`) in the Rust redesign overview and topic headings. - Rebuild the Rust v3 history coverage for the registry-first OMMX Artifact lifecycle, OCI archives and remote distribution, Local Registry storage and cleanup, and typed layer compatibility. - Document Experiment as a v3 session model from its initial introduction through Runs, Solve and Sampling records, attachments, parameters, traces, diagnostics, checkpoints, recovery, lineage, and catalog discovery. - Add missing Rust migration topics for fallible coefficient arithmetic, Instance-owned decision-variable state and role semantics, unified annotations and dataset metadata, MSRV, and CLI distribution. - Align the Artifact specification with the final beta.1 boundaries for v2 typed payloads, Experiment artifact types, archive export, and non-recursive OCI `subject` handling. - Reserve the final `3.0.x updates` section for pull-request-based entries released after stable 3.0.0. - Update the release-note skill to route Rust entries to release-line pages with topic-based prerelease and PR-based post-stable rules, order Python entries by Bug Fixes, Breaking Changes, and New Features, and apply GitHub Release labels through the OMMX PR labeling workflow before writing entries.
main
2 days ago

Latest Branches

CodSpeed Performance Gauge
N/A
Add benchmarks and fix clone overhead for reduce_binary_power and log_encode#1047
5 days ago
546b615
claude/sleepy-wilbur-9b1170
CodSpeed Performance Gauge
N/A
5 days ago
3bb752e
codex/slim-benchmark-workflow
CodSpeed Performance Gauge
N/A
6 days ago
fa18b17
codex/instance-into-partial-evaluated
© 2026 CodSpeed Technology
Home Terms Privacy Docs