Skip to content

Release 2026.5 (#858)#40

Merged
mariusarvinte merged 1 commit into
mainfrom
release/2026.5
May 30, 2026
Merged

Release 2026.5 (#858)#40
mariusarvinte merged 1 commit into
mainfrom
release/2026.5

Conversation

@mariusarvinte
Copy link
Copy Markdown
Contributor

🎉 Major Updates

  • Improved C code consolidation - Significantly improves the robustness of C code consolidation (amalgamation) of multiple TUs into a single file, enabling the derivation of project-wide abstract syntax trees (ASTs) for large-scale, real-world projects that use the CMake build system
    • Use standalone with make examples/path/to/project/init
  • Robust agentic test generation - Our Rust C FFI test generation agents are now equipped with two statically defined tools in their environment: nextest-based thread-safe test execution and cargo-llvm source-based coverage
  • Generate tests for mid-scale consolidated C projects using make examples/path/to/project/testgen_agent

🎈 Minor Updates

  • Translation and wrapper prompt clean-up and generalization
  • Automatic test disabling: after a C FFI test fails a certain number of the tests, it automatically gets disabled, and the remainder of translation proceeds without testing it
  • Clean-up deprecated functionalities in LEARNING.mk
  • Added dollar cost tracking for the main per-symbol translation loop

# 🎉 Major Updates
- **Improved C code consolidation** - Significantly improves the
robustness of C code consolidation (amalgamation) of multiple TUs into a
single file, enabling the derivation of project-wide abstract syntax
trees (ASTs) for large-scale, real-world projects that use the CMake
build system
  - Use standalone with `make examples/path/to/project/init`
- **Robust agentic test generation** - Our Rust C FFI test generation
agents are now equipped with two statically defined tools in their
environment: `nextest`-based thread-safe test execution and `cargo-llvm`
source-based coverage
- Generate tests for mid-scale consolidated C projects using `make
examples/path/to/project/testgen_agent`

# 🎈 Minor Updates
- Translation and wrapper prompt clean-up and generalization
- Automatic test disabling: after a C FFI test fails a certain number of
the tests, it automatically gets disabled, and the remainder of
translation proceeds without testing it
- Clean-up deprecated functionalities in `LEARNING.mk`
- Added dollar cost tracking for the main per-symbol translation loop

---------

Co-authored-by: Cory Cornelius <cory.cornelius@intel.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@mariusarvinte mariusarvinte merged commit 31c3d41 into main May 30, 2026
5 checks passed
@mariusarvinte mariusarvinte deleted the release/2026.5 branch May 30, 2026 23:07
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