Concolic for TypeScript#341

Draft

CaelmBleidd wants to merge 21 commits into

mainfrom

caelmbleidd/ts_pbt

Commits on Jul 6, 2026

[TS] Support the jacodb native TS parser (jacodb#361) in usvm-ts-pbt
CaelmBleidd
committed

Commits on Jul 10, 2026

[TS] Project state: engine-fixes progress, resolution-frequency data and updated backlog
CaelmBleidd
committed
[TS] Load the corpus into one project scene by default
CaelmBleidd
committed
[TS] Project state: project-scene loading done, refreshed residual-unresolved data
CaelmBleidd
committed
[TS] Make symbolic-input replay robust to partially resolvable objects
CaelmBleidd
committed
[TS] Project state: replay-robustness progress and residual divergence diagnosis
CaelmBleidd
committed
[TS] Resolver: guard cyclic object graphs; look fake objects up by both key forms
CaelmBleidd
committed
[TS] Align the truthiness-idiom contract: ToBoolean for all operand kinds, != only
CaelmBleidd
committed
[TS] Project state: truthiness idiom and Array constructor done
CaelmBleidd
committed
[TS] Generators produce real functions and containers; new intrinsics; whitelist NaN-idiom family vs the pinned engine
CaelmBleidd
committed
[TS] Prefer class definitions over phantom import declarations; richer diagnostics
CaelmBleidd
committed
[TS] Project state: frontend feedback items from the generator/resolver iteration
CaelmBleidd
committed