5 Pull requests merged by 3 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

1 Pull request opened by 1 person

• Use jacodb from GitHub Packages Registry

  #317 opened Jul 31, 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.

• [TS] Arrays methods

  #304 commented on Aug 1, 2025 • 2 new comments