Skip to content

Release 2026.4 (#614)#34

Merged
mariusarvinte merged 1 commit intomainfrom
release/2026.4
Apr 15, 2026
Merged

Release 2026.4 (#614)#34
mariusarvinte merged 1 commit intomainfrom
release/2026.4

Conversation

@mariusarvinte
Copy link
Copy Markdown
Contributor

🎉 Major Updates

  • Hybrid C-Rust building: as translation progresses with every symbol, the tool now attempts to build a hybrid C-Rust artifact, and execute all tests (if available) using it. If at least one test fails, the translation of the current symbol is considered a failure and re-attempted. This represents a significant upgrade compared to just using cargo build as a correctness signal.
  • Library test generation with the Berkeley KISS framework: we dispatch an autonomous RelentlessAgent to analyze a C target, collect input/output pairs, and write assertion tests for it in the Rust C FFI. The output tests are lite-verified for correct file locations, and can be used for the hybrid C-Rust build testing.
  • Translating symbol cycles: our tool can now identify and jointly translate symbol cycles with length >1. Post-translation, C FFI wrappers are still generated per-symbol.

🎈 Minor Updates

  • Migrated Rust workspace initialization and version control to the fully Python-based ideas.init.workspace module.
  • Initial version of an sqlite3-backed symbol cache for resumable translations.

# 🎉 Major Updates
- **Hybrid C-Rust building**: as translation progresses with every
symbol, the tool now attempts to build a hybrid C-Rust artifact, and
execute all tests (if available) using it. If at least one test fails,
the translation of the current symbol is considered a failure and
re-attempted. This represents a significant upgrade compared to just
using `cargo build` as a correctness signal.
- **Library test generation** with the Berkeley
[KISS](https://github.com/ksenxx/kiss_ai) framework: we dispatch an
autonomous `RelentlessAgent` to analyze a C target, collect input/output
pairs, and write assertion tests for it in the Rust C FFI. The output
tests are lite-verified for correct file locations, and can be used for
the hybrid C-Rust build testing.
- **Translating symbol cycles**: our tool can now identify and jointly
translate symbol cycles with length >1. Post-translation, C FFI wrappers
are still generated per-symbol.

# 🎈 Minor Updates
- Migrated Rust workspace initialization and version control to the
fully Python-based `ideas.init.workspace` module.
- Initial version of an `sqlite3`-backed symbol cache for resumable
translations.

---------

Co-authored-by: Cory Cornelius <cory.cornelius@intel.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@mariusarvinte mariusarvinte merged commit a061aad into main Apr 15, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant