Bun Rust rewrite: "codebase fails basic miri checks, allows for UB in safe rust"

Re:Bun Rust rewrite: "codebase fails basic miri checks, allo... by eschew on Friday May 15, 2026 @09:01PM (#48155815)

Here is a public report from the TRACTOR evaluation team: https://github.com/DARPA-TRACTOR-Program/Reports/blob/main/F...

There are also some papers being published that were funded by TRACTOR, such as https://homes.cs.washington.edu/~mernst/pubs/c-rust-macros-p...

[ Parent | on HN ]

Re:Bun Rust rewrite: "codebase fails basic miri checks, allo... by Animats on Saturday May 16, 2026 @12:15AM (#48156773)

Evaluations of six translators. That's real progress.

Here are the test cases for evaluation #1.[1] There's good coverage of the C language, but the individual tests are mostly simple exercises of one C feature. The next round of test cases will probably be closer to useful programs.

[1] https://github.com/DARPA-TRACTOR-Program/PUBLIC-Test-Corpus

[ Parent | on HN ]