6 Pull requests merged by 4 people

• Add support for Strings

  #295 merged Jun 20, 2025

• Add time profiling in UDebugProfileObserver

  #293 merged Jun 19, 2025

• Fix splitting for range updates

  #291 merged Jun 18, 2025

• Division and remainder operator

  #290 merged Jun 18, 2025

• Input arrays support

  #285 merged Jun 18, 2025

• Bump jacodb

  #289 merged Jun 17, 2025

2 Pull requests opened by 2 people

• Add gRPC server for type inference

  #292 opened Jun 16, 2025

• Improve various machine features

  #294 opened Jun 19, 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.

• More fixes for real applications

  #283 commented on Jun 20, 2025 • 14 new comments