14 Pull requests merged by 6 people

• Added option throwExceptionOnStepFailure

  #318 merged Aug 1, 2025

• Use stmt.location.method instead of stmt.method

  #312 merged Jul 31, 2025

• initializeAllocatedSet in USetRegion

  #316 merged Jul 31, 2025

• Updated approximations

  #314 merged Jul 30, 2025

• Updated jacodb version

  #313 merged Jul 27, 2025

• [TS] Less expression

  #302 merged Jul 11, 2025

• [TS] Fix long test Division::testUnknownDivision

  #306 merged Jul 11, 2025

• [TS] Support await

  #303 merged Jul 11, 2025

• [TS] Configure /etc/hosts for gitcode

  #309 merged Jul 11, 2025

• Fix publishing Build Scans on CI

  #307 merged Jul 10, 2025

• Enable Gradle Build Scans

  #305 merged Jul 10, 2025

• Improve various machine features

  #294 merged Jul 4, 2025

• Replaced access path bases with access paths in backward dataflow

  #282 merged Jul 3, 2025

• More fixes for real applications

  #283 merged Jul 3, 2025

4 Pull requests opened by 2 people

• [TS] Arrays methods

  #304 opened Jul 9, 2025

• [TS] Reachability prototype

  #308 opened Jul 11, 2025

• [TS] Support PtrCall

  #311 opened Jul 14, 2025

• Use jacodb from GitHub Packages Registry

  #317 opened Jul 31, 2025

5 Issues opened by 2 people

• [TS] Bug with add operator

  #310 opened Jul 11, 2025

• Add fork limit option

  #301 opened Jul 3, 2025

• [TS] Support `push` invocation in `InstanceCallExpr` resolution

  #300 opened Jul 3, 2025

• [TS] Support cast expression

  #299 opened Jul 3, 2025

• [ts] Handle field ref that refer to the method

  #298 opened Jul 2, 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.

• Add gRPC server for type inference

  #292 commented on Jul 4, 2025 • 3 new comments

• [TS] Support new field declaration for instances

  #288 commented on Jul 3, 2025 • 0 new comments