Releasing v2.0

Major changes in the release 2.0
--------------------------------

General API changes (most of them are incompatible with the previous versions!):
  * `core` module is renamed to `lincheck`, what makes Lin-Check dependency specification more clear (`com.devexperts.lincheck:lincheck:...` instead of `com.devexperts.lincheck:core:...`);
  * Execution scenario began including not only parallel part of the execution, but initial and post parts as well (see `ExecutionScenario` class);
  * `actorsPerThread` option is removed, simpler `threads`, `actorsPerThread`, `actorsBefore`, and `actorsAfter` options are introduced instead;
  * `@Reset` method is removed, the default constructor is used instead;
  * Default parameter generators for the supported primitive types and strings are used if no one is specified;
  * Logging level control is introduced.

Verification changes:
  * All verifiers are moved to `verifier` package;
  * Different relaxed contracts (quiescent consistency, serializability, quantitative relaxation) are supported;
  * All verifiers start using a labeled transition system (LTS) for their algorithms, what makes their logic more clear;
  * All verifiers are based on a new `CacheVerifier` abstract verifier which keeps previous results and looks at them at first (results repeat in up to 80% of time).

Other features:
  * An infrastructure for managed strategies is introduced (look at the skeleton for random-switch strategy);
  * Pretty printing for execution scenario and result is added;
  * Kotlin becomes a primary language for new features.

Author: tsitelov

LICENSE.txt

@@ -0,0 +1,15 @@
+# This is a sample build configuration for Java (Maven).
+# Check our guides at https://confluence.atlassian.com/x/zd-5Mw for more examples.
+# Only use spaces to indent your .yml configuration.
+# -----
+# You can specify a custom docker image from Docker Hub as your build environment.
+image: maven:3-jdk-8
+
+pipelines:
+  default:
+    - step:
+        caches:
+          - maven
+        script: # Modify the commands below to build your repository.
+          - mvn -B clean verify # -B batch mode makes Maven less verbose
+