Release 2026.9 (#1297) - #60
Open
mariusarvinte wants to merge 2 commits into
Open
mariusarvinte wants to merge 2 commits into
mariusarvinte wants to merge 2 commits into
Conversation
# 🎉 Major Updates - **Codex backend for core translation tasks**: IDEAS now supports and defaults to launching a [`codex exec`](https://learn.chatgpt.com/docs/non-interactive-mode) session for symbol translation and C FFI compatibility function generation. IDEAS retains its guarantees that this cannot edit past translations. - **Revised core prompts**: This release comes with major prompt simplifications for both translation and C FFI compatibility function generation. The new prompts are more focused on _what_ a model dispatch should achieve instead of prescribing _how_ Rust should be implemented. - **Improved test generation**: Significantly reduced the prompt size for test generation agents and added portability verification (tests are accepted only if they survive being moved to a random on-disk location). - **C interoperability traits**: IDEAS now instructs the C FFI compatibility LLM call to populate prescribed Rust traits for ahead-of-time `struct` conversions and roundtrip tests. LLM responses are verified against the templates. # 🎈 Minor Updates - All IDEAS subtasks run by default in Docker. - Switched Rust AST parsing backend to the [`tree-sitter-rust-orchard`](https://codeberg.org/grammar-orchard/tree-sitter-rust-orchard) grammar. # 🚧 Bug Fixes - Fixed more `ideas.ast` and `ideas.consolidate` corner cases. --------- Co-authored-by: Cory Cornelius <cory.cornelius@intel.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
🎉 Major Updates
codex execsession for symbol translation and C FFI compatibility function generation. IDEAS retains its guarantees that this cannot edit past translations.structconversions and roundtrip tests. LLM responses are verified against the templates.🎈 Minor Updates
tree-sitter-rust-orchardgrammar.🚧 Bug Fixes
ideas.astandideas.consolidatecorner cases.