1 Pull request merged by 1 person

• Remove all references to define_var

  #987 merged Feb 5, 2025

2 Pull requests opened by 2 people

• Add support to reflect (simple) enums

  #988 opened Feb 7, 2025

• add lifting for foreignitem

  #989 opened Feb 8, 2025

2 Unresolved conversations

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.

• ICE errors in rust-std module ptr

  #980 commented on Feb 7, 2025 • 0 new comments

• Support constant sorts that are not integers

  #932 commented on Feb 10, 2025 • 0 new comments