Repository navigation
Support plain object inputs and stored callbacks in TS calls - #418
Merged
Merged
Conversation
This was referenced Oct 2, 2026
This was referenced Oct 12, 2026
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-coverage-yices
branch
from
October 13, 2026 03:16
5736a5b to
6f03fe8
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-coverage-yices
branch
from
October 13, 2026 03:31
6f03fe8 to
85c8e98
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-class-coverage
branch
from
October 13, 2026 03:39
94f55e1 to
f189f8d
Compare
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-coverage-yices
branch
from
October 13, 2026 21:31
85c8e98 to
72e3520
Compare
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-class-coverage
branch
from
October 13, 2026 21:31
52246f2 to
6d91402
Compare
CaelmBleidd
added a commit
that referenced
this pull request
Oct 13, 2026
Apply the sparse array model and regression changes from PR #477 (6e68f69). The PR #418 head still inherited the two failing SparseArrayIteratorSourceTest cases. Validation: full usvm-ts, usvm-ts-dataflow, and usvm-ts-calls checks passed on JDK 11 with the native TypeScript frontend. Main/test Detekt and git diff --check passed.
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-coverage-yices
branch
from
October 13, 2026 22:39
72e3520 to
f46dd82
Compare
…runtime diagnostics
Wrap union compatibility arguments and multiline object input fixtures. Sort imports and fix the remaining fixture wrapping in the affected coverage test. Detekt main/test reports contain no findings in the three changed files. Calls source and test compilation and git diff --check passed.
CaelmBleidd
force-pushed
the
caelmbleidd/iccq-class-coverage
branch
from
October 13, 2026 22:51
201896d to
32eadcb
Compare
CaelmBleidd
changed the base branch from
caelmbleidd/iccq-coverage-yices
to
main
October 13, 2026 22:51
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Support typed plain-object Calls inputs with recursive fields, shared PBT-owned shapes, pre-call snapshots and native TypeScript replay. Preserve stored callbacks and data fields of class-annotated inputs.
Based on main. The plain-object domain infrastructure from #473 and sparse-array model fixes from #477 are already included in the base.
Validation on JDK 11 with the native TypeScript frontend: all 129 Calls tests and 3 stored-function regressions passed. Calls detektMain/detektTest and usvm-ts detektTest produced zero findings; git diff --check passed.
Remote CI is running for the rebased revision.