100644 blob 16c7ce21ac7fa4dee1d63834b82124c50f59932e	Alias.java
100644 blob a243a5af2d3e0e677db35e88aea71051e36fed4d	AnnotationUse.java
100644 blob ed68c3541cf91eccf2206da61be4d2c7655829df	ArrayInit.java
100644 blob a243bebef6204fd065fad2b2b5aab6fbb36f21a9	ArrayIntro.java
100644 blob ab3a85701c3c3134f406a7f69c9586e014d8a9ee	Basics.java
100644 blob 19ce9666f8e77e46f30dd1c55a7dec8a46fbe476	BigIntegerTest.java
100644 blob 760dbe649b43fa9053c268f3aa6137ca8b5d72e5	Binaries.java
100644 blob 6929a7e82c1c6f490c5026aac558fd67b2c7e2be	BitsMethodsIntRange.java
100644 blob f40c5272772afd843d95cd2d058b7036c015ace4	BitwiseAnd.java
100644 blob 05121e91b4fed58f1f11e61d459d4d8dc624bb04	Boxing.java
100644 blob d0af0fb48d7256e66c75ddcbecfce019c17fca24	CharArrayWithNonLiteralConstants.java
100644 blob a0f34bc99dea8532d05f622e703582e1f8e485d0	CharacterToString.java
100644 blob 86c3d827806bc027cf892fd03272b407105c4b85	ClassNotFound.java
100644 blob 2075fb2daa71a12ccc5feaaca2ed6fc14c646484	CompoundAssignment.java
100644 blob 02c7b0b9c2cf388a876360c8da730a0c9fdac00b	DivideByZero.java
100644 blob 42f0700fee6970c27ac3839040a30f19c06c3d6f	EmptyAnnotationArgument.java
100644 blob be73053f88f2788f5f14a5efc8b38b7d0682ca18	EnumConstants.java
100644 blob 1c6b72de82dfeecf690c32bfe1362bdfd5857ead	EnumValue.java
100644 blob 6771207a6c2159ff4c48661e2773f4368ae1e3d8	ExceptionTest.java
100644 blob aeb8f6ee2420f4822510e433d35245220489618b	Fields.java
100644 blob fb4e9420f15793c6c33e50dc756e2747318b9a29	GTETransferBug.java
100644 blob c1fd86fc0a9f02e35acdebd51c215c7ecea57e0f	Issue1214.java
100644 blob 989677b78526093a57d61a8e1ad6612f52d2ed13	Issue1218.java
100644 blob 93371938a962f1028725d8fafaff6e33bf6be1d8	Issue1229.java
100644 blob 571d39045ff6a96d10e913e2e09a7aa7d5935a60	Issue1423.java
100644 blob fda84f1c5331f42feffbed435d9da48325bd4939	Issue1579.java
100644 blob c1d5de029d09f17034a6dabcb9eb9ca2e9b43ad9	Issue1580.java
100644 blob 6bc027c3ce861d162dbb9b8ff0ac10ae4df9772d	Issue1655.java
100644 blob df6a5370746a80f46f1176cbb649a5066e697b81	Issue2353.java
100644 blob f1c9fe31eb585742d6408835e5e6a05045d115b7	Issue2367.java
100644 blob ea1090af28a42af6eb18437eaeb25f8a07b8fadf	Issue3001.java
100644 blob fe68f84f848858a3b4dccd0e04497965bafab470	Issue3105.java
100644 blob b2c01f82bd366f51aab1226f5d3ca0ddfd156daf	Issue3105FieldInSameClass.java
100644 blob a750c48853442026afa7472de296b82c109fd61e	Issue3105StaticImport.java
100644 blob ab007bbef22391aac9b86e93088984fa878f9a36	Issue3307.java
100644 blob f5f1badab8a437e1ec23d77e771b43aa52574c48	Issue867.java
100644 blob 00066a408eb836a0af3bab404fb21432711e0488	LengthTransferForMinLen.java
100644 blob 7251f4420a488c1f4908573a26b11a059e225a9b	LiteralArray.java
100644 blob d0ad214fe259441feb46b084e78bcdcd02d85af7	LongMax.java
100644 blob 007b93422717a624f2d0e810559e9b406a3c11fc	Loop.java
100644 blob d83c76476179b6c6e54629cb8ec1ae3313afd27e	LubToRange.java
100644 blob abfd04d8d4b29861ad8deae5379cfa7956bd8b6e	MLEqualTo.java
100644 blob 917df83a35da17bd3469955e3390359dd091aeb8	MathMinMax.java
100644 blob aad1ba04fdeb9455eddd3f5dd55a3181bd8fd255	Methods.java
100644 blob 1a277633089d1f5c8d6733e513f69e4246d1ca75	MinLenConstants.java
100644 blob e86b0589fdba241a03f4887adbbee8164fe31981	MinLenEqTransfer.java
100644 blob 66e8420ed983cb115751b70316b3243fff67a4b2	MinLenFieldInvar.java
100644 blob 6e58400fd41467960d15a3ace8c0d126ff1fd92f	MinLenFieldInvar2.java
100644 blob 61fe182dd78aabe39577d3b50f3ee3bc9193639a	MinLenGTETransfer.java
100644 blob 5fcd74a846cd74683b645de2ac888b1eb97e7778	MinLenGTTransfer.java
100644 blob 1e3f1da8a3ca28e76a29a7ede3aa91a1108119ad	MinLenLTETransfer.java
100644 blob 8841e2d2f220eb8d67f41e8d911448ea835b66c5	MinLenLTTransfer.java
100644 blob 1a5fa082b25a29fd8d6403c52ae9f1d10ad9ebc7	MinLenLUB.java
100644 blob ccbe8ca6489139a9d2c10905dac06fef3d00d650	MinLenNEqTransfer.java
100644 blob b38f75f5a68319311cf70e96ccce91bc4dca2fe8	MinLenPostcondition.java
100644 blob 636edc58ea9e75d63ab373d4e0fdef68ead816dc	MinLenVarargs.java
100644 blob e9f1f294d3a4008292f85e8932ae776750e1e247	MultipleBinaryExpressions.java
100644 blob 78e42231bc7cc8c26fe37e83063015e69db76dac	MyTree.java
100644 blob 9a79bd2184aae5f17b05f39f6e080b860703bbe3	MyTree2.java
100644 blob 3994776f53944269cdb9dde670b8694c6bcfecb2	NegativeArrayLen.java
100644 blob c17f2f05c796a6d03972b2f6bb025685107a5e1c	NestedArrayLengthInference.java
100644 blob 8d381fdc0456d75bf38060547f02e5628deac164	Overflows.java
100644 blob bd4ad78cbfc9f1fd15df8e9d5f1b763129146d79	Polymorphic.java
100644 blob e5aacfd3fbdfbd84965570b408d65a5089d4cd1a	Polymorphic2.java
100644 blob bc54cfb5dc301d49e529563a64c85db38cedea53	RefineBoolean.java
100644 blob f0b787b28bdcfe1a459c9b59b54f9b210778b887	RefineUnknownToIntRange.java
100644 blob 6a7d170a96cd043a1a881840635617215a0fe439	Refinement.java
100644 blob 9c09a98e017e2736765edeabc2127c4cb7330953	Refinement2.java
100644 blob ad3eb466afb3007b044fb2f472963f1e659b0744	RegexMatching.java
100644 blob 5e34c69d61d7ac040149bf230922be377ef4eff8	RegexPatternSyntaxException.java
100644 blob 69ff168323ca60ad1130ac9cb0e3786c7005b66c	RegexVsString.java
100644 blob af9f2f89da81c7a6bdeb67a8f2f9b54cab8304cb	RepeatMinLenIf.java
100644 blob 042dac3f55ccd71d39dd4d7bdbd4c6484970f3d9	RepeatMinLenIfWithError.java
100644 blob bf7e490d6090d5c9291b888eedc94a3d3aa563f5	Repo.java
100644 blob 1aba24fd946a35b4a69d941897e8b33e4d350946	SplitAssignments.java
100644 blob 045abf4fbb1ae899771484bc7f2e40714bdb4dc5	StartsEndsWith.java
100644 blob dd1b7cd0a2d69794b651a6d964e1c55aaf641071	StaticExTest.java
100644 blob cdf662be4ac4ab0e478fa1b48b59c69c1e8e919c	StaticallyExecutableWarnings.java
100644 blob b922ae4405828197b3c13598fec0da287543344a	StringConcats.java
100644 blob 8c093fcbc430a01326b44e8ff687846889ae9497	StringLen.java
100644 blob c7bfa159d45d76227cdd234b52596bdec30ba16a	StringLenConcats.java
100644 blob c7dd22c17839c0639a67d64383369ae8bc9d842f	StringLenMethods.java
100644 blob e3cfafb6b5ec38b791cc64c51c9a81ae9b4c2b91	StringLenWidening.java
100644 blob a67e9eaefa34d8dc279bb0599718a4562ef0a070	StringPolyValue.java
100644 blob f96b91c831c8107a23e510dfab7af4a53f8343b1	StringValCrash.java
100644 blob fdf0b4535e280509fe15bf2f4191fb0bb6606ad0	StringValNull.java
100644 blob 8c6aad9928442da83d012177dafffe78d91e8358	StringValNullConcatLength.java
100644 blob 564e1895db7d30d897781e7e0d5cbe064571b3de	StringValOfArrays.java
100644 blob e5e0f74fe112431ec29639466f47295f69ab862b	Switch.java
100644 blob e6ca7b9f328e5ad2b364b02e7b579516818af8ec	TypeCast.java
100644 blob f9ce7923b4bacd6fc88ed10fc88bf364e853d836	TypeVars.java
100644 blob 032c8cf1ad5cf347b70ace05a0cae0f826392d5b	Unaries.java
100644 blob db5fea2e3da125bba88879f226e42800851bee4d	UncheckedMinLen.java
100644 blob 6e47a9588110645a57fb431263dd19aa9eafda27	Underflows.java
100644 blob 3ada76f5182c73fc7281deb0ac42cbbe69ca1050	ValueCast.java
100644 blob be2dd26fe63c1903aa2ec4ca96ad993552aaf5fc	ValueCast2.java
100644 blob 10778647cc5f86c88247da5d4862ad0663e0837c	ValueWrapperCast.java
100644 blob 02a99fae6dc68d2026cb962a7e4223986940d6c1	VarArgRe.java
100644 blob 000950908d40a2e6a19cf34014d9871310094cb0	WildcardIn.java
040000 tree 33a60029d7c249dc2c3acaf48a8ec4dbee0b2d80	loops
100644 blob 15fa4d53c7ecac9049d1042d0934ee5e26af26aa	lowercase.astub
100644 blob f822c7452fcfd495752a17a3d1e42632c0ce619f	minints-stub.astub