All pull requests

Pull requests

• [TS] Construct project instances from runtime constructor values

  #466·CaelmBleidd opened Oct 3, 2026Member·

  ·

• [TS] Evaluate instanceof against runtime constructor values

  #464·CaelmBleidd opened Oct 3, 2026Member·

  ·

• [TS] Route thrown exceptions into catch blocks

  #463·CaelmBleidd opened Oct 2, 2026Member·

  ·
  1

• [TS] Track deletion of allocated object properties

  #461·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Concatenate symbolic strings

  #460·CaelmBleidd opened Oct 2, 2026Member·

  ·
  5

• [TS] Return function from typeof callable values

  #459·CaelmBleidd opened Oct 2, 2026Member·

  ·
  1

• [TS] Track object-literal property presence for in (#425)

  #458·CaelmBleidd opened Oct 2, 2026Member·

  ·
  1

• [TS] Make empty strings falsy in symbolic conditions

  #456·CaelmBleidd opened Oct 2, 2026Member·

  ·
  1

• [TS] Compare string values in equality operators

  #455·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Execute modeled Number exponentiation (#428)

  #454·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Materialize symbolic string input witnesses

  #453·CaelmBleidd opened Oct 2, 2026Member·

  ·
  1

  8

• [TS] Harden model provenance and Calls replay semantics

  #452·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Model Array and Error constructors and String.replaceAll

  #451·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS Calls] Report unsupported inputs before search and replay

  #450·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Expand bounded Array and String models

  #449·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Correct symbolic value and storage semantics

  #448·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS Calls] Bind symbolic inputs and record model decisions

  #447·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Add symbolic UTF-16 string storage and Array primitives

  #446·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Resolve exported TypeScript entry points

  #445·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Model Date construction and calendar operations

  #444·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Model Array and String operations with guarded fallback

  #443·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Model Math and Number builtins

  #442·CaelmBleidd opened Oct 2, 2026Member·

  ·

• Support plain object inputs and stored callbacks in TS calls

  #418·CaelmBleidd opened Oct 2, 2026Member·

  ·

• [TS] Pin Yices for paired coverage remeasurement

  #417·CaelmBleidd opened Oct 1, 2026Member·

  ·

• [TS] Measure paired source coverage and search cost

  #416·CaelmBleidd opened Oct 1, 2026Member·

  ·