Repository navigation

[TS] Integrate latest model hardening into coverage experiment - #415

Closed

CaelmBleidd wants to merge 61 commits into

mainfrom

caelmbleidd/iccq-coverage-v3

Closed

[TS] Integrate latest model hardening into coverage experiment#415
CaelmBleidd wants to merge 61 commits into
mainfrom
caelmbleidd/iccq-coverage-v3

Commits on Sep 20, 2026
- Support parameterized EtsIR model families
  CaelmBleidd
  committed
  beef938
- Add primary numeric intrinsic models
  CaelmBleidd
  committed
  c48f468
- Test primary numeric intrinsic semantics
  CaelmBleidd
  committed
  28becf2
- Allow calls runner to use bundled frontend
  CaelmBleidd
  committed
  f403bbe
- Model Array and String search methods in TypeScript
  CaelmBleidd
  committed
  51d405d
- Let EtsIR adapters resolve raw call inputs
  CaelmBleidd
  committed
  6ec06c8
- Test adapters with unresolved namespace receivers
  CaelmBleidd
  committed
  3f826bc
- Extend source sequence models
  CaelmBleidd
  committed
  c7daaf0
- Expand semantic model dependencies
  CaelmBleidd
  committed
  b4a22f7
- Bound sequence offset normalization
  CaelmBleidd
  committed
  0826fab
- Add adjacent numeric intrinsic models
  CaelmBleidd
  committed
  635026a
- Declare source model dependencies and domains
  CaelmBleidd
  committed
  d1f242a
- Model numeric Date APIs in TypeScript
  CaelmBleidd
  committed
  24acd4d
- Guard sparse Array search domains
  CaelmBleidd
  committed
  d0b9f2d
- Canonicalize Array search zero results
  CaelmBleidd
  committed
  fdd0611
- Require concrete String code units
  CaelmBleidd
  committed
  dbfcfa2
- Handle Date UTC omissions and invalid timezone offsets
  CaelmBleidd
  committed
  284a6d2
- Truncate Date fractions toward zero
  CaelmBleidd
  committed
  c9890ed
- Resolve Date calls through any aliases
  CaelmBleidd
  committed
  563718b
- Model remaining UTC minute setters
  CaelmBleidd
  committed
  33781b4
- Strengthen Date model registrations and tests
  CaelmBleidd
  committed
  1cdd5f1
- Fix Date registration formatting
  CaelmBleidd
  committed
  cf2d6d8
- Use Math.floor in Date calendar arithmetic
  CaelmBleidd
  committed
  6f32a79
- Document model coverage and declare Date rounding dependency
  CaelmBleidd
  committed
  194ea90
- Fix Date test formatting
  CaelmBleidd
  committed
  1a6315d
- Allow modeled NaN checks in Array removal matrix
  CaelmBleidd
  committed
  2e80186
- Satisfy numeric model style checks
  CaelmBleidd
  committed
  b279fbe
- Clean up sequence model style
  CaelmBleidd
  committed
  8e1353c
- Support symbolic Calls inputs and preflight telemetry
  CaelmBleidd
  committed
  c08c8c6
- Fix symbolic value semantics and add bounded array and string models
  CaelmBleidd
  committed
  d57f7d9
- Support Error and Array constructors, replacement, and erased assertions
  CaelmBleidd
  committed
  411b48b
- Reject callable arguments before querying modeled string types
  CaelmBleidd
  committed
  2502bdb
- Isolate Error model storage from user property resolution
  CaelmBleidd
  committed
  1ec9cd9
Commits on Sep 22, 2026
- Handle conditional string operands before type lookup (#392)
  CaelmBleidd
  authored
  8799236
- fix(ts): write fake values using field sort (#393)
  CaelmBleidd
  authored
  d6e6ccf
Commits on Sep 30, 2026
Commits on Oct 1, 2026

Commits

Commits on Sep 20, 2026

Commits on Sep 22, 2026

Commits on Sep 30, 2026

Commits on Oct 1, 2026