Yannick Welsch f78e64e3e2 Terminate linearizability check early on large histories (#44444) ...

Large histories can be problematic and have the linearizability checker occasionally run OOM. As it's
very difficult to bound the size of the histories just right, this PR will let it instead run for 10 seconds
on large histories and then abort.

Closes #44429

2019-07-17 18:51:25 +02:00

..

licenses

Upgrade to lucene-8.2.0-snapshot-6413aae226 (#44480)

2019-07-17 13:28:28 +02:00

src

Terminate linearizability check early on large histories (#44444)

2019-07-17 18:51:25 +02:00

build.gradle

Upgrade HPPC to version 0.8.1 (#43025)

2019-06-12 13:14:16 +02:00