Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Drop "kotlinx" in package names of Lincheck classes and change the artifact location #185

Draft
wants to merge 1 commit into
base: develop
Choose a base branch
from

Conversation

ndkoval
Copy link
Collaborator

@ndkoval ndkoval commented May 12, 2023

Fixes #184

…rains.lincheck" (drop "kotlinx") and the artifact location from "org.jetbrains.kotlinx:lincheck:<version>" to "org.jetbrains.lincheck:lincheck:<version>".
@ndkoval ndkoval changed the base branch from master to develop May 12, 2023 09:14
@@ -13,6 +13,17 @@ generates a set of random concurrent scenarios,
examines them using either stress-testing or bounded model checking, and
verifies that the results of each invocation satisfy the required correctness property (linearizability by default).

## 📣 Package Renaming in Lincheck 2.18
Copy link

@whyoleg whyoleg May 12, 2023

Choose a reason for hiding this comment

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

minor comment from outside, as next version will be:

  • fully backward incompatible
  • new maven artifacts
  • new license

May be it's a good idea to call it lincheck 3.0? This will help users a lot during migration period :)

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

That's a good point, thanks. The version "2.18" is more or less a placeholder for now, and the new release will likely be "3.0".

As we are also going to change the API dramatically, we are considering postponing this change and applying it only to the new API, keeping the current one in the "org.jetbrains.kotlinx.lincheck" package.

@ndkoval ndkoval marked this pull request as draft May 12, 2023 09: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.

Move to "JetBrains" GitHub organization
2 participants