Skip to content

TS type streams#274

Merged
CaelmBleidd merged 52 commits into
mainfrom
caelmbleidd/type-stream
May 13, 2025
Merged

TS type streams#274
CaelmBleidd merged 52 commits into
mainfrom
caelmbleidd/type-stream

Conversation

@CaelmBleidd
Copy link
Copy Markdown
Member

No description provided.

@CaelmBleidd CaelmBleidd changed the title Caelmbleidd/type stream TS type streams Apr 23, 2025
Copy link
Copy Markdown

@github-advanced-security github-advanced-security AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

detekt found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/AuxiliaryType.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/AuxiliaryType.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/AuxiliaryType.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/util/EtsHierarchy.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/util/EtsHierarchy.kt Fixed
Comment thread usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt Fixed
Comment thread usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt Fixed
Comment thread usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/AuxiliaryType.kt Fixed
@CaelmBleidd CaelmBleidd marked this pull request as ready for review May 5, 2025 10:43
@CaelmBleidd CaelmBleidd requested a review from Lipen May 5, 2025 10:43
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt Fixed
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/types/TsTypeSystem.kt Fixed
Copy link
Copy Markdown
Member

@Lipen Lipen left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Comment thread usvm-ts/src/test/kotlin/org/usvm/samples/types/ObjectUsage.kt
Comment thread usvm-ts/src/test/kotlin/org/usvm/util/TsTestResolver.kt
Comment thread usvm-ts/src/main/kotlin/org/usvm/util/EtsHierarchy.kt Outdated
Comment thread usvm-ts/src/main/kotlin/org/usvm/machine/expr/TsExprResolver.kt Outdated
Comment thread usvm-ts/src/test/kotlin/org/usvm/samples/types/ObjectUsage.kt
@CaelmBleidd CaelmBleidd merged commit 3a42692 into main May 13, 2025
6 checks passed
@CaelmBleidd CaelmBleidd deleted the caelmbleidd/type-stream branch May 13, 2025 12:50
Saloed pushed a commit that referenced this pull request Jun 2, 2025
---------

Co-authored-by: Konstantin Chukharev <lipen00@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants