├── .gitignore ├── Demo.webm ├── KeY ├── Sort.key ├── bitwise_local.key ├── jre │ ├── java │ │ ├── io │ │ │ ├── Closeable.java │ │ │ ├── Console.java │ │ │ ├── File.java │ │ │ ├── FileDescriptor.java │ │ │ ├── FileFilter.java │ │ │ ├── FileNotFoundException.java │ │ │ ├── FilenameFilter.java │ │ │ ├── FilterOutputStream.java │ │ │ ├── Flushable.java │ │ │ ├── IOException.java │ │ │ ├── InputStream.java │ │ │ ├── ObjectStreamException.java │ │ │ ├── OutputStream.java │ │ │ ├── PrintStream.java │ │ │ ├── PrintWriter.java │ │ │ ├── Reader.java │ │ │ ├── Serializable.java │ │ │ ├── SyncFailedException.java │ │ │ ├── UnsupportedEncodingException.java │ │ │ └── Writer.java │ │ ├── lang │ │ │ ├── AbstractStringBuilder.java │ │ │ ├── Appendable.java │ │ │ ├── ArithmeticException.java │ │ │ ├── ArrayIndexOutOfBoundsException.java │ │ │ ├── ArrayStoreException.java │ │ │ ├── AssertionError.java │ │ │ ├── AutoCloseable.java │ │ │ ├── CharSequence.java │ │ │ ├── Character.java │ │ │ ├── Class.java │ │ │ ├── ClassCastException.java │ │ │ ├── ClassFormatError.java │ │ │ ├── ClassLoader.java │ │ │ ├── ClassNotFoundException.java │ │ │ ├── ClassValue$ClassValueMap.java │ │ │ ├── CloneNotSupportedException.java │ │ │ ├── Cloneable.java │ │ │ ├── Comparable.java │ │ │ ├── Enum.java │ │ │ ├── Error.java │ │ │ ├── Exception.java │ │ │ ├── ExceptionInInitializerError.java │ │ │ ├── IllegalAccessException.java │ │ │ ├── IllegalArgumentException.java │ │ │ ├── IndexOutOfBoundsException.java │ │ │ ├── InstantiationException.java │ │ │ ├── Integer.java │ │ │ ├── InterruptedException.java │ │ │ ├── Iterable.java │ │ │ ├── LinkageError.java │ │ │ ├── Math.java │ │ │ ├── NegativeArraySizeException.java │ │ │ ├── NoClassDefFoundError.java │ │ │ ├── NoSuchFieldException.java │ │ │ ├── NoSuchMethodException.java │ │ │ ├── NullPointerException.java │ │ │ ├── Number.java │ │ │ ├── NumberFormatException.java │ │ │ ├── Object.java │ │ │ ├── OutOfMemoryError.java │ │ │ ├── Package.java │ │ │ ├── Readable.java │ │ │ ├── ReflectiveOperationException.java │ │ │ ├── Runnable.java │ │ │ ├── RuntimeException.java │ │ │ ├── SecurityException.java │ │ │ ├── SecurityManager.java │ │ │ ├── StackTraceElement.java │ │ │ ├── String.java │ │ │ ├── StringBuffer.java │ │ │ ├── StringBuilder.java │ │ │ ├── System.java │ │ │ ├── Thread$State.java │ │ │ ├── Thread$UncaughtExceptionHandler.java │ │ │ ├── Thread.java │ │ │ ├── ThreadGroup.java │ │ │ ├── ThreadLocal$ThreadLocalMap.java │ │ │ ├── Throwable.java │ │ │ ├── VirtualMachineError.java │ │ │ ├── annotation │ │ │ │ └── Annotation.java │ │ │ ├── ref │ │ │ │ ├── Reference.java │ │ │ │ ├── ReferenceQueue.java │ │ │ │ └── WeakReference.java │ │ │ └── reflect │ │ │ │ ├── AccessibleObject.java │ │ │ │ ├── AnnotatedElement.java │ │ │ │ ├── Constructor.java │ │ │ │ ├── Field.java │ │ │ │ ├── GenericDeclaration.java │ │ │ │ ├── InvocationTargetException.java │ │ │ │ ├── Member.java │ │ │ │ ├── Method.java │ │ │ │ ├── Type.java │ │ │ │ └── TypeVariable.java │ │ ├── net │ │ │ ├── ContentHandler.java │ │ │ ├── ContentHandlerFactory.java │ │ │ ├── FileNameMap.java │ │ │ ├── InetAddress$InetAddressHolder.java │ │ │ ├── InetAddress.java │ │ │ ├── InetAddressImpl.java │ │ │ ├── MalformedURLException.java │ │ │ ├── NetworkInterface.java │ │ │ ├── Proxy$Type.java │ │ │ ├── Proxy.java │ │ │ ├── SocketAddress.java │ │ │ ├── SocketException.java │ │ │ ├── URI.java │ │ │ ├── URISyntaxException.java │ │ │ ├── URL.java │ │ │ ├── URLConnection.java │ │ │ ├── URLStreamHandler.java │ │ │ ├── URLStreamHandlerFactory.java │ │ │ └── UnknownHostException.java │ │ ├── nio │ │ │ ├── Buffer.java │ │ │ ├── ByteBuffer.java │ │ │ ├── ByteOrder.java │ │ │ ├── CharBuffer.java │ │ │ ├── DoubleBuffer.java │ │ │ ├── FloatBuffer.java │ │ │ ├── IntBuffer.java │ │ │ ├── LongBuffer.java │ │ │ ├── MappedByteBuffer.java │ │ │ ├── ShortBuffer.java │ │ │ ├── channels │ │ │ │ ├── AsynchronousChannel.java │ │ │ │ ├── AsynchronousCloseException.java │ │ │ │ ├── AsynchronousFileChannel.java │ │ │ │ ├── ByteChannel.java │ │ │ │ ├── Channel.java │ │ │ │ ├── ClosedChannelException.java │ │ │ │ ├── CompletionHandler.java │ │ │ │ ├── FileChannel$MapMode.java │ │ │ │ ├── FileChannel.java │ │ │ │ ├── FileLock.java │ │ │ │ ├── GatheringByteChannel.java │ │ │ │ ├── InterruptibleChannel.java │ │ │ │ ├── ReadableByteChannel.java │ │ │ │ ├── ScatteringByteChannel.java │ │ │ │ ├── SeekableByteChannel.java │ │ │ │ ├── WritableByteChannel.java │ │ │ │ └── spi │ │ │ │ │ └── AbstractInterruptibleChannel.java │ │ │ ├── charset │ │ │ │ ├── CharacterCodingException.java │ │ │ │ ├── Charset.java │ │ │ │ ├── CharsetDecoder.java │ │ │ │ ├── CharsetEncoder.java │ │ │ │ ├── CoderResult.java │ │ │ │ └── CodingErrorAction.java │ │ │ └── file │ │ │ │ ├── AccessMode.java │ │ │ │ ├── CopyOption.java │ │ │ │ ├── DirectoryStream$Filter.java │ │ │ │ ├── DirectoryStream.java │ │ │ │ ├── FileStore.java │ │ │ │ ├── FileSystem.java │ │ │ │ ├── LinkOption.java │ │ │ │ ├── OpenOption.java │ │ │ │ ├── Path.java │ │ │ │ ├── PathMatcher.java │ │ │ │ ├── WatchEvent$Kind.java │ │ │ │ ├── WatchEvent$Modifier.java │ │ │ │ ├── WatchKey.java │ │ │ │ ├── WatchService.java │ │ │ │ ├── Watchable.java │ │ │ │ ├── attribute │ │ │ │ ├── AttributeView.java │ │ │ │ ├── BasicFileAttributes.java │ │ │ │ ├── FileAttribute.java │ │ │ │ ├── FileAttributeView.java │ │ │ │ ├── FileStoreAttributeView.java │ │ │ │ ├── FileTime.java │ │ │ │ ├── GroupPrincipal.java │ │ │ │ ├── UserPrincipal.java │ │ │ │ └── UserPrincipalLookupService.java │ │ │ │ └── spi │ │ │ │ └── FileSystemProvider.java │ │ ├── security │ │ │ ├── CodeSigner.java │ │ │ ├── CodeSource.java │ │ │ ├── GeneralSecurityException.java │ │ │ ├── Guard.java │ │ │ ├── InvalidKeyException.java │ │ │ ├── Key.java │ │ │ ├── KeyException.java │ │ │ ├── NoSuchAlgorithmException.java │ │ │ ├── NoSuchProviderException.java │ │ │ ├── Permission.java │ │ │ ├── PermissionCollection.java │ │ │ ├── Principal.java │ │ │ ├── ProtectionDomain$Key.java │ │ │ ├── ProtectionDomain.java │ │ │ ├── PublicKey.java │ │ │ ├── SignatureException.java │ │ │ ├── Timestamp.java │ │ │ └── cert │ │ │ │ ├── CertPath.java │ │ │ │ ├── Certificate.java │ │ │ │ ├── CertificateEncodingException.java │ │ │ │ └── CertificateException.java │ │ └── util │ │ │ ├── AbstractMap.java │ │ │ ├── Arrays.java │ │ │ ├── Collection.java │ │ │ ├── Comparator.java │ │ │ ├── Date.java │ │ │ ├── Dictionary.java │ │ │ ├── Enumeration.java │ │ │ ├── Hashtable.java │ │ │ ├── InvalidPropertiesFormatException.java │ │ │ ├── Iterator.java │ │ │ ├── List.java │ │ │ ├── ListIterator.java │ │ │ ├── Locale$Category.java │ │ │ ├── Locale.java │ │ │ ├── Map$Entry.java │ │ │ ├── Map.java │ │ │ ├── MissingResourceException.java │ │ │ ├── Properties.java │ │ │ ├── Set.java │ │ │ ├── SortedMap.java │ │ │ ├── WeakHashMap$Entry.java │ │ │ ├── WeakHashMap.java │ │ │ └── concurrent │ │ │ ├── Callable.java │ │ │ ├── ExecutionException.java │ │ │ ├── Executor.java │ │ │ ├── ExecutorService.java │ │ │ ├── Future.java │ │ │ ├── TimeUnit.java │ │ │ └── TimeoutException.java │ └── sun │ │ └── reflect │ │ ├── ConstructorAccessor.java │ │ ├── FieldAccessor.java │ │ ├── LangReflectAccess.java │ │ ├── MethodAccessor.java │ │ └── ReflectionFactory.java ├── proof │ └── finished │ │ ├── TimSort.zip │ │ ├── accessibleClauseTimSort.zip │ │ ├── binarySort.zip │ │ ├── countRunAndMakeAscending.zip │ │ ├── ensureCapacity.zip │ │ ├── gallopLeft.zip │ │ ├── gallopRight.zip │ │ ├── mergeAt.zip │ │ ├── mergeForceCollapse.zip │ │ ├── minRunLength.zip │ │ ├── newMergeCollapse.zip │ │ ├── pushRun.zip │ │ ├── rangeCheck.zip │ │ ├── reverseRange.zip │ │ ├── sort(a,c).zip │ │ ├── sort(a,lo,hi,c).zip │ │ └── stats.txt ├── src │ └── java │ │ └── util │ │ └── TimSort.java └── symbols.key ├── LICENSE ├── PrintWorstCase.java ├── README.md └── TestTimSort.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/.gitignore -------------------------------------------------------------------------------- /Demo.webm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/Demo.webm -------------------------------------------------------------------------------- /KeY/Sort.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/Sort.key -------------------------------------------------------------------------------- /KeY/bitwise_local.key: -------------------------------------------------------------------------------- 1 | \rules { 2 | 3 | } -------------------------------------------------------------------------------- /KeY/jre/java/io/Closeable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Closeable.java -------------------------------------------------------------------------------- /KeY/jre/java/io/Console.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Console.java -------------------------------------------------------------------------------- /KeY/jre/java/io/File.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/File.java -------------------------------------------------------------------------------- /KeY/jre/java/io/FileDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/FileDescriptor.java -------------------------------------------------------------------------------- /KeY/jre/java/io/FileFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/FileFilter.java -------------------------------------------------------------------------------- /KeY/jre/java/io/FileNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/FileNotFoundException.java -------------------------------------------------------------------------------- /KeY/jre/java/io/FilenameFilter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/FilenameFilter.java -------------------------------------------------------------------------------- /KeY/jre/java/io/FilterOutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/FilterOutputStream.java -------------------------------------------------------------------------------- /KeY/jre/java/io/Flushable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Flushable.java -------------------------------------------------------------------------------- /KeY/jre/java/io/IOException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/IOException.java -------------------------------------------------------------------------------- /KeY/jre/java/io/InputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/InputStream.java -------------------------------------------------------------------------------- /KeY/jre/java/io/ObjectStreamException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/ObjectStreamException.java -------------------------------------------------------------------------------- /KeY/jre/java/io/OutputStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/OutputStream.java -------------------------------------------------------------------------------- /KeY/jre/java/io/PrintStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/PrintStream.java -------------------------------------------------------------------------------- /KeY/jre/java/io/PrintWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/PrintWriter.java -------------------------------------------------------------------------------- /KeY/jre/java/io/Reader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Reader.java -------------------------------------------------------------------------------- /KeY/jre/java/io/Serializable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Serializable.java -------------------------------------------------------------------------------- /KeY/jre/java/io/SyncFailedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/SyncFailedException.java -------------------------------------------------------------------------------- /KeY/jre/java/io/UnsupportedEncodingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/UnsupportedEncodingException.java -------------------------------------------------------------------------------- /KeY/jre/java/io/Writer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/io/Writer.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/AbstractStringBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/AbstractStringBuilder.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Appendable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Appendable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ArithmeticException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ArithmeticException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ArrayIndexOutOfBoundsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ArrayIndexOutOfBoundsException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ArrayStoreException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ArrayStoreException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/AssertionError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/AssertionError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/AutoCloseable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/AutoCloseable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/CharSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/CharSequence.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Character.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Character.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Class.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Class.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ClassCastException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ClassCastException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ClassFormatError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ClassFormatError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ClassLoader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ClassLoader.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ClassNotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ClassNotFoundException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ClassValue$ClassValueMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ClassValue$ClassValueMap.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/CloneNotSupportedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/CloneNotSupportedException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Cloneable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Cloneable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Comparable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Comparable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Enum.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Enum.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Error.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Error.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Exception.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Exception.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ExceptionInInitializerError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ExceptionInInitializerError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/IllegalAccessException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/IllegalAccessException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/IllegalArgumentException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/IllegalArgumentException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/IndexOutOfBoundsException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/IndexOutOfBoundsException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/InstantiationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/InstantiationException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Integer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Integer.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/InterruptedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/InterruptedException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Iterable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Iterable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/LinkageError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/LinkageError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Math.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Math.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NegativeArraySizeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NegativeArraySizeException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NoClassDefFoundError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NoClassDefFoundError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NoSuchFieldException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NoSuchFieldException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NoSuchMethodException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NoSuchMethodException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NullPointerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NullPointerException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Number.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Number.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/NumberFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/NumberFormatException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Object.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Object.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/OutOfMemoryError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/OutOfMemoryError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Package.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Package.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Readable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Readable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ReflectiveOperationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ReflectiveOperationException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Runnable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Runnable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/RuntimeException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/RuntimeException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/SecurityException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/SecurityException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/SecurityManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/SecurityManager.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/StackTraceElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/StackTraceElement.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/String.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/String.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/StringBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/StringBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/StringBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/StringBuilder.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/System.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/System.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Thread$State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Thread$State.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Thread$UncaughtExceptionHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Thread$UncaughtExceptionHandler.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Thread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Thread.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ThreadGroup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ThreadGroup.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ThreadLocal$ThreadLocalMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ThreadLocal$ThreadLocalMap.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/Throwable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/Throwable.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/VirtualMachineError.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/VirtualMachineError.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/annotation/Annotation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/annotation/Annotation.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ref/Reference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ref/Reference.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ref/ReferenceQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ref/ReferenceQueue.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/ref/WeakReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/ref/WeakReference.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/AccessibleObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/AccessibleObject.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/AnnotatedElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/AnnotatedElement.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/Constructor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/Constructor.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/Field.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/GenericDeclaration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/GenericDeclaration.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/InvocationTargetException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/InvocationTargetException.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/Member.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/Member.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/Method.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/Method.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/Type.java -------------------------------------------------------------------------------- /KeY/jre/java/lang/reflect/TypeVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/lang/reflect/TypeVariable.java -------------------------------------------------------------------------------- /KeY/jre/java/net/ContentHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/ContentHandler.java -------------------------------------------------------------------------------- /KeY/jre/java/net/ContentHandlerFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/ContentHandlerFactory.java -------------------------------------------------------------------------------- /KeY/jre/java/net/FileNameMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/FileNameMap.java -------------------------------------------------------------------------------- /KeY/jre/java/net/InetAddress$InetAddressHolder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/InetAddress$InetAddressHolder.java -------------------------------------------------------------------------------- /KeY/jre/java/net/InetAddress.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/InetAddress.java -------------------------------------------------------------------------------- /KeY/jre/java/net/InetAddressImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/InetAddressImpl.java -------------------------------------------------------------------------------- /KeY/jre/java/net/MalformedURLException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/MalformedURLException.java -------------------------------------------------------------------------------- /KeY/jre/java/net/NetworkInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/NetworkInterface.java -------------------------------------------------------------------------------- /KeY/jre/java/net/Proxy$Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/Proxy$Type.java -------------------------------------------------------------------------------- /KeY/jre/java/net/Proxy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/Proxy.java -------------------------------------------------------------------------------- /KeY/jre/java/net/SocketAddress.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/SocketAddress.java -------------------------------------------------------------------------------- /KeY/jre/java/net/SocketException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/SocketException.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URI.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URISyntaxException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URISyntaxException.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URL.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URLConnection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URLConnection.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URLStreamHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URLStreamHandler.java -------------------------------------------------------------------------------- /KeY/jre/java/net/URLStreamHandlerFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/URLStreamHandlerFactory.java -------------------------------------------------------------------------------- /KeY/jre/java/net/UnknownHostException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/net/UnknownHostException.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/Buffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/Buffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/ByteBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/ByteBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/ByteOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/ByteOrder.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/CharBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/CharBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/DoubleBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/DoubleBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/FloatBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/FloatBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/IntBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/IntBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/LongBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/LongBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/MappedByteBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/MappedByteBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/ShortBuffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/ShortBuffer.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/AsynchronousChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/AsynchronousChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/AsynchronousCloseException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/AsynchronousCloseException.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/AsynchronousFileChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/AsynchronousFileChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/ByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/ByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/Channel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/Channel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/ClosedChannelException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/ClosedChannelException.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/CompletionHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/CompletionHandler.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/FileChannel$MapMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/FileChannel$MapMode.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/FileChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/FileChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/FileLock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/FileLock.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/GatheringByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/GatheringByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/InterruptibleChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/InterruptibleChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/ReadableByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/ReadableByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/ScatteringByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/ScatteringByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/SeekableByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/SeekableByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/WritableByteChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/WritableByteChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/channels/spi/AbstractInterruptibleChannel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/channels/spi/AbstractInterruptibleChannel.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/CharacterCodingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/CharacterCodingException.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/Charset.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/Charset.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/CharsetDecoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/CharsetDecoder.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/CharsetEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/CharsetEncoder.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/CoderResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/CoderResult.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/charset/CodingErrorAction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/charset/CodingErrorAction.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/AccessMode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/AccessMode.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/CopyOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/CopyOption.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/DirectoryStream$Filter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/DirectoryStream$Filter.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/DirectoryStream.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/DirectoryStream.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/FileStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/FileStore.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/FileSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/FileSystem.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/LinkOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/LinkOption.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/OpenOption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/OpenOption.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/Path.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/Path.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/PathMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/PathMatcher.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/WatchEvent$Kind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/WatchEvent$Kind.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/WatchEvent$Modifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/WatchEvent$Modifier.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/WatchKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/WatchKey.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/WatchService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/WatchService.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/Watchable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/Watchable.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/AttributeView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/AttributeView.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/BasicFileAttributes.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/BasicFileAttributes.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/FileAttribute.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/FileAttribute.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/FileAttributeView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/FileAttributeView.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/FileStoreAttributeView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/FileStoreAttributeView.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/FileTime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/FileTime.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/GroupPrincipal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/GroupPrincipal.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/UserPrincipal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/UserPrincipal.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/attribute/UserPrincipalLookupService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/attribute/UserPrincipalLookupService.java -------------------------------------------------------------------------------- /KeY/jre/java/nio/file/spi/FileSystemProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/nio/file/spi/FileSystemProvider.java -------------------------------------------------------------------------------- /KeY/jre/java/security/CodeSigner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/CodeSigner.java -------------------------------------------------------------------------------- /KeY/jre/java/security/CodeSource.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/CodeSource.java -------------------------------------------------------------------------------- /KeY/jre/java/security/GeneralSecurityException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/GeneralSecurityException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/Guard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/Guard.java -------------------------------------------------------------------------------- /KeY/jre/java/security/InvalidKeyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/InvalidKeyException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/Key.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/Key.java -------------------------------------------------------------------------------- /KeY/jre/java/security/KeyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/KeyException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/NoSuchAlgorithmException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/NoSuchAlgorithmException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/NoSuchProviderException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/NoSuchProviderException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/Permission.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/Permission.java -------------------------------------------------------------------------------- /KeY/jre/java/security/PermissionCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/PermissionCollection.java -------------------------------------------------------------------------------- /KeY/jre/java/security/Principal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/Principal.java -------------------------------------------------------------------------------- /KeY/jre/java/security/ProtectionDomain$Key.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/ProtectionDomain$Key.java -------------------------------------------------------------------------------- /KeY/jre/java/security/ProtectionDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/ProtectionDomain.java -------------------------------------------------------------------------------- /KeY/jre/java/security/PublicKey.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/PublicKey.java -------------------------------------------------------------------------------- /KeY/jre/java/security/SignatureException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/SignatureException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/Timestamp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/Timestamp.java -------------------------------------------------------------------------------- /KeY/jre/java/security/cert/CertPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/cert/CertPath.java -------------------------------------------------------------------------------- /KeY/jre/java/security/cert/Certificate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/cert/Certificate.java -------------------------------------------------------------------------------- /KeY/jre/java/security/cert/CertificateEncodingException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/cert/CertificateEncodingException.java -------------------------------------------------------------------------------- /KeY/jre/java/security/cert/CertificateException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/security/cert/CertificateException.java -------------------------------------------------------------------------------- /KeY/jre/java/util/AbstractMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/AbstractMap.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Arrays.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Arrays.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Collection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Collection.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Comparator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Comparator.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Date.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Date.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Dictionary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Dictionary.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Enumeration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Enumeration.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Hashtable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Hashtable.java -------------------------------------------------------------------------------- /KeY/jre/java/util/InvalidPropertiesFormatException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/InvalidPropertiesFormatException.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Iterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Iterator.java -------------------------------------------------------------------------------- /KeY/jre/java/util/List.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/List.java -------------------------------------------------------------------------------- /KeY/jre/java/util/ListIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/ListIterator.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Locale$Category.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Locale$Category.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Locale.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Locale.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Map$Entry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Map$Entry.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Map.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Map.java -------------------------------------------------------------------------------- /KeY/jre/java/util/MissingResourceException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/MissingResourceException.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Properties.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Properties.java -------------------------------------------------------------------------------- /KeY/jre/java/util/Set.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/Set.java -------------------------------------------------------------------------------- /KeY/jre/java/util/SortedMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/SortedMap.java -------------------------------------------------------------------------------- /KeY/jre/java/util/WeakHashMap$Entry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/WeakHashMap$Entry.java -------------------------------------------------------------------------------- /KeY/jre/java/util/WeakHashMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/WeakHashMap.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/Callable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/Callable.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/ExecutionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/ExecutionException.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/Executor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/Executor.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/ExecutorService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/ExecutorService.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/Future.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/Future.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/TimeUnit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/TimeUnit.java -------------------------------------------------------------------------------- /KeY/jre/java/util/concurrent/TimeoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/java/util/concurrent/TimeoutException.java -------------------------------------------------------------------------------- /KeY/jre/sun/reflect/ConstructorAccessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/sun/reflect/ConstructorAccessor.java -------------------------------------------------------------------------------- /KeY/jre/sun/reflect/FieldAccessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/sun/reflect/FieldAccessor.java -------------------------------------------------------------------------------- /KeY/jre/sun/reflect/LangReflectAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/sun/reflect/LangReflectAccess.java -------------------------------------------------------------------------------- /KeY/jre/sun/reflect/MethodAccessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/sun/reflect/MethodAccessor.java -------------------------------------------------------------------------------- /KeY/jre/sun/reflect/ReflectionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/jre/sun/reflect/ReflectionFactory.java -------------------------------------------------------------------------------- /KeY/proof/finished/TimSort.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/TimSort.zip -------------------------------------------------------------------------------- /KeY/proof/finished/accessibleClauseTimSort.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/accessibleClauseTimSort.zip -------------------------------------------------------------------------------- /KeY/proof/finished/binarySort.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/binarySort.zip -------------------------------------------------------------------------------- /KeY/proof/finished/countRunAndMakeAscending.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/countRunAndMakeAscending.zip -------------------------------------------------------------------------------- /KeY/proof/finished/ensureCapacity.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/ensureCapacity.zip -------------------------------------------------------------------------------- /KeY/proof/finished/gallopLeft.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/gallopLeft.zip -------------------------------------------------------------------------------- /KeY/proof/finished/gallopRight.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/gallopRight.zip -------------------------------------------------------------------------------- /KeY/proof/finished/mergeAt.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/mergeAt.zip -------------------------------------------------------------------------------- /KeY/proof/finished/mergeForceCollapse.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/mergeForceCollapse.zip -------------------------------------------------------------------------------- /KeY/proof/finished/minRunLength.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/minRunLength.zip -------------------------------------------------------------------------------- /KeY/proof/finished/newMergeCollapse.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/newMergeCollapse.zip -------------------------------------------------------------------------------- /KeY/proof/finished/pushRun.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/pushRun.zip -------------------------------------------------------------------------------- /KeY/proof/finished/rangeCheck.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/rangeCheck.zip -------------------------------------------------------------------------------- /KeY/proof/finished/reverseRange.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/reverseRange.zip -------------------------------------------------------------------------------- /KeY/proof/finished/sort(a,c).zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/sort(a,c).zip -------------------------------------------------------------------------------- /KeY/proof/finished/sort(a,lo,hi,c).zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/sort(a,lo,hi,c).zip -------------------------------------------------------------------------------- /KeY/proof/finished/stats.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/proof/finished/stats.txt -------------------------------------------------------------------------------- /KeY/src/java/util/TimSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/src/java/util/TimSort.java -------------------------------------------------------------------------------- /KeY/symbols.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/KeY/symbols.key -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/LICENSE -------------------------------------------------------------------------------- /PrintWorstCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/PrintWorstCase.java -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/README.md -------------------------------------------------------------------------------- /TestTimSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/abstools/java-timsort-bug/HEAD/TestTimSort.java --------------------------------------------------------------------------------