Code

Kotlin/Native and C/C++ support#68

Code

Open

Krock21 wants to merge 76 commits intodevelopJetBrains/lincheck:developfrom java-to-kotlinJetBrains/lincheck:java-to-kotlinCopy head branch name to clipboard

+7,987-2,574

Commits

Commits on Dec 21, 2020

• Just rename java files to kt

  Krock21

  committed
  f5251e3

• Apply java -> kt transformations

  Krock21

  committed
  07a056d

• Remove CachedVerifier and DummeSequentialSpecification kt files

  Krock21

  committed
  ec0217d

Commits on Dec 22, 2020

• Move some parts to common

  Krock21

  committed
  672bff0

• Merge remote-tracking branch 'origin/develop' into move-to-common

  Show description for ff4da1d
  Krock21

  committed
  ff4da1d

• Add Boolean default gen to defaultGens

  Krock21

  committed
  5f1b013

Commits on Jan 8, 2021

• Move some parts to common

  Krock21

  committed
  ec07ae3

Commits on Jan 9, 2021

• Move some parts(#2) to common

  Krock21

  committed
  de4f0dd

• Move some parts to common(3), change sequentialSpecification internal type from Class to KClass

  Krock21

  committed
  39c055e

• Fix tests, KClass<out Any> -> KClass<*>

  Krock21

  committed
  c60f93c

Commits on Jan 19, 2021

• move ValueResult and ExceptionResult in common

  Krock21

  committed
  1a11040

Commits on Feb 1, 2021

• Move LincheckFailure, InvocationResult, and Reporter to common

  Krock21

  committed
  1f0f968

Commits on Feb 6, 2021

• abstract SequentialSpecification, move LTS

  Krock21

  committed
  945cc27

Commits on Feb 10, 2021

• move verifiers to common

  Krock21

  committed
  ac46f5b

• replace testClass: Class<*> by TestClass abstraction

  Krock21

  committed
  0c2b606

Commits on Feb 11, 2021

• Move Options to common, strange fixes for SequentialSpecification, VerifierClass, ExecutionGeneratorClass

  Krock21

  committed
  ec80ba5

Commits on Feb 16, 2021

• move annotation to jvm, fix some unused expect-actual

  Krock21

  committed
  069c0ba

• Get rid of WeakHashMap in CachedVerifier

  ndkoval

  committed
  f6825ab

• Get rid of WeakHashMap in QuiescentConsistencyVerifier

  ndkoval

  committed
  362e152

• Meeting changes

  ndkoval

  committed
  cf0bd5f

Commits on Feb 22, 2021

• fix last commit, break java api

  Krock21

  committed
  5c1a4ef

• Move Runner and StressStrategy to common, make ParallelThreadsRunner expect-actual

  Krock21

  committed
  1ff8375

• Merge remote-tracking branch 'origin/develop' into java-to-kotlin

  Show description for fb45647
  Krock21

  committed
  fb45647

Commits on Mar 16, 2021

• add native platform, fix stable state

  Krock21

  committed
  a72dcef

• another stable state

  Krock21

  committed
  71fce28

• fix bug with many iterations

  Krock21

  committed
  e723229

Commits on Mar 28, 2021

• change model, make it work

  Krock21

  committed
  1b4b001

Commits on Mar 31, 2021

• Add native API, fix bugs, copy runner on every new iteration

  Krock21

  committed
  78f60cf

• update gradle version to fix atomicFu problems, separate StressStrategy for jvm and native

  Krock21

  committed
  ac517e1

Commits on Apr 13, 2021

• add some tests

  Krock21

  committed
  664e12c

• fix some tests

  Krock21

  committed
  43e8c0f

• update performance

  Krock21

  committed
  0bdfbd7

• reset runner on every invocation

  Krock21

  committed
  9eec6e4

• stable state with bug

  Krock21

  committed
  f4a7020

Commits on Apr 14, 2021

• Add more tests. Add exception handling. Improve code structure

  Krock21

  committed
  d99a355

• Add 2 simple tests

  Krock21

  committed
  7b52e46

Commits on Apr 16, 2021

• Add more tests. Reduce invocationsPerIteration to 500

  Krock21

  committed
  563d50f

Commits on Apr 17, 2021

• change debug output. Add test names

  Krock21

  committed
  37d4951

Commits on Apr 19, 2021

• Change gradle version, add sharedLib to native project

  Krock21

  committed
  0d32c51

• Add simple API for native

  Krock21

  committed
  0c712f7

• Add simple c++ example

  Krock21

  committed
  310c889

Commits on Apr 22, 2021

• Improve API for native, add lincheck.h wrapper

  Krock21

  committed
  44991e1

• Update gradle wrapper version because of problems with atomicfu

  Krock21

  committed
  c421521

Commits on Apr 23, 2021

• Add cppTest gradle task. Add GTEST tests. Improve C++ API. Fix toString function.

  Krock21

  committed
  d39eed6

Commits on Apr 24, 2021

• Add init and finish thread functions

  Krock21

  committed
  7686f24

• Add libcds msqueue test

  Krock21

  committed
  0c59a61

Commits on Apr 26, 2021

• useless commit

  ndkoval

  committed
  bd71267

Commits on Apr 28, 2021

• minor fixes

  Krock21

  committed
  a1d7f64

• Merge remote-tracking branch 'origin/java-to-kotlin' into java-to-kotlin

  Krock21

  committed
  41e24e7

• Add junction and torf cpp example

  Krock21

  committed
  ba00819

• Add libcuckoo test, some fixes in lincheck

  Krock21

  committed
  fd32a2b

• Add folly ConcurrentHashMap test

  Krock21

  committed
  53edf81

Commits on Apr 29, 2021

• Add boost::lockfree::queue test, fix bugs in Lincheck

  Krock21

  committed
  a96b940

• enable libcuckoo_test

  Krock21

  committed
  c5163ab

Commits on Apr 30, 2021

• Fix memory issue

  Krock21

  committed
  962fb29

Commits on May 3, 2021

• Fix git submodules, add progress debug output

  Krock21

  committed
  027abc3

• switch from debugShared to releaseShared

  Krock21

  committed
  a50b8f7

• fix test_failing test

  Krock21

  committed
  74d164e

• increase iterations count in AbstractLincheckStressTest

  Krock21

  committed
  949eb7f

• set up parameters for tests

  Krock21

  committed
  e3350e9

Commits on May 5, 2021

• Add more c++ tests

  Krock21

  committed
  a90e7e8

Commits on May 6, 2021

• Add operation groups to native, add NonParallelOpGroupTest, add boost:locfree::spsc_queue test. Add folly [SM]P[SM]CQueue tests

  Krock21

  committed
  97650e8

• Improve tests stability

  Krock21

  committed
  b5c5f46

• Improve NonParallelOpGroupTest stability

  Krock21

  committed
  f41271e

• Fix UnexpecedExceptionTest

  Krock21

  committed
  8dc92a5

• Fix UnexpecedExceptionTest with atomic

  Krock21

  committed
  2029c5f

• Fix HashMapTest possible IllegalStateException

  Krock21

  committed
  ce7560b

• Fix HashMapTest possible UnexpectedExceptionFailure(IllegalStateException from HashMap)

  Krock21

  committed
  db71d4a

• Attempt to fix UnexpectedExceptionTest

  Krock21

  committed
  d30852b

Commits on May 8, 2021

• Add ValidationTest

  Krock21

  committed
  e71ad98

• Add EpsilonVerifierTest

  Krock21

  committed
  4a27867

Commits on May 12, 2021

• add scenario finalization, minor fixes

  Krock21

  committed
  bba9648

• Add import

  Krock21

  committed
  d8993d4

• Fix OpGroupTests

  Krock21

  committed
  b8bcfee

Commits on May 30, 2021

• improve cpp tests and fix some bugs

  Krock21

  committed
  faed7ed

Commits on Jul 9, 2021

• Merge develop into java-to-kotlin

  Krock21

  committed
  65d46c7