100644 blob f75bda997e4b07e1585f232b34792f4b4f9cbb9a	AnnotationAliasing.java
100644 blob dfdb5644b858301b017a6e195697d5c12a93fc4b	ArrayFlow.java
100644 blob a8a0b279485e5979f0d84539f786f847e5bae2a9	Basic2.java
100644 blob 3bea42422d2ebba7a7c054a22c74ee1bb9bcf977	ContractsOverriding.java
100644 blob cf29e15c9c1a656445c97778580344b2d62f2d35	ContractsOverridingSubtyping.java
100644 blob b03766497d0eb4b75f65b0d222a097f826a8035c	CustomContractWithArgs.java
100644 blob 3e1518beacc19c5c55d4fc718dcd30129b7466c6	Equal.java
100644 blob cfef3d69afaa54c024f383082f46889692cd189a	FieldShadowing.java
100644 blob 32ad27dfe06dba7aa8067901f789eeb83fd8be60	Issue4449.java
100644 blob 55d1f4fcfd18df92f97537c73e2eec563f0d4763	Issue951.java
100644 blob 2d4b167f826f491a37f232467e4fe19fc1cf7c1e	MetaPostcondition.java
100644 blob 1084f5100bcd0d65d1de824262a1ee198a433db5	MetaPrecondition.java
100644 blob ca25b402a8a8edff6a12fb5f15f799282508d24b	MethodCallFlowExpr.java
100644 blob b01d55b553045b5323362b3ae50a0cd6c1c23044	Monotonic.java
100644 blob 5f698098c7f8114bbcb65fdd2515e5377f95a38c	NonMethodCode.java
100644 blob 8cec0cb4621236d592e9f115e14eb4b25a2f6461	ParamFlowExpr.java
100644 blob 448262d2126dd8e0f774a04390ce8cc207a30bc7	Postcondition.java
100644 blob 7b44f8a3661d1a2b933a04b2d8d067e0e11e77f7	Precondition.java
100644 blob 489320f75a22f4ea769a468cf2d22afcaff64a37	Purity.java
100644 blob d1199887d8e5fd371a52f44ed5cf81a53e8f526f	README
100644 blob d2534590d899a1d3fcd73081d5c12b1198418b9a	StorePure.java
100644 blob 51dc1334e00112ba2c2612fa4ffd8052687cb03e	Termination.java
040000 tree 09032cad9f90f95b9b3c4534914dc28a8b937853	flowexpression-scope