All pull requests

Pull requests

• Import Emil's experimental Go SSA/JacoDB prototype

  #471·CaelmBleidd opened Oct 11, 2026Member·

  ·
  1

• Adapt Go prototype with symbolic semantic tests and fixes

  #469·CaelmBleidd opened Oct 9, 2026Member·

  ·

• Fix reentrant summary publication in #235

  #468·CaelmBleidd opened Oct 7, 2026Member·

  ·

• [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·

  ·
  2

• 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·

  ·

• [TS] Integrate latest model hardening into coverage experiment

  #415·CaelmBleidd opened Oct 1, 2026Member·

  ·

• [TS] Measure source-replayed branch coverage for unknown-call policies

  #414·CaelmBleidd opened Oct 1, 2026Member·

  ·

• Share PBT runtime reliability fixes with Calls

  #413·CaelmBleidd opened Oct 1, 2026Member·

  ·

• Share TypeScript analysis and UTF-16 infrastructure between PBT and Calls

  #412·CaelmBleidd opened Oct 1, 2026Member·

  ·

• [TS PBT] Capture bounded property observations (checkpoint)

  #411·CaelmBleidd opened Sep 30, 2026Member·

  ·

• Model remaining standard-library gaps for Calls experiments

  #410·CaelmBleidd opened Sep 30, 2026Member·

  ·

• Map exact c8 TypeScript if arms to EtsIR coverage

  #409·CaelmBleidd opened Sep 30, 2026Member·

  ·

• [TS PBT] Pin capability-first real property candidate

  #408·CaelmBleidd opened Sep 30, 2026Member·

  ·

• [TS PBT] Register original assertions and bounded joint generator support

  #407·CaelmBleidd opened Sep 30, 2026Member·

  ·