Skip to content

Add support for intrinsic candidate methods handling#578

Merged
dmitrii-artuhov merged 14 commits into
developfrom
intrinsic-candidate-handling
Mar 28, 2025
Merged

Add support for intrinsic candidate methods handling#578
dmitrii-artuhov merged 14 commits into
developfrom
intrinsic-candidate-handling

Conversation

@dmitrii-artuhov
Copy link
Copy Markdown
Collaborator

Resolves issue #576

@dmitrii-artuhov dmitrii-artuhov force-pushed the intrinsic-candidate-handling branch from a475614 to 6ab6308 Compare March 18, 2025 15:01
@dmitrii-artuhov dmitrii-artuhov requested a review from eupp March 18, 2025 15:01
@dmitrii-artuhov dmitrii-artuhov force-pushed the intrinsic-candidate-handling branch 5 times, most recently from 7b4e1e4 to 5d318c7 Compare March 21, 2025 17:57
@dmitrii-artuhov dmitrii-artuhov changed the title Intrinsic candidate methods handling Add support for intrinsic candidate methods handling Mar 21, 2025
@dmitrii-artuhov dmitrii-artuhov force-pushed the intrinsic-candidate-handling branch from 7b598bd to 560bbeb Compare March 25, 2025 00:30
Comment thread src/jvm/main/org/jetbrains/kotlinx/lincheck/transformation/CodeLocations.kt Outdated
Comment thread src/jvm/main/org/jetbrains/kotlinx/lincheck/util/Types.kt Outdated
Comment thread src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt Outdated
Comment thread src/jvm/main/org/jetbrains/kotlinx/lincheck/strategy/managed/ManagedStrategy.kt Outdated
@dmitrii-artuhov dmitrii-artuhov force-pushed the intrinsic-candidate-handling branch from 391df91 to ecf2c86 Compare March 27, 2025 22:54
Copy link
Copy Markdown
Collaborator

@eupp eupp left a comment

Choose a reason for hiding this comment

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

Ok, I think we almost done here.

Please address few remaining minor comments (also note there is at least one unresolved comment from the previous review).

Comment thread src/jvm/main/org/jetbrains/kotlinx/lincheck/util/Types.kt
@dmitrii-artuhov dmitrii-artuhov requested a review from eupp March 27, 2025 23:16
@dmitrii-artuhov dmitrii-artuhov merged commit 6365a76 into develop Mar 28, 2025
@dmitrii-artuhov dmitrii-artuhov deleted the intrinsic-candidate-handling branch March 28, 2025 00:41
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.

2 participants