All pull requests

Pull requests

• Add named Solidity contract instances to the client

  #121·cysiddiqui opened Oct 19, 2026·

  ·

• Fix incoming memory addresses in bytesK cast checks

  #120·cysiddiqui opened Oct 19, 2026·

  ·

• Fix BV multiply overflow define-funs at a zero factor and MIN * -1

  #119·tiamo opened Oct 18, 2026·

  ·
  4

• Fix Soroban I256 Euclidean remainder semantics

  #115·levinson opened Sep 17, 2026·

  ·

• Model precise signed I256 ordering in Soroban obj_cmp

  #114·levinson opened Sep 16, 2026·

  ·

• Fix artifact filename truncation on eCryptfs

  #110·felix314159 opened Jul 28, 2026·

  ·

• Fix unsound signed-division comparison rewrites

  #109·felix314159 opened Jul 27, 2026·

  ·
  1

• Fix "nullnull" bug

  #89·smoelius opened Jul 7, 2026·

  ·

• Fix ParallelPool timer threads keeping failed JVM runs alive

  #81·mmv08 opened May 19, 2026·

  ·
  2