7 Pull requests merged by 2 people

• Support for user-provided annotations about box types in Ast to Rust translation

  #549 merged Mar 7, 2025

• Remove debug

  #551 merged Mar 7, 2025

• Actually hash-cons data type tags

  #550 merged Mar 7, 2025

• Small helper

  #548 merged Mar 6, 2025

• Improve the Rust extraction of Return nodes

  #547 merged Mar 5, 2025

• Fix long-standing issue with C Abstract Structs

  #542 merged Mar 4, 2025

• Add support for returns in Rust

  #545 merged Mar 4, 2025

1 Pull request opened by 1 person

• Remove ulex dependency

  #552 opened Mar 9, 2025

1 Issue opened by 1 person

• Consider renaming the internal headers

  #546 opened Mar 4, 2025

1 Unresolved conversation

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Rust: support for interface bundles?

  #540 commented on Mar 7, 2025 • 0 new comments