Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
AddMethod_Bag..cctor.smt 31-May-2008 22:54 39K
AddMethod_Bag..ctor_System.Int32.array_notnull.smt 18-Feb-2008 19:50 99K
AddMethod_Bag.Add_System.Int32.smt 31-May-2008 22:54 107K
AddMethod_Bag.Main.smt 31-May-2008 22:54 39K
AddMethod_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:54 73K
AdditiveMethods_AdditiveMethods..ctor.smt 31-May-2008 22:54 63K
AdditiveMethods_AdditiveMethods.M.smt 31-May-2008 22:54 92K
AdditiveMethods_AdditiveMethods.N.smt 31-May-2008 22:54 105K
AdditiveMethods_AdditiveMethods.X0.smt 18-Feb-2008 19:50 54K
AdditiveMethods_AdditiveMethods.X1.smt 18-Feb-2008 19:50 54K
AdditiveMethods_AdditiveMethods.Y.smt 31-May-2008 22:55 64K
![[CMP]](/icons/compressed.gif){kind=icon}
AdditiveMethods_AdditiveMethods.Z.smt 18-Feb-2008 19:50 54K
AdditiveMethods_OwnedResults..ctor.smt 31-May-2008 22:56 63K
AdditiveMethods_OwnedResults.F0.smt 31-May-2008 22:56 48K
AdditiveMethods_OwnedResults.F1.smt 31-May-2008 22:56 70K
AdditiveMethods_OwnedResults.F2_System.Boolean.smt 31-May-2008 22:56 52K
AdditiveMethods_OwnedResults.F3.smt 31-May-2008 22:56 57K
AdditiveMethods_OwnedResults.F4.smt 18-Feb-2008 19:50 52K
AdditiveMethods_OwnedResults.F5.smt 18-Feb-2008 19:50 49K
AdditiveMethods_OwnedResults.Mm_System.Boolean.smt 31-May-2008 22:56 51K
AdditiveMethods_OwnedResults.Mz.smt 31-May-2008 22:56 50K
AdditiveMethods_OwnedResults.Pw.smt 18-Feb-2008 19:50 50K
AdditiveMethods_OwnedResults.Pz.smt 31-May-2008 22:56 50K
AdditiveMethods_OwnedResults.Qz_System.Int32.smt 31-May-2008 22:56 79K
AdditiveMethods_OwnedResults.Static0.smt 31-May-2008 22:56 57K
AdditiveMethods_OwnedResults.Static1.smt 31-May-2008 22:56 57K
AdditiveMethods_OwnedResults.Static2.smt 31-May-2008 22:56 54K
AdditiveMethods_Sub..ctor.smt 31-May-2008 22:56 62K
AdditiveMethods_Sub.P.smt 18-Feb-2008 19:50 66K
AdditiveMethods_Sub.Q.smt 18-Feb-2008 19:50 66K
AdditiveMethods_Sub.StartHere0_AdditiveMethods_notnull.smt 31-May-2008 22:56 77K
AdditiveMethods_Sub.StartHere1_AdditiveMethods_notnull.smt 18-Feb-2008 19:50 64K
AdditiveMethods_Sub.StartHere2_AdditiveMethods_notnull.smt 18-Feb-2008 19:50 54K
AdditiveMethods_Sub.X0.smt 18-Feb-2008 19:50 64K
AdditiveMethods_Sub.Y.smt 18-Feb-2008 19:50 75K
AdditiveMethods_Sub.Z.smt 18-Feb-2008 19:50 77K
AdditiveMethods_T..ctor.smt 31-May-2008 22:56 62K
AdvancedTypes_AdvancedTypes..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_AdvancedTypes.Advanced0_InternalSubClass_notnull_K_notnull_InternalClass_notnull-orderStrength_1.smt 31-May-2008 22:56 55K
AdvancedTypes_AdvancedTypes.Advanced1_SubLessType-orderStrength_1.smt 31-May-2008 22:56 49K
AdvancedTypes_AdvancedTypes.Advanced2_SubLessType_notnull-orderStrength_1.smt 31-May-2008 22:56 46K
AdvancedTypes_AdvancedTypes.Advanced3_W_notnull-orderStrength_1.smt 18-Feb-2008 19:50 49K
AdvancedTypes_AdvancedTypes.Advanced4_P_notnull-orderStrength_1.smt 31-May-2008 22:56 52K
AdvancedTypes_AdvancedTypes.Advanced4_X_notnull-orderStrength_1.smt 31-May-2008 22:56 65K
AdvancedTypes_AdvancedTypes.Advanced5_P_notnull-orderStrength_1.smt 18-Feb-2008 19:50 52K
AdvancedTypes_AdvancedTypes.Advanced6_JKL_notnull-orderStrength_1.smt 31-May-2008 22:56 49K
AdvancedTypes_AdvancedTypes.Main-orderStrength_1.smt 31-May-2008 22:56 45K
AdvancedTypes_AnotherSubClass..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_InternalClass..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_InternalSubClass..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_P..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_P_JKL..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_Q..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_SubLessType..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_W..ctor-orderStrength_1.smt 31-May-2008 22:56 62K
AdvancedTypes_X..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_Y0..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_Y1..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_Y2..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_Z0..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AdvancedTypes_Z1..ctor-orderStrength_1.smt 31-May-2008 22:56 61K
AllocBeforeLoop_Test..ctor-modifiesOnLoop-noinfer.smt 31-May-2008 22:56 44K
AllocBeforeLoop_Test.Method-modifiesOnLoop-noinfer.smt 18-Feb-2008 19:50 63K
Alloc_Alloc.GimmieOne.smt 31-May-2008 22:56 48K
Alloc_Alloc.M0_T.smt 31-May-2008 22:56 58K
Alloc_Alloc.M1_T_notnull.smt 31-May-2008 22:56 46K
Alloc_Alloc.M2_T_notnull.smt 31-May-2008 22:56 89K
Alloc_Alloc.M3_T_notnull.smt 18-Feb-2008 19:50 46K
Alloc_Alloc.M4_T_notnull.smt 31-May-2008 22:56 46K
Alloc_Alloc.M5.smt 18-Feb-2008 19:50 52K
Alloc_Alloc.Main.smt 31-May-2008 22:56 35K
Alloc_T..ctor.smt 31-May-2008 22:56 52K
Alloc_T.M.smt 31-May-2008 22:56 36K
Alloc_T.Nx.smt 31-May-2008 22:56 37K
Alloc_T.OtherTypes_ArrayOfStructs_Stru.array_notnull_System.Int32.smt 31-May-2008 22:56 50K
Alloc_T.OtherTypes_Array_T.array_notnull_System.Int32.smt 31-May-2008 22:57 49K
Alloc_T.OtherTypes_Struct_Stru.smt 31-May-2008 22:57 47K
Alloc_T.get_Next.smt 31-May-2008 22:57 37K
AndNumbers_T..ctor-level_0.smt 31-May-2008 22:57 47K
AndNumbers_T.EnumerableCount_System.Collections.Generic.IEnumerable_1...type.parameter.T-level_0.smt 31-May-2008 22:57 93K
AndNumbers_T.M_System.Collections.Generic.IEnumerable_1...type.parameter.T_2550_System.Int32_System.Boolean-level_0.smt 31-May-2008 22:57 101K
AndNumbers_T.OrRangeBad_System.Boolean_System.Boolean-level_0.smt 18-Feb-2008 19:50 48K
AndNumbers_T.OrRange_System.Boolean_System.Boolean-level_0.smt 31-May-2008 22:57 48K
Array2_test3.MyClass2..ctor.smt 31-May-2008 22:57 48K
Array2_test3.MyClass2.M0_System.Int32.array_notnull.smt 31-May-2008 22:57 35K
Array2_test3.MyClass2.M1_System.Int32.array.array_notnull.smt 31-May-2008 22:57 55K
Array2_test3.MyClass2.M2_System.Int32.array2_notnull.smt 18-Feb-2008 19:50 36K
Array_test3.MyClass..ctor.smt 31-May-2008 22:57 52K
Array_test3.MyClass.Allocate0_System.Int32.smt 18-Feb-2008 19:50 43K
Array_test3.MyClass.Allocate1_System.Int32.smt 31-May-2008 22:57 43K
Array_test3.MyClass.DimLengthRank1_System.String.array2_notnull.smt 18-Feb-2008 19:50 39K
Array_test3.MyClass.DimLengthRank1_System.String.array_notnull.smt 31-May-2008 22:57 39K
Array_test3.MyClass.M0_test3.MyClass.array_notnull.smt 31-May-2008 22:57 44K
Array_test3.MyClass.M1_test3.MyClass.array.array_notnull.smt 31-May-2008 22:57 41K
Array_test3.MyClass.M2_test3.MyClass.array2_notnull.smt 31-May-2008 22:57 41K
Array_test3.MyClass.M3_System.Array_notnull.smt 31-May-2008 22:57 39K
Arrays_P0-noinfer.smt 31-May-2008 22:57 5.2K
Arrays_P1-noinfer.smt 31-May-2008 22:57 5.0K
Arrays_P2-noinfer.smt 18-Feb-2008 19:51 4.9K
Arrays_Q0-noinfer.smt 31-May-2008 22:57 5.3K
Arrays_Q1-noinfer.smt 31-May-2008 22:57 5.1K
Arrays_Q2-noinfer.smt 31-May-2008 22:57 5.0K
Arrays_Q3-noinfer.smt 31-May-2008 22:57 5.0K
Arrays_Q4-noinfer.smt 18-Feb-2008 19:51 5.0K
Arrays_Skip0-noinfer.smt 18-Feb-2008 19:51 4.9K
Arrays_Skip1-noinfer.smt 31-May-2008 22:57 8.7K
AssertFalse_AssertFalseTest..ctor.smt 31-May-2008 22:57 54K
AssertFalse_AssertFalseTest.Test0.smt 18-Feb-2008 19:51 37K
AssertFalse_AssertFalseTest.Test1.smt 18-Feb-2008 19:51 40K
AssertFalse_AssertFalseTest.Test2.smt 18-Feb-2008 19:51 62K
AssertFalse_AssertFalseTest.Test3.smt 18-Feb-2008 19:51 79K
AssertFalse_F..ctor.smt 31-May-2008 22:57 53K
AssignToNonInvariantField_AnotherClient..cctor.smt 31-May-2008 22:57 47K
AssignToNonInvariantField_AnotherClient..ctor.smt 18-Feb-2008 19:51 87K
AssignToNonInvariantField_AnotherClient..ctor_System.Int32.smt 31-May-2008 22:57 110K
AssignToNonInvariantField_AnotherClient.BadForAnotherReason.smt 18-Feb-2008 19:51 105K
AssignToNonInvariantField_AnotherClient.M.smt 18-Feb-2008 19:51 69K
AssignToNonInvariantField_AnotherClient.P_AlsoBad.smt 18-Feb-2008 19:51 84K
AssignToNonInvariantField_AnotherClient.P_AlsoGood.smt 31-May-2008 22:57 106K
AssignToNonInvariantField_AnotherClient.P_Bad.smt 18-Feb-2008 19:51 84K
AssignToNonInvariantField_AnotherClient.P_Good.smt 31-May-2008 22:57 105K
AssignToNonInvariantField_AnotherClient.P_ViolatesInvariant.smt 18-Feb-2008 19:51 106K
AssignToNonInvariantField_AnotherClient.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 75K
AssignToNonInvariantField_AnotherClient.UpdateTheRep_Bad.smt 18-Feb-2008 19:51 87K
AssignToNonInvariantField_AnotherClient.UpdateTheRep_Good.smt 31-May-2008 22:57 108K
AssignToNonInvariantField_AssignToNonInvariantField..cctor.smt 31-May-2008 22:57 47K
AssignToNonInvariantField_AssignToNonInvariantField..ctor.smt 31-May-2008 22:57 66K
AssignToNonInvariantField_AssignToNonInvariantField.M.smt 31-May-2008 22:57 71K
AssignToNonInvariantField_AssignToNonInvariantField.N.smt 18-Feb-2008 19:51 51K
AssignToNonInvariantField_AssignToNonInvariantField.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 73K
AssignToNonInvariantField_ClientClass..ctor.smt 31-May-2008 22:57 83K
AssignToNonInvariantField_ClientClass.AnotherBadUpdateOfY.smt 18-Feb-2008 19:51 59K
AssignToNonInvariantField_ClientClass.BadUpdateOfY.smt 18-Feb-2008 19:51 50K
AssignToNonInvariantField_ClientClass.GoodUpdateOfY.smt 31-May-2008 22:57 80K
AssignToNonInvariantField_ClientClass.M.smt 31-May-2008 22:57 50K
AssignToNonInvariantField_InternalClass..ctor.smt 31-May-2008 22:57 64K
AssignToNonInvariantField_InternalClass.M.smt 31-May-2008 22:57 49K
AssignToNonInvariantField_RepClass..cctor.smt 31-May-2008 22:57 47K
AssignToNonInvariantField_RepClass..ctor.smt 31-May-2008 22:57 66K
AssignToNonInvariantField_RepClass.M.smt 18-Feb-2008 19:51 51K
AssignToNonInvariantField_RepClass.P.smt 31-May-2008 22:57 72K
AssignToNonInvariantField_RepClass.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 73K
AssignToNonInvariantField_T..ctor.smt 31-May-2008 22:57 65K
AssignToNonInvariantField_T.Ma.smt 31-May-2008 22:57 49K
AssignToNonInvariantField_T.Mb.smt 31-May-2008 22:57 49K
AssignToNonInvariantField_T.Mc0.smt 18-Feb-2008 19:51 50K
AssignToNonInvariantField_T.Mc1.smt 18-Feb-2008 19:51 50K
AssignToNonInvariantField_T.Md.smt 18-Feb-2008 19:51 50K
AssignToNonInvariantField_T.Me.smt 18-Feb-2008 19:51 50K
AssignToRepField_Abc..ctor_System.Boolean.smt 31-May-2008 22:57 93K
AssignToRepField_AssignToRepField..ctor.HARD.smt 31-May-2008 22:57 91K
AssignToRepField_AssignToRepField..ctor_System.Boolean.smt 31-May-2008 22:57 66K
AssignToRepField_AssignToRepField..ctor_System.Int32.array.smt 18-Feb-2008 19:51 61K
AssignToRepField_AssignToRepField..ctor_T.smt 18-Feb-2008 19:51 61K
AssignToRepField_AssignToRepField.M.smt 18-Feb-2008 19:51 41K
AssignToRepField_AssignToRepField.N.smt 31-May-2008 22:57 51K
AssignToRepField_AssignToRepField.Sqrt.smt 31-May-2008 22:57 36K
AssignToRepField_T..ctor.smt 31-May-2008 22:57 52K
AssumeEnsures_BarBad-noinfer.smt 18-Feb-2008 19:51 4.3K
AssumeEnsures_BarGood-noinfer.smt 18-Feb-2008 19:51 4.3K
AssumeEnsures_Caller0-noinfer.smt 18-Feb-2008 19:51 4.4K
AssumeEnsures_Caller1-noinfer.smt 18-Feb-2008 19:51 4.2K
AssumeEnsures_Foo-noinfer.smt 18-Feb-2008 19:51 4.3K
AssumeEnsures_Proc-noinfer.smt 18-Feb-2008 19:51 4.3K
AssumeEnsures_Proc-noinfer_1.smt 18-Feb-2008 19:51 4.3K
Assumptions_Assumptions..ctor.HARD.smt 31-May-2008 22:57 79K
Assumptions_Assumptions..ctor_System.Boolean.HARD.smt 31-May-2008 22:57 93K
Assumptions_Assumptions.Swap_System.Boolean.smt 31-May-2008 22:57 77K
Assumptions_Sub..ctor.smt 31-May-2008 22:57 72K
Assumptions_Sub.M.smt 18-Feb-2008 19:51 51K
Assumptions_Sub.N.smt 18-Feb-2008 19:51 60K
Assumptions_Sub.P.smt 18-Feb-2008 19:51 80K
Assumptions_Sub.Q.smt 18-Feb-2008 19:51 80K
Assumptions_T..ctor.smt 31-May-2008 22:57 52K
Axioms_P-noinfer.smt 18-Feb-2008 19:51 4.6K
Axioms_Q-noinfer.smt 18-Feb-2008 19:51 4.4K
BClient_Client..ctor.smt 31-May-2008 22:57 59K
BClient_Client.DD.smt 31-May-2008 22:57 43K
BClient_Client.Main.HARD.smt 31-May-2008 22:57 92K
BClient_Client.P_MyClass_notnull.smt 31-May-2008 22:57 120K
BClient_Client.Q_MyClass_notnull_System.Boolean_System.Boolean.smt 18-Feb-2008 19:51 111K
BClient_Client.R0_MyClass_notnull.smt 18-Feb-2008 19:51 62K
BClient_Client.R1_MyClass_notnull.smt 18-Feb-2008 19:51 62K
BClient_Client.R_MyClass_notnull_System.Boolean.smt 31-May-2008 22:57 156K
BClient_Client.S_MyClass_notnull_Client_notnull.smt 18-Feb-2008 19:51 81K
B_P0-noinfer.smt 18-Feb-2008 19:51 4.8K
B_P1-noinfer.smt 18-Feb-2008 19:51 4.9K
B_Q0-noinfer.smt 18-Feb-2008 19:51 4.6K
B_Q1-noinfer.smt 18-Feb-2008 19:51 4.7K
Bad_Cell..ctor.smt 31-May-2008 22:57 58K
Bad_Cell.DoStuff_Cell.smt 31-May-2008 22:57 36K
Bad_Cell.Main.smt 18-Feb-2008 19:51 59K
Bag0_Bag..cctor.smt 31-May-2008 22:57 38K
Bag0_Bag..ctor_System.Int32.array.smt 18-Feb-2008 19:51 99K
Bag0_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 18-Feb-2008 19:51 100K
Bag0_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 87K
Bag0_Bag.RemoveMin.smt 18-Feb-2008 19:51 92K
Bag0_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 74K
Bag1_Bag..cctor.smt 31-May-2008 22:57 38K
Bag1_Bag..ctor_System.Int32.array.smt 18-Feb-2008 19:51 104K
Bag1_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 18-Feb-2008 19:51 100K
Bag1_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 87K
Bag1_Bag.RemoveMin.smt 18-Feb-2008 19:51 92K
Bag1_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 74K
Bag2_Bag..cctor.smt 31-May-2008 22:57 38K
Bag2_Bag..ctor_System.Int32.array_notnull.smt 18-Feb-2008 19:51 99K
Bag2_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 18-Feb-2008 19:51 100K
Bag2_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 87K
Bag2_Bag.RemoveMin.smt 18-Feb-2008 19:51 92K
Bag2_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 74K
Bag3_Bag..cctor.smt 31-May-2008 22:57 38K
Bag3_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:57 100K
Bag3_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 18-Feb-2008 19:51 100K
Bag3_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 87K
Bag3_Bag.RemoveMin.smt 18-Feb-2008 19:51 92K
Bag3_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:57 74K
Bag4_Bag..cctor.smt 31-May-2008 22:57 38K
Bag4_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:57 100K
Bag4_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 31-May-2008 22:57 100K
Bag4_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 87K
Bag4_Bag.RemoveMin.smt 18-Feb-2008 19:51 92K
Bag4_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 74K
Bag5_Bag..cctor.smt 31-May-2008 22:58 41K
Bag5_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:58 107K
Bag5_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 31-May-2008 22:58 107K
Bag5_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 116K
Bag5_Bag.RemoveMin.smt 18-Feb-2008 19:51 119K
Bag5_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 77K
Bag7_Bag..cctor.smt 31-May-2008 22:58 41K
Bag7_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:58 107K
Bag7_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 31-May-2008 22:58 107K
Bag7_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 116K
Bag7_Bag.RemoveMin.smt 18-Feb-2008 19:51 119K
Bag7_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 77K
Bag8_Bag..cctor.smt 31-May-2008 22:58 43K
Bag8_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:58 109K
Bag8_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 31-May-2008 22:58 109K
Bag8_Bag.Add_System.Int32.smt 18-Feb-2008 19:51 118K
Bag8_Bag.RemoveMin.smt 31-May-2008 22:58 125K
Bag8_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 79K
Bag9_Bag..cctor.smt 31-May-2008 22:58 43K
Bag9_Bag..ctor_System.Int32.array_notnull.smt 31-May-2008 22:58 109K
Bag9_Bag..ctor_System.Int32.array_notnull_System.Int32_System.Int32.smt 31-May-2008 22:58 109K
Bag9_Bag.Add_System.Int32.smt 31-May-2008 22:58 118K
Bag9_Bag.RemoveMin.smt 31-May-2008 22:58 125K
Bag9_Bag.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 79K
BasicMethodology_BasicMethodology..cctor.smt 31-May-2008 22:58 46K
BasicMethodology_BasicMethodology.P.smt 31-May-2008 22:58 90K
BasicMethodology_BasicMethodology.PeekBelow.smt 31-May-2008 22:58 81K
BasicMethodology_BasicMethodology.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 102K
BasicMethodology_C..ctor.smt 31-May-2008 22:58 65K
BasicMethodology_C.foo.smt 31-May-2008 22:58 47K
BasicMethodology_CS..cctor.smt 31-May-2008 22:58 46K
BasicMethodology_CS..ctor.smt 31-May-2008 22:58 74K
BasicMethodology_CS.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 74K
BasicMethodology_CS.foo.smt 31-May-2008 22:58 48K
BasicMethodology_CS.test0.smt 18-Feb-2008 19:51 58K
BasicMethodology_CS.test1.smt 18-Feb-2008 19:52 107K
BasicMethodology_CS.test2.smt 18-Feb-2008 19:52 143K
BasicMethodology_CS.test3.smt 31-May-2008 22:58 143K
BasicMethodology_Component..cctor.smt 31-May-2008 22:58 46K
BasicMethodology_Component..ctor_System.Int32.smt 31-May-2008 22:58 76K
BasicMethodology_Component..ctor_System.Int32_System.Boolean.smt 18-Feb-2008 19:52 79K
BasicMethodology_Component.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 74K
BasicMethodology_ExtensibleComponent..ctor.smt 31-May-2008 22:58 65K
BasicMethodology_SubClass..cctor.smt 31-May-2008 22:58 46K
BasicMethodology_SubClass..ctor.smt 31-May-2008 22:58 139K
BasicMethodology_SubClass.P.smt 31-May-2008 22:58 140K
BasicMethodology_SubClass.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:58 74K
Bound_P-infer_p.smt 18-Feb-2008 19:52 7.5K
BoxedInt_BoxedInt..ctor.smt 31-May-2008 22:58 60K
BoxedInt_BoxedInt.M_System.Int32.smt 31-May-2008 22:58 48K
BoxedInt_BoxedInt.Main.smt 31-May-2008 22:58 254K
BoxedInt_BoxedInt.N_System.Int32.smt 18-Feb-2008 19:52 47K
BoxedInt_BoxedInt.P_System.Double.smt 18-Feb-2008 19:52 45K
BoxedInt_BoxedInt.Q_System.Object.smt 31-May-2008 22:58 44K
BoxedInt_BoxedInt.R_System.Int32.smt 31-May-2008 22:58 49K
BoxedInt_BoxedInt.S_System.Int32.smt 31-May-2008 22:58 55K
BoxedInt_BoxedInt.T_System.Int32.smt 31-May-2008 22:58 59K
Boxes_Boxes_2..ctor.smt 31-May-2008 22:58 50K
Boxes_Boxes_2.A.smt 31-May-2008 22:58 50K
Boxes_Boxes_2.M_System.Int32.smt 31-May-2008 22:58 38K
Boxes_Boxes_2.N_System.Int32.smt 18-Feb-2008 19:52 38K
Boxes_Boxes_2.P0_Boxes_2..type.parameter.T.smt 31-May-2008 22:58 41K
Boxes_Boxes_2.P1_Boxes_2..type.parameter.U.smt 31-May-2008 22:58 41K
Boxes_Boxes_2.P2_Boxes_2..type.parameter.U.smt 31-May-2008 22:58 41K
Boxes_Boxes_2.Q_System.Int32.smt 18-Feb-2008 19:52 42K
Boxes_Boxes_2.R_Boxes_2..type.parameter.T_notnull.smt 18-Feb-2008 19:52 38K
Boxes_Boxes_2.S0_Boxes_2..type.parameter.T.smt 31-May-2008 22:58 42K
Boxes_Boxes_2.S1_Boxes_2..type.parameter.T.smt 31-May-2008 22:58 52K
Boxes_XYZ..ctor.smt 31-May-2008 22:58 50K
Boxes_XYZ.Main.smt 31-May-2008 22:58 70K
Branching_T..ctor.smt 31-May-2008 22:58 49K
Branching_T.M_T_notnull_System.Int32.smt 31-May-2008 22:58 223K
Branching_T.N_System.Boolean.smt 31-May-2008 22:58 278K
Branching_T.P_System.Int32.smt 31-May-2008 22:58 34K
Branching_T.Q_System.Int32.ptr.smt 31-May-2008 22:58 34K
Bug163_S1.Foo.smt 31-May-2008 22:58 33K
Bug163_S2.Foo_S2.smt 31-May-2008 22:58 33K
CallLoop_Test..ctor-modifiesOnLoop-noinfer.smt 31-May-2008 22:58 44K
CallLoop_Test.Method-modifiesOnLoop-noinfer.smt 31-May-2008 22:58 58K
CallLoop_Test.Other-modifiesOnLoop-noinfer.smt 31-May-2008 22:58 31K
Call_Call..ctor.smt 31-May-2008 22:58 51K
Call_Call.M_System.Int32.smt 31-May-2008 22:58 35K
Call_Call.Main.smt 18-Feb-2008 19:52 99K
Call_DifferentFormalNames-noinfer.smt 18-Feb-2008 19:52 4.6K
Call_DifferentFormalNames-noinfer_1.smt 18-Feb-2008 19:52 5.3K
Call_DifferentFormalNames-noinfer_2.smt 18-Feb-2008 19:52 4.6K
Call_DifferentFormalNames-noinfer_3.smt 18-Feb-2008 19:52 4.5K
Call_Foo-noinfer.smt 18-Feb-2008 19:52 4.5K
Capture_Capture..ctor.smt 31-May-2008 22:58 50K
Capture_Capture.Caller0.smt 31-May-2008 22:58 63K
Capture_Capture.Caller1_System.Object_notnull.smt 18-Feb-2008 19:52 51K
Capture_Capture.Caller2_System.Object_notnull.smt 18-Feb-2008 19:52 51K
Capture_Capture.Caller3_System.Object_notnull.smt 31-May-2008 22:58 53K
Capture_Capture.Foo_System.Object_notnull.smt 31-May-2008 22:58 37K
Cast_Cast..ctor.smt 31-May-2008 22:58 55K
Cast_Cast.M_System.String_System.String_notnull.smt 31-May-2008 22:58 50K
Cast_Cast.N0_System.String_System.Char.array.smt 31-May-2008 22:58 64K
Cast_Cast.N1_System.String.smt 18-Feb-2008 19:52 48K
Cast_Cast.P_System.Object.smt 18-Feb-2008 19:52 46K
Cast_Cast.Q_System.Object.smt 18-Feb-2008 19:52 47K
Cast_Cast.R_System.Object_System.Int32.smt 31-May-2008 22:58 57K
Change769_A..ctor.smt 31-May-2008 22:58 60K
Change769_A.Blah.smt 31-May-2008 22:58 42K
Change769_B..ctor.smt 31-May-2008 22:58 60K
Change769_MyException..ctor.smt 31-May-2008 22:58 61K
Change769_S..ctor_System.Int32.smt 31-May-2008 22:58 44K
Change769_S.Foo.smt 31-May-2008 22:58 41K
Change769_Test1..ctor_System.Int32.smt 31-May-2008 22:58 44K
Change769_Test2..ctor.smt 31-May-2008 22:58 60K
Change769_Test2.Foo.smt 31-May-2008 22:58 41K
Change769_Test3..ctor.smt 31-May-2008 22:58 60K
Change769_Test3.Foo.smt 31-May-2008 22:58 42K
Change769_Test4..ctor.smt 31-May-2008 22:58 60K
Change769_Test4.Foo_A.smt 31-May-2008 22:58 45K
Change769_Test5..ctor.smt 31-May-2008 22:58 60K
Change769_Test5.Foo_System.Int32.ptr.smt 31-May-2008 22:58 44K
Change769_Test6..ctor.smt 31-May-2008 22:58 60K
Change769_Test6.Bar.smt 31-May-2008 22:58 42K
Change769_Test6.Foo.smt 31-May-2008 22:58 41K
Change769_Test7..ctor.smt 31-May-2008 22:58 60K
Change769_Test7.Bar.smt 31-May-2008 22:58 42K
Change769_Test7.Baz.smt 31-May-2008 22:58 47K
Change769_Test8..ctor.smt 31-May-2008 22:58 60K
Change769_Test8.Foo2_System.Int32.array_notnull.smt 31-May-2008 22:58 44K
Change769_Test8.Foo3_System.Collections.Generic.IEnumerable_1...System.Int32.smt 31-May-2008 22:58 44K
Change769_Test8.TriggerMe_System.Int32.smt 31-May-2008 22:58 42K
Change773_Test1..ctor.smt 31-May-2008 22:58 52K
Change773_Test1.Foo_System.Int32.array_notnull_System.Object_notnull.smt 18-Feb-2008 19:53 43K
Change773_Test2..ctor.smt 31-May-2008 22:58 52K
Change773_Test2.Foo.smt 31-May-2008 22:58 38K
Change774_Test1..ctor.smt 31-May-2008 22:58 54K
Change775_S.Foo.smt 31-May-2008 22:59 33K
Change775_Test7..ctor.smt 31-May-2008 22:59 52K
Change775_Test7.Bar_S.smt 31-May-2008 22:59 34K
Chunker0_Chunker..ctor_System.String_System.Int32.smt 31-May-2008 22:59 67K
Chunker0_Chunker.NextChunk.smt 18-Feb-2008 19:53 66K
Chunker1_Chunker..ctor_System.String_System.Int32.smt 18-Feb-2008 19:53 67K
Chunker1_Chunker.NextChunk.smt 18-Feb-2008 19:53 66K
Chunker2_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 68K
Chunker2_Chunker.NextChunk.smt 18-Feb-2008 19:53 66K
Chunker4_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 70K
Chunker4_Chunker.NextChunk.smt 18-Feb-2008 19:53 67K
Chunker5_Chunker..cctor.smt 31-May-2008 22:59 42K
Chunker5_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 76K
Chunker5_Chunker.NextChunk.smt 18-Feb-2008 19:53 72K
Chunker5_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 70K
Chunker6_Chunker..cctor.smt 31-May-2008 22:59 42K
Chunker6_Chunker..ctor_System.String_notnull_System.Int32.smt 18-Feb-2008 19:53 76K
Chunker6_Chunker.NextChunk.smt 18-Feb-2008 19:53 72K
Chunker6_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 97K
Chunker7_Chunker..cctor.smt 31-May-2008 22:59 42K
Chunker7_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 77K
Chunker7_Chunker.NextChunk.smt 18-Feb-2008 19:53 72K
Chunker7_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 97K
Chunker8_Chunker..cctor.smt 31-May-2008 22:59 44K
Chunker8_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 79K
Chunker8_Chunker.NextChunk.smt 18-Feb-2008 19:53 102K
Chunker8_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 99K
Chunker9_Chunker..cctor.smt 31-May-2008 22:59 44K
Chunker9_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 80K
Chunker9_Chunker.NextChunk.smt 18-Feb-2008 19:53 102K
Chunker9_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 107K
Chunker10_Chunker..cctor.smt 31-May-2008 22:59 47K
Chunker10_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 83K
Chunker10_Chunker.NextChunk.smt 18-Feb-2008 19:53 126K
Chunker10_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 110K
Chunker11-AdditiveExpose_Chunker..cctor.smt 31-May-2008 22:59 45K
Chunker11-AdditiveExpose_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 80K
Chunker11-AdditiveExpose_Chunker.NextChunk_NonVirtual.smt 18-Feb-2008 19:53 122K
Chunker11-AdditiveExpose_Chunker.NextChunk_Virtual.smt 18-Feb-2008 19:53 122K
Chunker11-AdditiveExpose_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 107K
Chunker11a_Chunker..cctor.smt 31-May-2008 22:59 45K
Chunker11a_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 80K
Chunker11a_Chunker.NextChunk.smt 18-Feb-2008 19:53 123K
Chunker11a_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 107K
Chunker11b_Chunker..cctor.smt 31-May-2008 22:59 45K
Chunker11b_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 80K
Chunker11b_Chunker.NextChunk.smt 18-Feb-2008 19:53 122K
Chunker11b_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 107K
Chunker11c_Chunker..cctor.smt 31-May-2008 22:59 45K
Chunker11c_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 80K
Chunker11c_Chunker.NextChunk.smt 18-Feb-2008 19:53 123K
Chunker11c_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 107K
Chunker12_Chunker..cctor.smt 31-May-2008 22:59 47K
Chunker12_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 83K
Chunker12_Chunker.NextChunk.smt 18-Feb-2008 19:53 126K
Chunker12_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 110K
Chunker_Chunker..cctor.smt 31-May-2008 22:59 47K
Chunker_Chunker..ctor_System.String_notnull_System.Int32.smt 31-May-2008 22:59 83K
Chunker_Chunker.NextChunk.smt 31-May-2008 22:59 126K
Chunker_Chunker.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 110K
CommittedOblivious_CO..ctor.smt 31-May-2008 22:59 121K
CommittedOblivious_CO.M.smt 31-May-2008 22:59 66K
CommittedOblivious_CO.P.smt 18-Feb-2008 19:53 44K
CommittedOblivious_CO.Q.smt 18-Feb-2008 19:53 35K
CommittedOblivious_W..ctor.smt 31-May-2008 22:59 50K
CommittedOblivious_W.ConfinedOp.smt 31-May-2008 22:59 35K
CommittedOblivious_W.MutatingOp.smt 31-May-2008 22:59 35K
CommittedOblivious_W.PureOp.smt 31-May-2008 22:59 35K
CommittedOblivious_W.StateIndependentOp.smt 31-May-2008 22:59 34K
ConstructorVisibility_BinaryExpr..ctor_System.Int32_Expr_notnull_Expr_notnull.smt 31-May-2008 22:59 62K
ConstructorVisibility_Expr..ctor.smt 31-May-2008 22:59 54K
ConstructorVisibility_Literal..ctor_System.Int32.smt 31-May-2008 22:59 56K
ConstructorVisibility_UnaryExpr..ctor_System.Int32_Expr_notnull.smt 31-May-2008 22:59 59K
ConstructorVisibility_Visitor..ctor.smt 31-May-2008 22:59 54K
ConstructorVisibility_Visitor.M.smt 18-Feb-2008 19:53 37K
ConstructorVisibility_Visitor.VisitBinaryExpr_BinaryExpr_notnull.smt 31-May-2008 22:59 40K
ConstructorVisibility_Visitor.VisitExpr_Expr_notnull.smt 31-May-2008 22:59 106K
ConstructorVisibility_Visitor.VisitLiteral_Literal_notnull.smt 31-May-2008 22:59 40K
ConstructorVisibility_Visitor.VisitUnaryExpr_UnaryExpr_notnull.smt 31-May-2008 22:59 40K
CutBackEdge_Test-noinfer.smt 18-Feb-2008 19:53 4.6K
DefaultLoopInv0_A..ctor-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 48K
DefaultLoopInv0_A.M-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 56K
DefaultLoopInv0_A.N0_System.Int32-modifiesOnLoop-noinfer.smt 18-Feb-2008 19:53 91K
DefaultLoopInv0_A.N1_System.Int32-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 91K
DefaultLoopInv0_B..ctor-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 47K
DefaultLoopInv0_Test..ctor-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 50K
DefaultLoopInv0_Test.Method-modifiesOnLoop-noinfer.smt 31-May-2008 22:59 71K
DefinedExpressions_DefinedExpressions..ctor.smt 31-May-2008 22:59 55K
DefinedExpressions_DefinedExpressions.Division_System.Boolean_System.Int32.array_notnull.smt 31-May-2008 22:59 46K
DefinedExpressions_DefinedExpressions.Division_System.Int32.smt 18-Feb-2008 19:53 38K
DefinedExpressions_DefinedExpressions.Modulo_System.Boolean_System.Int32.array_notnull.smt 31-May-2008 22:59 46K
DefinedExpressions_DefinedExpressions.Modulo_System.Int32.smt 18-Feb-2008 19:53 38K
Delegate_Delegate..ctor.smt 31-May-2008 22:59 71K
Delegate_Delegate..ctor_System.Boolean.smt 31-May-2008 22:59 72K
Delegate_Delegate.CallIt_System.Int32_System.String_notnull.smt 31-May-2008 22:59 65K
Delegate_Delegate.CheckTypes_MyDelegate.smt 31-May-2008 22:59 75K
Delegate_Delegate.InstanceDelegateTarget_System.Int32_System.Object_notnull.smt 31-May-2008 22:59 43K
Delegate_Delegate.M_MyDelegate.smt 18-Feb-2008 19:54 52K
Delegate_Delegate.N_MyDelegate_notnull.smt 31-May-2008 22:59 51K
Delegate_Delegate.P_MyDelegate.smt 31-May-2008 22:59 57K
Delegate_Delegate.StaticDelegateTarget_System.Int32_System.Object_notnull.smt 31-May-2008 22:59 42K
DoWhileBad_Test..ctor.smt 31-May-2008 22:59 54K
DoWhileBad_Test.Copy_System.Int32.smt 18-Feb-2008 19:54 80K
DoWhileGood_Test..ctor.smt 31-May-2008 22:59 54K
DoWhileGood_Test.Copy_System.Int32.smt 31-May-2008 22:59 78K
DynamicTypes_DynamicTypes..ctor.smt 31-May-2008 22:59 56K
DynamicTypes_DynamicTypes.M.smt 31-May-2008 22:59 41K
DynamicTypes_DynamicTypes.N0.smt 31-May-2008 22:59 55K
DynamicTypes_DynamicTypes.N1.smt 18-Feb-2008 19:54 56K
DynamicTypes_DynamicTypes.P0.smt 31-May-2008 22:59 54K
DynamicTypes_DynamicTypes.P1.smt 18-Feb-2008 19:54 54K
DynamicTypes_DynamicTypes.P2.smt 18-Feb-2008 19:54 54K
DynamicTypes_MyTestSpace.A..ctor.smt 31-May-2008 22:59 72K
DynamicTypes_MyTestSpace.A.M_System.Object_notnull.smt 31-May-2008 22:59 64K
DynamicTypes_MyTestSpace.AIType..ctor.smt 31-May-2008 22:59 56K
DynamicTypes_SealedSub..ctor.smt 31-May-2008 22:59 56K
DynamicTypes_SealedSub.M.smt 31-May-2008 22:59 57K
DynamicTypes_Sub0..ctor.smt 31-May-2008 22:59 56K
DynamicTypes_Sub0.M.smt 18-Feb-2008 19:54 57K
DynamicTypes_Sub1..ctor.smt 31-May-2008 22:59 56K
DynamicTypes_Sub1.M.smt 18-Feb-2008 19:54 57K
EnsuresFalse_C..ctor.smt 31-May-2008 22:59 51K
EnsuresFalse_C.foo.smt 18-Feb-2008 19:54 44K
Ensures_P-noinfer.smt 18-Feb-2008 19:54 4.7K
Ensures_Q-noinfer.smt 18-Feb-2008 19:54 4.9K
Ensures_Q-noinfer_1.smt 18-Feb-2008 19:54 4.9K
Ensures_Q-noinfer_2.smt 18-Feb-2008 19:54 4.8K
Ensures_Q-noinfer_3.smt 18-Feb-2008 19:54 4.9K
Ensures_Q-noinfer_4.smt 18-Feb-2008 19:54 4.9K
Ensures_Q-noinfer_5.smt 18-Feb-2008 19:54 4.8K
Ensures_Q-noinfer_6.smt 18-Feb-2008 19:54 4.9K
Ensures_Q-noinfer_7.smt 18-Feb-2008 19:54 5.0K
Ensures_Q-noinfer_8.smt 18-Feb-2008 19:54 4.9K
Ensures_Test..ctor.smt 31-May-2008 22:59 51K
Ensures_Test.FooBad.smt 18-Feb-2008 19:54 33K
Ensures_Test.FooGood.smt 31-May-2008 22:59 33K
ExactTypes_F..cctor.smt 31-May-2008 22:59 44K
ExactTypes_F..ctor_System.Object.smt 31-May-2008 22:59 93K
ExactTypes_F..ctor_W_notnull.smt 18-Feb-2008 19:54 81K
ExactTypes_F.Assign_X.array_X_System.Int32.smt 18-Feb-2008 19:54 77K
ExactTypes_F.CoVariance_W_notnull_System.Object.array_notnull.smt 18-Feb-2008 19:54 59K
ExactTypes_F.M_X.array_notnull.smt 18-Feb-2008 19:54 68K
ExactTypes_F.N_P.array.smt 18-Feb-2008 19:54 51K
ExactTypes_F.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 22:59 128K
ExactTypes_P..ctor.smt 31-May-2008 22:59 61K
ExactTypes_Q..ctor.smt 31-May-2008 22:59 60K
ExactTypes_W..ctor.smt 31-May-2008 22:59 61K
ExactTypes_X..ctor.smt 31-May-2008 22:59 60K
ExactTypes_Y0..ctor.smt 31-May-2008 22:59 60K
ExactTypes_Y1..ctor.smt 31-May-2008 22:59 60K
ExactTypes_Y2..ctor.smt 31-May-2008 22:59 60K
ExactTypes_Z0..ctor.smt 31-May-2008 22:59 60K
ExactTypes_Z1..ctor.smt 31-May-2008 22:59 60K
ExplicitExposeVersionHavoc_A..ctor-level_2.smt 31-May-2008 22:59 76K
ExplicitExposeVersionHavoc_A.Unsound-level_2.smt 18-Feb-2008 19:54 50K
ExplicitExposeVersionHavoc_C..ctor-level_2.smt 31-May-2008 22:59 62K
ExplicitExposeVersionHavoc_C.Foo-level_2.smt 31-May-2008 22:59 46K
ExplicitExposeVersionHavoc_C.Unsound-level_2.smt 18-Feb-2008 19:54 48K
ExplicitExposeVersionHavoc_D..cctor-level_2.smt 31-May-2008 23:00 43K
ExplicitExposeVersionHavoc_D..ctor-level_2.smt 31-May-2008 23:00 64K
ExplicitExposeVersionHavoc_D.Foo-level_2.smt 31-May-2008 23:00 46K
ExplicitExposeVersionHavoc_D.SpecSharp.CheckInvariant_System.Boolean-level_2.smt 31-May-2008 23:00 71K
ExplicitExposeVersionHavoc_D.Unsound-level_2.smt 18-Feb-2008 19:54 49K
ExposeVersion_A..ctor-level_2.smt 31-May-2008 23:00 72K
ExposeVersion_A.DummyPure_System.Int32_System.Int32-level_2.smt 31-May-2008 23:00 56K
ExposeVersion_A.FieldUpdateOnOtherFieldWithGetterQuery-level_2.smt 18-Feb-2008 19:54 66K
ExposeVersion_A.FieldUpdateOnOtherFieldWithMethodQuery-level_2.smt 18-Feb-2008 19:54 66K
ExposeVersion_A.FieldUpdateOnOtherWithGetterQuery_A_notnull_A_notnull-level_2.smt 31-May-2008 23:00 70K
ExposeVersion_A.FieldUpdateOnOtherWithMethodQueryWithDifferentParam_A_notnull_A_notnull-level_2.smt 18-Feb-2008 19:54 70K
ExposeVersion_A.FieldUpdateOnOtherWithMethodQuery_A_notnull_A_notnull-level_2.smt 31-May-2008 23:00 70K
ExposeVersion_A.FieldUpdateWithGetterQuery_A_notnull-level_2.smt 18-Feb-2008 19:54 67K
ExposeVersion_A.FieldUpdateWithMethodQuery_A_notnull-level_2.smt 18-Feb-2008 19:54 67K
ExposeVersion_A.MethodCallOnOtherWithGetterQuery_A_notnull-level_2.smt 31-May-2008 23:00 67K
ExposeVersion_A.MethodCallOnOtherWithMethodQuery_A_notnull-level_2.smt 31-May-2008 23:00 67K
ExposeVersion_A.MethodCallWithGetterQuery-level_2.smt 18-Feb-2008 19:54 65K
ExposeVersion_A.MethodCallWithMethodQuery-level_2.smt 18-Feb-2008 19:54 65K
ExposeVersion_A.PureCall_A_notnull-level_2.smt 31-May-2008 23:00 84K
ExposeVersion_A.getValue_System.Int32-level_2.smt 31-May-2008 23:00 56K
ExposeVersion_A.get_Value-level_2.smt 31-May-2008 23:00 55K
ExposeVersion_A.setValue_System.Int32-level_2.smt 31-May-2008 23:00 56K
ExposeVersion_A.set_Value_System.Int32-level_2.smt 31-May-2008 23:00 65K
ExposeVersion_C..ctor-level_2.smt 31-May-2008 23:00 71K
ExposeVersion_C.foo-level_2.smt 31-May-2008 23:00 56K
ExposeVersion_D..ctor-level_2.smt 31-May-2008 23:00 72K
ExposeVersion_D.bar-level_2.smt 31-May-2008 23:00 67K
ExposeVersion_Q..ctor-level_2.smt 31-May-2008 23:00 71K
ExposeVersion_Q.blah_QClient-level_2.smt 31-May-2008 23:00 55K
ExposeVersion_QClient..ctor-level_2.smt 31-May-2008 23:00 102K
ExposeVersion_QClient.bar-level_2.smt 31-May-2008 23:00 64K
ExposeVersion_S..ctor-level_2.smt 31-May-2008 23:00 71K
ExposeVersion_T..ctor-level_2.smt 31-May-2008 23:00 72K
ExposeVersion_T.get_Value-level_2.smt 31-May-2008 23:00 55K
ExposeVersion_T.m-level_2.smt 31-May-2008 23:00 70K
ExposeVersion_T.n-level_2.smt 18-Feb-2008 19:54 67K
ExposeVersion_T.set_Value_System.Int32-level_2.smt 31-May-2008 23:00 56K
ExposeVersion_X..ctor-level_2.smt 31-May-2008 23:00 72K
ExposeVersion_X.FieldUpdateByObjectCreationWithMethodQueryFails_X_notnull-level_2.smt 18-Feb-2008 19:54 69K
ExposeVersion_X.FieldUpdateByObjectCreationWithMethodQuery_X_notnull-level_2.smt 31-May-2008 23:00 69K
ExposeVersion_X.ObjectCreationWithMethodQuery_X_notnull-level_2.smt 31-May-2008 23:00 68K
ExposeVersion_X.getValue_System.Int32-level_2.smt 31-May-2008 23:00 56K
Factory_C..ctor.smt 31-May-2008 23:00 57K
Factory_C.Create.smt 31-May-2008 23:00 56K
Factory_Test..ctor.smt 31-May-2008 23:00 54K
Factory_Test.M.smt 31-May-2008 23:00 69K
Factory_Test.N.smt 31-May-2008 23:00 72K
Factory_Test.O.smt 31-May-2008 23:00 58K
Factory_Test.P.smt 31-May-2008 23:00 62K
Factory_Test.Q.smt 31-May-2008 23:00 74K
Factory_Test.R.smt 31-May-2008 23:00 77K
False_Test1-noinfer.smt 18-Feb-2008 19:54 4.2K
False_Test2-noinfer.smt 18-Feb-2008 19:54 4.3K
FieldUpdateLoop_Test..ctor.smt 31-May-2008 23:00 56K
FieldUpdateLoop_Test.Method.smt 31-May-2008 23:00 54K
Finally_ReturnFinally..cctor-modifiesOnLoop.smt 31-May-2008 23:00 42K
Finally_ReturnFinally..ctor-modifiesOnLoop.smt 31-May-2008 23:00 63K
Finally_ReturnFinally.Expose0_System.Boolean-modifiesOnLoop.smt 18-Feb-2008 19:54 94K
Finally_ReturnFinally.Expose1_System.Boolean-modifiesOnLoop.smt 31-May-2008 23:00 94K
Finally_ReturnFinally.Expose2_System.Boolean_System.Int32-modifiesOnLoop.smt 18-Feb-2008 19:54 136K
Finally_ReturnFinally.Expose3_System.Boolean_System.Int32-modifiesOnLoop.smt 18-Feb-2008 19:54 134K
Finally_ReturnFinally.Expose4_System.Boolean_System.Int32-modifiesOnLoop.smt 18-Feb-2008 19:54 136K
Finally_ReturnFinally.M-modifiesOnLoop.smt 18-Feb-2008 19:54 41K
Finally_ReturnFinally.N-modifiesOnLoop.smt 18-Feb-2008 19:54 41K
Finally_ReturnFinally.P0_System.Int32-modifiesOnLoop.smt 31-May-2008 23:00 82K
Finally_ReturnFinally.P1_System.Int32-modifiesOnLoop.smt 18-Feb-2008 19:54 82K
Finally_ReturnFinally.SpecSharp.CheckInvariant_System.Boolean-modifiesOnLoop.smt 31-May-2008 23:00 69K
Finally_ReturnFinally.TryFinally0-modifiesOnLoop.smt 18-Feb-2008 19:54 47K
Finally_ReturnFinally.TryFinally1-modifiesOnLoop.smt 18-Feb-2008 19:54 48K
Finally_ReturnFinally.TryFinally2-modifiesOnLoop.smt 31-May-2008 23:00 48K
Finally_ReturnFinally.TryFinally3-modifiesOnLoop.smt 31-May-2008 23:00 47K
ForLoop0_ForLoop0..ctor-infer_i.smt 31-May-2008 23:00 50K
ForLoop0_ForLoop0.AForLoop_System.Int32-infer_i.smt 31-May-2008 23:00 57K
FormulaTerm2_P-noinfer.smt 18-Feb-2008 19:54 4.5K
FormulaTerm2_PX-noinfer.smt 18-Feb-2008 19:54 4.5K
FormulaTerm2_Q-noinfer.smt 18-Feb-2008 19:54 4.4K
FormulaTerm2_QX-noinfer.smt 18-Feb-2008 19:54 4.4K
FormulaTerm_LESS-noinfer_3.smt 18-Feb-2008 19:54 4.7K
FormulaTerm_LESS-noinfer_4.smt 18-Feb-2008 19:54 5.9K
FormulaTerm_LESS-noinfer_5.smt 18-Feb-2008 19:54 5.9K
FormulaTerm_less-noinfer.smt 18-Feb-2008 19:54 4.7K
FormulaTerm_less-noinfer_1.smt 18-Feb-2008 19:54 5.9K
FormulaTerm_less-noinfer_2.smt 18-Feb-2008 19:54 5.9K
FormulaTerm_or-noinfer.smt 18-Feb-2008 19:55 4.8K
FormulaTerm_plus-noinfer.smt 18-Feb-2008 19:55 4.6K
FormulaTerm_plus-noinfer_1.smt 18-Feb-2008 19:55 4.6K
FormulaTerm_plus-noinfer_2.smt 18-Feb-2008 19:55 4.6K
FormulaTerm_plus2-noinfer.smt 18-Feb-2008 19:55 4.6K
Generic_Test..ctor.smt 31-May-2008 23:00 55K
Generic_Test.Main.smt 31-May-2008 23:00 59K
Global_MyNamespace.Global..ctor.smt 31-May-2008 23:00 53K
Global_MyNamespace.Global.M_System.Int32.smt 31-May-2008 23:00 51K
Global_MyNamespace.Global.N_System.Int32_System.Int32_System.Int32.smt 31-May-2008 23:00 51K
Global_MyNamespace.Old..ctor.smt 31-May-2008 23:00 53K
Global_MyNamespace.Old.IncG.smt 31-May-2008 23:00 39K
Global_MyNamespace.Old.IncGBad.smt 18-Feb-2008 19:55 38K
Global_MyNamespace.Old.IncX.smt 31-May-2008 23:00 48K
Global_MyNamespace.Old.IncXBad.smt 18-Feb-2008 19:55 48K
Good_Cell..ctor.smt 31-May-2008 23:00 58K
Good_Cell.DoStuff_Cell.smt 31-May-2008 23:00 36K
Good_Cell.Main.smt 31-May-2008 23:00 76K
Iff_Iff..ctor.smt 31-May-2008 23:00 50K
Iff_Iff.M_System.Boolean_System.Boolean.smt 31-May-2008 23:00 41K
Iff_Iff.P_System.Boolean_System.Boolean.smt 31-May-2008 23:00 116K
Iff_Iff.Q_System.Boolean_System.Boolean.smt 31-May-2008 23:00 120K
Iff_Iff.R_System.Boolean_System.Boolean.smt 18-Feb-2008 19:55 63K
Immutable_test3.B..ctor.smt 31-May-2008 23:01 65K
Immutable_test3.B.M.smt 31-May-2008 23:01 56K
Immutable_test3.C..cctor.smt 31-May-2008 23:01 45K
Immutable_test3.C..ctor.smt 31-May-2008 23:01 84K
Immutable_test3.C..ctor_test3.B_notnull.smt 31-May-2008 23:01 77K
Immutable_test3.C.M0.smt 18-Feb-2008 19:55 45K
Immutable_test3.C.M1.smt 18-Feb-2008 19:55 45K
Immutable_test3.C.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 77K
Immutable_test3.E..ctor.smt 31-May-2008 23:01 62K
Immutable_test3.E.M.smt 18-Feb-2008 19:55 90K
Immutable_test3.E.Mfalse.smt 18-Feb-2008 19:55 44K
Immutable_test3.Imtbl..ctor.smt 31-May-2008 23:01 61K
Immutable_test3.Typeof..ctor.smt 31-May-2008 23:01 61K
Immutable_test3.Typeof.Foo_test3.Typeof_notnull.smt 31-May-2008 23:01 54K
Immutable_test3.Typeof.M_test3.Typeof_notnull.smt 31-May-2008 23:01 54K
Immutable_test3.XY..ctor.smt 31-May-2008 23:01 63K
Immutable_test3.XY.M0_test3.Imtbl.smt 31-May-2008 23:01 61K
Immutable_test3.XY.M1_test3.Imtbl.smt 18-Feb-2008 19:55 61K
Immutable_test3.XY.M2_test3.Imtbl.smt 18-Feb-2008 19:55 67K
Immutable_test3.XY.M3_test3.Imtbl.smt 18-Feb-2008 19:55 61K
Immutable_test3.XY.M4_test3.Imtbl.smt 18-Feb-2008 19:55 67K
Immutable_test3.XY.M5_System.Object.smt 18-Feb-2008 19:55 63K
IndexerInExpr_Test..ctor.smt 31-May-2008 23:01 54K
IndexerInExpr_Test.Foo_System.Int32.array_notnull.smt 31-May-2008 23:01 39K
InitialValuesBad_Cell..ctor.smt 18-Feb-2008 19:55 63K
InitialValuesBad_Test..ctor.smt 31-May-2008 23:01 54K
InitialValuesBad_Test.Main.smt 31-May-2008 23:01 47K
InitialValuesGood_Cell..ctor.smt 31-May-2008 23:01 63K
InitialValuesGood_Test..ctor.smt 31-May-2008 23:01 54K
InitialValuesGood_Test.Main.smt 31-May-2008 23:01 47K
IntToString_Test..ctor.smt 31-May-2008 23:01 54K
IntToString_Test.Main.smt 31-May-2008 23:01 56K
Interval_Cell..ctor_System.Int32.smt 31-May-2008 23:01 59K
Interval_Cell.Shift_System.Int32.smt 31-May-2008 23:01 51K
Interval_Interval..cctor.smt 31-May-2008 23:01 39K
Interval_Interval..ctor_System.Int32_System.Int32.HARD.smt 31-May-2008 23:01 100K
Interval_Interval.BadShift2_System.Int32.smt 18-Feb-2008 19:55 71K
Interval_Interval.BadShift_System.Int32.smt 18-Feb-2008 19:55 64K
Interval_Interval.GetLength.smt 31-May-2008 23:01 42K
Interval_Interval.Shift_System.Int32.smt 31-May-2008 23:01 89K
Interval_Interval.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 68K
Irreducible_Test..ctor.smt 31-May-2008 23:01 51K
List_List..cctor.smt 31-May-2008 23:01 39K
List_List..ctor.smt 31-May-2008 23:01 78K
List_List.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 67K
List_Node..cctor.smt 31-May-2008 23:01 39K
List_Node..ctor.smt 31-May-2008 23:01 63K
List_Node.InsertBad_System.Int32_System.Boolean.smt 18-Feb-2008 19:55 136K
List_Node.Insert_System.Int32_System.Boolean.smt 18-Feb-2008 19:55 179K
List_Node.M.smt 31-May-2008 23:01 60K
List_Node.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 162K
Literals_Test..ctor.smt 31-May-2008 23:01 56K
Literals_Test.Bar.smt 31-May-2008 23:01 39K
Literals_Test.Foo_System.String_notnull.smt 31-May-2008 23:01 38K
Literals_Test.Quiz_System.Double_System.Double.smt 31-May-2008 23:01 38K
Literals_Test.Quux_System.Int64.smt 31-May-2008 23:01 38K
LocalExpose_C..cctor.smt 31-May-2008 23:01 45K
LocalExpose_C..ctor.smt 31-May-2008 23:01 86K
LocalExpose_C.M0.smt 18-Feb-2008 19:55 65K
LocalExpose_C.M1.smt 31-May-2008 23:01 66K
LocalExpose_C.M2.smt 18-Feb-2008 19:55 66K
LocalExpose_C.M3.smt 18-Feb-2008 19:55 47K
LocalExpose_C.M5.smt 18-Feb-2008 19:55 46K
LocalExpose_C.M6.smt 18-Feb-2008 19:55 84K
LocalExpose_C.M7.smt 18-Feb-2008 19:55 84K
LocalExpose_C.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 72K
LocalExpose_D..ctor.smt 31-May-2008 23:01 77K
LocalExpose_D.M0.smt 18-Feb-2008 19:55 69K
LocalExpose_D.M1.smt 18-Feb-2008 19:55 69K
LocalExpose_D.M2.smt 18-Feb-2008 19:55 68K
LocalExpose_S..cctor.smt 31-May-2008 23:01 45K
LocalExpose_S..ctor.smt 31-May-2008 23:01 65K
LocalExpose_S.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 82K
LocalExpose_S.V0.smt 31-May-2008 23:01 65K
LocalExpose_S.V1.smt 31-May-2008 23:01 65K
LocalExpose_S.V2.smt 18-Feb-2008 19:55 66K
LocalExpose_S.V3.smt 18-Feb-2008 19:55 66K
LocalExpose_T..cctor.smt 31-May-2008 23:01 45K
LocalExpose_T..ctor.smt 31-May-2008 23:01 64K
LocalExpose_T.M0.smt 18-Feb-2008 19:55 67K
LocalExpose_T.M1.smt 18-Feb-2008 19:55 67K
LocalExpose_T.M2.smt 18-Feb-2008 19:55 67K
LocalExpose_T.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:01 77K
LocalExpose_T.V0.smt 31-May-2008 23:01 76K
LocalExpose_T.V1.smt 18-Feb-2008 19:55 78K
LocalExpose_T.V2.smt 31-May-2008 23:01 76K
LocalExpose_T.V3.smt 18-Feb-2008 19:55 78K
LocalExpose_U..cctor.smt 31-May-2008 23:02 45K
LocalExpose_U..ctor.smt 31-May-2008 23:02 64K
LocalExpose_U.N0.smt 18-Feb-2008 19:55 89K
LocalExpose_U.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:02 72K
LockIncorrect_LockingExample.smt 18-Feb-2008 19:55 4.7K
Lock_LockingExample.smt 18-Feb-2008 19:55 10K
LoopInvAssume_Test-noinfer.smt 18-Feb-2008 19:55 5.7K
ManualRange1_Test.Main.smt 31-May-2008 23:02 191K
ManualRange1_Tools.Range_Enumerable..ctor_System.Int32_System.Int32.smt 31-May-2008 23:02 74K
ManualRange1_Tools.Range_Enumerable.GetEnumerator.smt 31-May-2008 23:02 76K
ManualRange1_Tools.Range_Enumerator..cctor.smt 31-May-2008 23:02 45K
ManualRange1_Tools.Range_Enumerator..ctor_System.Int32_System.Int32.smt 31-May-2008 23:02 80K
ManualRange1_Tools.Range_Enumerator.MoveNext.smt 31-May-2008 23:02 84K
ManualRange1_Tools.Range_Enumerator.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:02 49K
ManualRange1_Tools.Range_Enumerator.get_Current.smt 31-May-2008 23:02 50K
ManualRange1_Tools.Range_System.Int32_System.Int32.smt 31-May-2008 23:02 65K
ManualRange2_Test.Main.smt 31-May-2008 23:02 166K
ManualRange2_Tools.Range_Body_System.Int32_System.Int32.smt 31-May-2008 23:02 104K
ModifiesClauses_C..ctor.smt 31-May-2008 23:02 64K
ModifiesClauses_C.Method0.smt 31-May-2008 23:02 55K
ModifiesClauses_C.Method1_System.Int32.array_notnull.smt 31-May-2008 23:02 47K
ModifiesClauses_C.Method2.smt 31-May-2008 23:02 44K
ModifiesClauses_C.Method3.smt 31-May-2008 23:02 44K
ModifiesClauses_D..ctor.smt 31-May-2008 23:02 61K
ModifiesClauses_F..ctor.smt 31-May-2008 23:02 61K
ModifiesClauses_ModifiesClauses..ctor.smt 31-May-2008 23:02 58K
ModifiesClauses_ModifiesClauses.Test0_C_notnull.smt 31-May-2008 23:02 55K
ModifiesClauses_ModifiesClauses.Test1_C_notnull.smt 18-Feb-2008 19:55 55K
ModifiesClauses_ModifiesClauses.Test2_C_notnull.smt 18-Feb-2008 19:55 77K
ModifiesClauses_ModifiesClauses.Test3_D_notnull.smt 31-May-2008 23:02 67K
ModifiesClauses_ModifiesClauses.Test4_D_notnull.smt 18-Feb-2008 19:55 67K
Modifies_Arraytests..ctor-level_2.smt 31-May-2008 23:02 57K
Modifies_Arraytests.Bad_System.Int32.array_notnull-level_2.smt 18-Feb-2008 19:55 54K
Modifies_Arraytests.M0_System.Int32.array_notnull-level_2.smt 31-May-2008 23:02 57K
Modifies_Arraytests.M1_System.Int32.array_notnull-level_2.smt 31-May-2008 23:02 46K
Modifies_Arraytests.Main-level_2.smt 18-Feb-2008 19:55 103K
Modifies_Arraytests.P0_System.String.array-level_2.smt 31-May-2008 23:02 56K
Modifies_Arraytests.P1_System.String.array-level_2.smt 18-Feb-2008 19:55 56K
Modifies_C..ctor-level_2.smt 31-May-2008 23:02 72K
Modifies_C.Correct_T_notnull-level_2.smt 31-May-2008 23:02 45K
Modifies_C.Incorrect_T_notnull-level_2.smt 18-Feb-2008 19:55 45K
Modifies_T..ctor-level_2.smt 31-May-2008 23:02 57K
ModifyOther_A..ctor.smt 31-May-2008 23:02 60K
ModifyOther_Test..ctor.smt 31-May-2008 23:02 76K
ModifyOther_Test.Modify.smt 31-May-2008 23:02 82K
MultipleErrors_P-showErrorTrace-vc_block.smt 18-Feb-2008 19:55 4.9K
MultipleErrors_P-showErrorTrace-vc_dag_2.smt 18-Feb-2008 19:55 4.7K
MultipleErrors_P-showErrorTrace-vc_dag_4.smt 18-Feb-2008 19:55 4.7K
MultipleErrors_P-showErrorTrace-vc_local_1.smt 18-Feb-2008 19:55 4.8K
MultipleErrors_P-showErrorTrace-vc_local_3.smt 18-Feb-2008 19:56 4.8K
MustOverride_Ex1.B..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex1.B.foo.smt 18-Feb-2008 19:56 42K
MustOverride_Ex2.B..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex2.B.foo.smt 31-May-2008 23:02 42K
MustOverride_Ex3.B..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex3.B.foo.smt 31-May-2008 23:02 42K
MustOverride_Ex3.C..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex3.C.foo.smt 18-Feb-2008 19:56 42K
MustOverride_Ex4.B..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex4.B.foo.smt 31-May-2008 23:02 42K
MustOverride_Ex4.C..ctor.smt 31-May-2008 23:02 51K
MustOverride_Ex4.C.foo.smt 31-May-2008 23:02 42K
NestedVC_P-vc_nested.smt 18-Feb-2008 19:56 5.5K
NestedVC_Q-vc_nested.smt 18-Feb-2008 19:56 5.6K
Old_OldInCode0-noinfer.smt 18-Feb-2008 19:56 6.4K
Old_OutParam0-noinfer.smt 18-Feb-2008 19:56 4.5K
Old_OutParam1-noinfer.smt 18-Feb-2008 19:56 4.5K
Old_P-noinfer.smt 18-Feb-2008 19:56 4.5K
Old_Q-noinfer.smt 18-Feb-2008 19:56 4.5K
Old_R-noinfer.smt 18-Feb-2008 19:56 4.5K
Old_Swap-noinfer.smt 18-Feb-2008 19:56 6.1K
Old_SwapElems-noinfer.smt 18-Feb-2008 19:56 7.4K
Operators_Operators..ctor.smt 31-May-2008 23:02 48K
Operators_Operators.M_System.Int32_System.Int32_System.Boolean_System.Object.array_notnull.smt 31-May-2008 23:02 97K
Operators_Operators.P_System.Boolean_System.Boolean.smt 31-May-2008 23:02 34K
Pack_Bad1.Cell..cctor.smt 31-May-2008 23:02 42K
Pack_Bad1.Cell..ctor_System.Int32.smt 18-Feb-2008 19:56 68K
Pack_Bad1.Cell.GetX.smt 31-May-2008 23:02 65K
Pack_Bad1.Cell.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:02 70K
Pack_Bad2.Cell..cctor.smt 31-May-2008 23:02 42K
Pack_Bad2.Cell..ctor_System.Int32.smt 31-May-2008 23:02 70K
Pack_Bad2.Cell.GetX.smt 18-Feb-2008 19:56 68K
Pack_Bad2.Cell.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:02 70K
Pack_Good1.Cell..cctor.smt 31-May-2008 23:02 42K
Pack_Good1.Cell..ctor_System.Int32.smt 31-May-2008 23:02 70K
Pack_Good1.Cell.GetX.smt 31-May-2008 23:02 65K
Pack_Good1.Cell.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:03 70K
Pack_Good2.Cell..cctor.smt 31-May-2008 23:03 42K
Pack_Good2.Cell..ctor_System.Int32.smt 31-May-2008 23:03 70K
Pack_Good2.Cell.GetX.smt 31-May-2008 23:03 68K
Pack_Good2.Cell.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:03 70K
ParamInAssert_Test..ctor.smt 31-May-2008 23:03 54K
ParamInAssert_Test.Bar_System.Int32.smt 18-Feb-2008 19:56 39K
ParamInAssert_Test.Foo_System.Int32.smt 31-May-2008 23:03 39K
ParamOut_Test..ctor.smt 31-May-2008 23:03 53K
ParamOut_Test.Main.smt 31-May-2008 23:03 36K
ParamOut_Test.foo_MyInterface_2...System.String___System.String_notnull.smt 31-May-2008 23:03 69K
Passification_Array0-noinfer.smt 31-May-2008 23:03 6.2K
Passification_Array1-noinfer.smt 18-Feb-2008 19:56 6.2K
Passification_Array2-noinfer.smt 31-May-2008 23:03 6.3K
Passification_Loop-noinfer.smt 18-Feb-2008 19:56 4.3K
Passification_Loop0-noinfer.smt 18-Feb-2008 19:56 5.7K
Passification_P-noinfer.smt 18-Feb-2008 19:56 5.0K
Passification_Q-noinfer.smt 18-Feb-2008 19:56 5.0K
Passification_UnreachableBlock-noinfer.smt 18-Feb-2008 19:56 4.5K
Passification_bad0-noinfer.smt 18-Feb-2008 19:56 4.6K
Passification_good0-noinfer.smt 18-Feb-2008 19:56 5.7K
Passification_good1-noinfer.smt 18-Feb-2008 19:56 4.7K
PeerConsistentLoop_C..ctor.smt 31-May-2008 23:03 55K
PeerConsistentLoop_C.M0_System.Int32.smt 31-May-2008 23:03 112K
PeerConsistentLoop_C.M1_System.Int32.smt 31-May-2008 23:03 98K
PeerConsistentLoop_C.M_Coll_System.Int32.smt 31-May-2008 23:03 89K
PeerConsistentLoop_Coll..ctor.smt 31-May-2008 23:03 55K
PeerConsistentLoop_Coll.P.smt 31-May-2008 23:03 36K
PeerConsistentLoop_T..ctor.smt 31-May-2008 23:03 55K
PeerFields_Child..ctor_System.Int32.smt 31-May-2008 23:03 93K
PeerFields_Child.M.smt 31-May-2008 23:03 62K
PeerFields_Parent..ctor.smt 31-May-2008 23:03 56K
PeerFields_Parent.Assign0.smt 18-Feb-2008 19:56 75K
PeerFields_Parent.Assign1.smt 31-May-2008 23:03 88K
PeerFields_Parent.M.smt 31-May-2008 23:03 64K
PeerFields_Parent.N.smt 18-Feb-2008 19:56 60K
PeerFields_Parent.P.smt 31-May-2008 23:03 101K
PeerFields_Parent.Q.smt 18-Feb-2008 19:56 60K
PeerFields_PeerFields..ctor_System.Int32.smt 31-May-2008 23:03 111K
PeerFields_PeerFields.Assign0.smt 31-May-2008 23:03 77K
PeerFields_PeerFields.Assign1_PeerFields.smt 31-May-2008 23:03 63K
PeerFields_PeerFields.Assign2_PeerFields.smt 18-Feb-2008 19:56 61K
PeerFields_PeerFields.Assign3.smt 18-Feb-2008 19:56 73K
PeerFields_PeerFields.Assign4.smt 18-Feb-2008 19:56 60K
PeerFields_PeerFields.Assign5.smt 31-May-2008 23:03 47K
PeerFields_PeerFields.M_System.Int32.smt 31-May-2008 23:03 129K
PeerFields_PeerFields.N_System.Int32.smt 18-Feb-2008 19:56 62K
PeerFields_PeerFields.Ouch.smt 18-Feb-2008 19:56 61K
PeerFields_PeerFields.P_System.Int32.smt 18-Feb-2008 19:56 49K
PeerFields_PeerFields.Q_System.Int32.smt 18-Feb-2008 19:56 49K
PeerFields_PeerFields.R_System.Int32.smt 18-Feb-2008 19:56 58K
PeerFields_PeerFields.S_System.Int32.smt 18-Feb-2008 19:56 84K
PeerModifiesClauses_Homeboy..ctor-level_2.smt 31-May-2008 23:03 85K
PeerModifiesClauses_Homeboy.A-level_2.smt 18-Feb-2008 19:56 55K
PeerModifiesClauses_Homeboy.B-level_2.smt 18-Feb-2008 19:56 52K
PeerModifiesClauses_Homeboy.C-level_2.smt 18-Feb-2008 19:56 53K
PeerModifiesClauses_Homeboy.D-level_2.smt 18-Feb-2008 19:56 55K
PeerModifiesClauses_Homeboy.E-level_2.smt 18-Feb-2008 19:56 51K
PeerModifiesClauses_Homeboy.F-level_2.smt 31-May-2008 23:03 63K
PeerModifiesClauses_Homeboy.P-level_2.smt 31-May-2008 23:03 54K
PeerModifiesClauses_Homeboy.Q-level_2.smt 31-May-2008 23:03 55K
PeerModifiesClauses_Homeboy.R-level_2.smt 18-Feb-2008 19:56 56K
PeerModifiesClauses_Homeboy.S-level_2.smt 18-Feb-2008 19:56 67K
PeerModifiesClauses_Homeboy.T-level_2.smt 31-May-2008 23:03 68K
PeerModifiesClauses_Wallet..ctor-level_2.smt 31-May-2008 23:03 59K
PureAxioms_A..ctor-level_2.smt 31-May-2008 23:03 65K
PureAxioms_A.SumXYAxiomFromBody-level_2.smt 31-May-2008 23:03 49K
PureAxioms_A.SumXYAxiomFromPost-level_2.smt 31-May-2008 23:03 50K
PureAxioms_A.SumXYNoAxiom1-level_2.smt 31-May-2008 23:03 49K
PureAxioms_A.SumXYNoAxiom2-level_2.smt 31-May-2008 23:03 50K
PureAxioms_B..ctor-level_2.smt 31-May-2008 23:03 80K
PureAxioms_B.Dummy1-level_2.smt 18-Feb-2008 19:56 52K
PureAxioms_B.Dummy2-level_2.smt 18-Feb-2008 19:56 50K
PureAxioms_Getter..ctor-level_2.smt 31-May-2008 23:03 64K
PureAxioms_Getter.get_Value-level_2.smt 31-May-2008 23:03 49K
PureAxioms_Getter.set_Value_System.Int32-level_2.smt 31-May-2008 23:03 51K
PureAxioms_GetterClient..ctor-level_2.smt 31-May-2008 23:03 80K
PureAxioms_GetterClient.Dummy-level_2.smt 31-May-2008 23:03 68K
PureAxioms_UnsoundSpec..ctor-level_2.smt 31-May-2008 23:03 64K
PureAxioms_UnsoundSpec.Dummy1-level_2.smt 18-Feb-2008 19:56 48K
PureAxioms_UnsoundSpec.Unsound-level_2.smt 31-May-2008 23:03 55K
PureCall_Cell.Increment.smt 31-May-2008 23:03 55K
PureCall_Cell.get_FieldLikeProperty.smt 31-May-2008 23:03 45K
PureCall_Cell.get_Id.smt 31-May-2008 23:03 44K
PureCall_Cell.get_Natural.smt 31-May-2008 23:03 45K
PureCall_Cell.get_Value.smt 31-May-2008 23:03 44K
PureCall_Cell.set_FieldLikeProperty_System.Int32.smt 31-May-2008 23:03 46K
PureCall_Test.AnotherTestGood.smt 18-Feb-2008 19:56 83K
PureCall_Test.FieldLikeTest.smt 18-Feb-2008 19:56 159K
PureCall_Test.TestBad.smt 18-Feb-2008 19:56 74K
PureCall_Test.TestGood.smt 31-May-2008 23:03 74K
PureReceiverMightBeCommitted_C..ctor.smt 31-May-2008 23:03 76K
PureReceiverMightBeCommitted_C.M.smt 31-May-2008 23:03 63K
PureReceiverMightBeCommitted_C.N.smt 31-May-2008 23:03 66K
PureReceiverMightBeCommitted_C.O.smt 31-May-2008 23:04 51K
PureReceiverMightBeCommitted_T..ctor.smt 31-May-2008 23:04 55K
PureReceiverMightBeCommitted_T.P.smt 31-May-2008 23:04 41K
PureReceiverMightBeCommitted_T.Q.smt 31-May-2008 23:04 41K
QuantifierVisibilityInvariant_A..cctor.smt 31-May-2008 23:04 45K
QuantifierVisibilityInvariant_A..ctor.smt 31-May-2008 23:04 76K
QuantifierVisibilityInvariant_A.M.smt 18-Feb-2008 19:56 74K
QuantifierVisibilityInvariant_A.N.smt 18-Feb-2008 19:56 72K
QuantifierVisibilityInvariant_A.P.smt 31-May-2008 23:04 73K
QuantifierVisibilityInvariant_A.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:04 131K
QuantifierVisibilityInvariant_AbstractCity0..ctor.smt 31-May-2008 23:04 62K
QuantifierVisibilityInvariant_AbstractCity1..ctor.smt 31-May-2008 23:04 62K
QuantifierVisibilityInvariant_AnotherInvariantNameIssue..cctor.smt 31-May-2008 23:04 45K
QuantifierVisibilityInvariant_AnotherInvariantNameIssue..ctor.smt 31-May-2008 23:04 66K
QuantifierVisibilityInvariant_AnotherInvariantNameIssue.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:04 164K
QuantifierVisibilityInvariant_B..cctor.smt 31-May-2008 23:04 45K
QuantifierVisibilityInvariant_B..ctor_System.Int32.smt 31-May-2008 23:04 78K
QuantifierVisibilityInvariant_B.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:04 129K
QuantifierVisibilityInvariant_C..cctor.smt 31-May-2008 23:04 45K
QuantifierVisibilityInvariant_C..ctor_System.Int32.smt 31-May-2008 23:04 78K
QuantifierVisibilityInvariant_C.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:04 131K
Quantifiers_P-noinfer.smt 18-Feb-2008 19:56 5.1K
Quantifiers_Q-noinfer.smt 18-Feb-2008 19:56 5.1K
Quantifiers_R-noinfer.smt 31-May-2008 23:04 5.1K
Quantifiers_S-noinfer.smt 18-Feb-2008 19:56 5.0K
Quantifiers_T-noinfer.smt 18-Feb-2008 19:56 5.1K
Quantifiers_U0-noinfer.smt 18-Feb-2008 19:56 5.0K
Quantifiers_U1-noinfer.smt 18-Feb-2008 19:57 5.1K
Quantifiers_V0-noinfer.smt 18-Feb-2008 19:57 5.1K
Quantifiers_V1-noinfer.smt 18-Feb-2008 19:57 5.0K
Quantifiers_V2-noinfer.smt 18-Feb-2008 19:57 5.1K
Quantifiers_W-noinfer.smt 18-Feb-2008 19:57 5.0K
Quantifiers_X0-noinfer.smt 18-Feb-2008 19:57 5.0K
Quantifiers_X1-noinfer.smt 18-Feb-2008 19:57 5.1K
Recursion0_Recursion0..ctor-infer_i.smt 31-May-2008 23:04 50K
Recursion0_Recursion0.SomeIterations_System.Int32-infer_i.smt 31-May-2008 23:04 47K
Recursion0_Recursion0.fact_System.Int32-infer_i.smt 18-Feb-2008 19:57 56K
ResultNotNewlyAllocated_C..ctor.smt 31-May-2008 23:04 49K
ResultNotNewlyAllocated_C.M.smt 18-Feb-2008 19:57 46K
ResultNotNewlyAllocated_C.O.smt 31-May-2008 23:04 48K
ResultNotNewlyAllocated_C.P.smt 31-May-2008 23:04 53K
Search_Search..ctor-noinfer.smt 31-May-2008 23:04 47K
Search_Search.ContainsZero_IncMethod_System.Int32.array_notnull-noinfer.smt 31-May-2008 23:04 74K
Search_Search.ContainsZero_WithExplicitInvariant_System.Int32.array_notnull-noinfer.smt 31-May-2008 23:04 58K
Search_Search.ContainsZero_WithoutExplicitInvariant_System.Int32.array_notnull-noinfer.smt 18-Feb-2008 19:57 56K
Search_Search.Inc_System.Int32-noinfer.smt 31-May-2008 23:04 34K
Search_Search.Reverse_Div_System.Int32.array_notnull-noinfer.smt 08-May-2007 21:25 67K
Search_Search.Reverse_Mul_System.Int32.array_notnull-noinfer.smt 31-May-2008 23:04 66K
SiblingConstructors_SiblingConstructors..cctor.smt 31-May-2008 23:04 38K
SiblingConstructors_SiblingConstructors..ctor_System.Int32.smt 18-Feb-2008 19:57 57K
SiblingConstructors_SiblingConstructors..ctor_System.Int32_System.Boolean.smt 31-May-2008 23:04 83K
SiblingConstructors_SiblingConstructors..ctor_System.Int32_System.Int32.smt 31-May-2008 23:04 62K
SiblingConstructors_SiblingConstructors.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:04 65K
SimpleAssignments0_SimpleAssignments0..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleAssignments0_SimpleAssignments0.M_System.Int32-infer_i.smt 31-May-2008 23:04 42K
SimpleAssignments1_SimpleAssignments1..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleAssignments1_SimpleAssignments1.M_System.Int32-infer_i.smt 31-May-2008 23:04 49K
SimpleAssignments2_SimpleAssignments2..ctor-infer_i.smt 31-May-2008 23:04 48K
SimpleAssignments2_SimpleAssignments2.DivisionByZero-infer_i.smt 18-Feb-2008 19:57 34K
SimpleAssignments3_SimpleAssignments3..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleAssignments3_SimpleAssignments3.AnotherMethod_System.Int32-infer_i.smt 31-May-2008 23:04 41K
SimpleAssignments4_SimpleAssignment4..ctor-infer_i-vc_local-level_0.smt 18-Feb-2008 19:57 41K
SimpleAssignments4_SimpleAssignment4.Rigoletto_System.Int32-infer_i-vc_local-level_0.smt 18-Feb-2008 19:57 39K
SimpleWhile0_SimpleWhile0..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile0_SimpleWhile0.CC77-infer_i.smt 31-May-2008 23:04 58K
SimpleWhile1_SimpleWhile1..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile1_SimpleWhile1.Example-infer_i.smt 18-Feb-2008 19:57 66K
SimpleWhile2_SimpleWhile2..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile2_SimpleWhile2.AMethod-infer_i.smt 31-May-2008 23:04 58K
SimpleWhile3_SimpleWhile3..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile3_SimpleWhile3.AMethod-infer_i.smt 18-Feb-2008 19:57 58K
SimpleWhile4_SimpleWhile4..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile4_SimpleWhile4.AMethod-infer_i.smt 18-Feb-2008 19:57 64K
SimpleWhile5_SimpleWhile5..ctor-infer_i.smt 31-May-2008 23:04 50K
SimpleWhile5_SimpleWhile5.Fact_System.Int32-infer_i.smt 18-Feb-2008 19:57 59K
SimpleWhile5_SimpleWhile5.NegativeIntermediates_System.Int32_System.Int32_System.Int32-infer_i.smt 31-May-2008 23:04 114K
SimpleWhile5_SimpleWhile5.NegativeWrong_System.Int32_System.Int32_System.Int32-infer_i.smt 18-Feb-2008 19:57 114K
SimpleWhile5_SimpleWhile5.NonNegative_System.Int32_System.Int32_System.Int32-infer_i.smt 31-May-2008 23:04 113K
SimpleWhile5_SimpleWhile5.Positive_System.Int32_System.Int32_System.Int32-infer_i.smt 31-May-2008 23:04 113K
Spouse_Person..cctor.smt 31-May-2008 23:04 41K
Spouse_Person..ctor.smt 31-May-2008 23:04 61K
Spouse_Person.A0_System.Object_notnull.smt 18-Feb-2008 19:57 47K
Spouse_Person.A1_Possession_notnull.smt 18-Feb-2008 19:57 49K
Spouse_Person.A2_Possession_notnull.smt 18-Feb-2008 19:57 49K
Spouse_Person.A3_Possession_notnull.smt 31-May-2008 23:04 69K
Spouse_Person.B0_System.Object_notnull.smt 18-Feb-2008 19:57 46K
Spouse_Person.B1.smt 18-Feb-2008 19:57 67K
Spouse_Person.B2.smt 31-May-2008 23:04 89K
Spouse_Person.MM.smt 31-May-2008 23:04 46K
Spouse_Person.MarryAssignTheOtherWayAround_GoodnessRestored_Person_notnull_System.Boolean.smt 31-May-2008 23:04 52K
Spouse_Person.MarryAssignTheOtherWayAround_Person_notnull.smt 18-Feb-2008 19:57 116K
Spouse_Person.Marry_CaptureEither_Person_notnull.smt 31-May-2008 23:04 116K
Spouse_Person.Marry_CaptureThis_Person_notnull.smt 31-May-2008 23:04 116K
Spouse_Person.Marry_Person_notnull.smt 31-May-2008 23:04 116K
Spouse_Person.NN.smt 31-May-2008 23:05 46K
Spouse_Person.PP.smt 31-May-2008 23:05 78K
Spouse_Person.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:05 79K
Spouse_Possession..ctor.smt 31-May-2008 23:05 57K
StaticField_Test..ctor.smt 31-May-2008 23:05 54K
StaticField_Test.Bar.smt 18-Feb-2008 19:57 39K
StaticField_Test.Foo.smt 31-May-2008 23:05 39K
StaticFields_StaticFields..ctor.smt 31-May-2008 23:05 58K
StaticFields_StaticFields.M.smt 18-Feb-2008 19:57 64K
StaticFields_StaticFields.N.smt 18-Feb-2008 19:57 67K
StaticFields_StaticFields.P.smt 31-May-2008 23:05 42K
Strengthen_MainClass..ctor.smt 31-May-2008 23:05 55K
Strengthen_MainClass.BoogieTest0_T_notnull.smt 18-Feb-2008 19:57 53K
Strengthen_MainClass.BoogieTest0_U_notnull.smt 31-May-2008 23:05 54K
Strengthen_MainClass.Main.HARD.smt 31-May-2008 23:05 99K
Strengthen_T..ctor.smt 31-May-2008 23:05 55K
Strengthen_T.M.smt 31-May-2008 23:05 42K
Strengthen_U..ctor.smt 31-May-2008 23:05 55K
Strengthen_U.M.smt 31-May-2008 23:05 42K
StrictReadOnly_AlsoImpossible..ctor.smt 31-May-2008 23:05 53K
StrictReadOnly_AlsoImpossibleSub..ctor_System.Boolean.smt 31-May-2008 23:05 53K
StrictReadOnly_AlsoImpossibleSub..ctor_System.Int32.smt 31-May-2008 23:05 46K
StrictReadOnly_C0..ctor.smt 31-May-2008 23:05 64K
StrictReadOnly_C0.foo0.smt 31-May-2008 23:05 45K
StrictReadOnly_C0.foo1.smt 18-Feb-2008 19:57 46K
StrictReadOnly_C1..ctor.smt 31-May-2008 23:05 60K
StrictReadOnly_C1.M.smt 31-May-2008 23:05 54K
StrictReadOnly_C1.P.smt 31-May-2008 23:05 54K
StrictReadOnly_C1.W0.smt 31-May-2008 23:05 60K
StrictReadOnly_C1.W1.smt 18-Feb-2008 19:57 52K
StrictReadOnly_C1.W2.smt 31-May-2008 23:05 45K
StrictReadOnly_C1.W3.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C1.X0.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C1.X1.smt 31-May-2008 23:05 45K
StrictReadOnly_C1.Y0.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C1.Y1.smt 31-May-2008 23:05 45K
StrictReadOnly_C1.Z0.smt 31-May-2008 23:05 62K
StrictReadOnly_C1.Z1.smt 18-Feb-2008 19:57 53K
StrictReadOnly_C2..ctor.smt 18-Feb-2008 19:57 53K
StrictReadOnly_C2.M.smt 31-May-2008 23:06 54K
StrictReadOnly_C2.P.smt 31-May-2008 23:06 54K
StrictReadOnly_C2.W0.smt 31-May-2008 23:06 51K
StrictReadOnly_C2.W1.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C2.W2.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C2.X0.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C2.X1.smt 18-Feb-2008 19:57 44K
StrictReadOnly_C2.X2.smt 18-Feb-2008 19:57 42K
StrictReadOnly_C2.X3.smt 18-Feb-2008 19:57 44K
StrictReadOnly_C2.Y0.smt 18-Feb-2008 19:57 45K
StrictReadOnly_C2.Y1.smt 18-Feb-2008 19:57 44K
StrictReadOnly_C2.Y2.smt 18-Feb-2008 19:57 42K
StrictReadOnly_C2.Y3.smt 18-Feb-2008 19:57 44K
StrictReadOnly_C2.Z0.smt 31-May-2008 23:06 53K
StrictReadOnly_D..ctor.smt 31-May-2008 23:06 59K
StrictReadOnly_D.foo0_Impossible_notnull.smt 31-May-2008 23:06 44K
StrictReadOnly_D.foo1_ImpossibleSub_notnull.smt 31-May-2008 23:06 44K
StrictReadOnly_D.foo2_AlsoImpossible_notnull.smt 31-May-2008 23:06 44K
StrictReadOnly_D.foo3_AlsoImpossibleSub_notnull.smt 31-May-2008 23:06 44K
StrictReadOnly_D.foo4_D_notnull.smt 18-Feb-2008 19:57 44K
StrictReadOnly_Impossible..ctor.smt 31-May-2008 23:06 59K
StrictReadOnly_ImpossibleSub..ctor.smt 31-May-2008 23:06 59K
Strings_test3.MyStrings..cctor.smt 31-May-2008 23:06 51K
Strings_test3.MyStrings..ctor.smt 31-May-2008 23:06 72K
Strings_test3.MyStrings.MyStringConcat_System.String_System.String.smt 31-May-2008 23:06 80K
Strings_test3.MyStrings.MyStringIndexOf_System.String_notnull_System.String_notnull.smt 31-May-2008 23:06 71K
Strings_test3.MyStrings.MyStringInsert_System.String_notnull_System.Int32_System.String_notnull.smt 31-May-2008 23:06 82K
Strings_test3.MyStrings.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:06 79K
Strings_test3.MyStrings.StringCoolness0.smt 18-Feb-2008 19:57 105K
Strings_test3.MyStrings.StringCoolness1.smt 31-May-2008 23:06 111K
Strings_test3.MyStrings.StringCoolness2_System.Boolean.smt 31-May-2008 23:06 137K
Strings_test3.MyStrings.StringCoolness3.smt 31-May-2008 23:06 91K
Strings_test3.MyStrings.UnpackString_System.String_notnull.smt 18-Feb-2008 19:57 53K
Strings_test3.XY..ctor.smt 31-May-2008 23:06 69K
Strings_test3.XY.M0_System.String_notnull.smt 18-Feb-2008 19:57 68K
Strings_test3.XY.M1_System.String.smt 18-Feb-2008 19:57 73K
Strings_test3.XY.M2.smt 31-May-2008 23:07 81K
Strings_test3.XY.M3_System.Object_notnull.smt 18-Feb-2008 19:57 70K
Strings_test3.XY.M4_System.Object.smt 18-Feb-2008 19:57 69K
Strings_test3.XY.N0_System.Object_notnull_System.Object_notnull.smt 18-Feb-2008 19:57 67K
Strings_test3.XY.N1_test3.XY_notnull_System.Object_notnull.smt 18-Feb-2008 19:57 59K
Strings_test3.XY.N2_System.Object_notnull_test3.XY_notnull.smt 18-Feb-2008 19:57 59K
StructTests_St..ctor_System.Boolean-level_2.smt 31-May-2008 23:07 41K
StructTests_St..ctor_System.Int32-level_2.smt 31-May-2008 23:07 39K
StructTests_St.M_System.Int32.array_notnull-level_2.smt 31-May-2008 23:07 46K
StructTests_St.N-level_2.smt 31-May-2008 23:07 38K
StructTests_St.P-level_2.smt 31-May-2008 23:07 38K
StructTests_St.Q-level_2.smt 31-May-2008 23:07 39K
StructTests_St.R-level_2.smt 31-May-2008 23:07 37K
StructTests_St.S_System.Int32.ptr_System.Int32.ptr-level_2.smt 18-Feb-2008 19:57 38K
StructTests_St.SpecSharp.CheckInvariant_System.Boolean-level_2.smt 31-May-2008 23:07 38K
Subclass_Sub..ctor.smt 31-May-2008 23:07 65K
Subclass_Sub..ctor_System.Boolean.smt 18-Feb-2008 19:57 56K
Subclass_Sub.Ty.smt 31-May-2008 23:07 44K
Subclass_Super..ctor.smt 31-May-2008 23:07 57K
Switch_Switch..ctor.smt 31-May-2008 23:07 54K
Switch_Switch.FooString_System.String_notnull.smt 31-May-2008 23:07 65K
Switch_Switch.M2_System.String_notnull_System.String_notnull.smt 31-May-2008 23:07 49K
Switch_Switch.M_System.String_notnull.smt 31-May-2008 23:07 66K
Typeof_Typeof..ctor.smt 31-May-2008 23:07 56K
Typeof_Typeof.M.smt 31-May-2008 23:07 45K
Typeof_Typeof.N.smt 18-Feb-2008 19:57 41K
Types_A..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_B..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_C..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_D..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_F..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_MoreTypes..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_MoreTypes.M_System.Object-orderStrength_1.smt 31-May-2008 23:07 51K
Types_MoreTypes.N_System.Object-orderStrength_1.smt 31-May-2008 23:07 53K
Types_MoreTypes.P_System.Object-orderStrength_1.smt 31-May-2008 23:07 57K
Types_T..ctor_D_notnull-orderStrength_1.smt 31-May-2008 23:07 69K
Types_T.M-orderStrength_1.smt 31-May-2008 23:07 48K
Types_Types..ctor-orderStrength_1.smt 31-May-2008 23:07 63K
Types_Types.M0_B_notnull_System.Boolean-orderStrength_1.smt 31-May-2008 23:07 70K
Types_Types.M1_B-orderStrength_1.smt 31-May-2008 23:07 55K
Types_Types.M2_B-orderStrength_1.smt 31-May-2008 23:08 54K
Types_Types.M3_B-orderStrength_1.smt 31-May-2008 23:08 56K
Types_Types.M4_System.Object-orderStrength_1.smt 31-May-2008 23:08 53K
Types_Types.Main-orderStrength_1.smt 31-May-2008 23:08 47K
Types_Types.N0_C_D-orderStrength_1.smt 31-May-2008 23:08 62K
Types_Types.N1_C_D-orderStrength_1.smt 18-Feb-2008 19:57 52K
Types_Types.P0_K_notnull-orderStrength_1.smt 31-May-2008 23:08 54K
Types_Types.P1_K_notnull-orderStrength_1.smt 18-Feb-2008 19:57 50K
Types_Types.P2_K_notnull-orderStrength_1.smt 18-Feb-2008 19:57 50K
Types_Types.P3_K_notnull-orderStrength_1.smt 18-Feb-2008 19:58 50K
Types_Types.P4_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 31-May-2008 23:08 69K
Types_Types.P5_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 18-Feb-2008 19:58 57K
Types_Types.P6_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 18-Feb-2008 19:58 57K
Types_Types.P7_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 18-Feb-2008 19:58 57K
Types_Types.P8_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 18-Feb-2008 19:58 57K
Types_Types.P9_System.Object.array_notnull_System.Int32.array_notnull_A.array_notnull_J.array_notnull_B.array_notnull-orderStrength_1.smt 18-Feb-2008 19:58 57K
Types_Types.P10_J.array_notnull_B.array_notnull_F.array_notnull-orderStrength_1.smt 31-May-2008 23:08 57K
Types_Types.Px0_System.Object-orderStrength_1.smt 31-May-2008 23:08 51K
Types_Types.Px1_System.Object-orderStrength_1.smt 31-May-2008 23:08 53K
Types_Types.Px2_System.Object-orderStrength_1.smt 31-May-2008 23:08 57K
Types_Types.Q_T_T-orderStrength_1.smt 31-May-2008 23:08 153K
UnreachableBlocks_P-vc_nested.smt 18-Feb-2008 19:58 4.4K
UnreachableBlocks_Q-vc_nested.smt 18-Feb-2008 19:58 5.2K
UnreachableBlocks_R-vc_nested.smt 18-Feb-2008 19:58 4.2K
UnreachableBlocks_S-vc_nested.smt 18-Feb-2008 19:58 4.2K
Unsigned_test..ctor.smt 31-May-2008 23:08 51K
Unsigned_test.Caller0_System.UInt32.smt 31-May-2008 23:08 107K
Unsigned_test.Caller1.smt 31-May-2008 23:08 104K
Unsigned_test.Conversions_System.UInt32_System.Double.smt 18-Feb-2008 19:58 42K
Unsigned_test.KitchenSink0_System.SByte_System.Byte_System.Int16_System.UInt16_System.Int32_System.UInt32_System.Int64_System.UInt64_System.Int32.smt 31-May-2008 23:08 40K
Unsigned_test.KitchenSink1_System.SByte_System.Byte_System.Int16_System.UInt16_System.Int32_System.UInt32_System.Int64_System.UInt64_System.Char.smt 31-May-2008 23:08 57K
Unsigned_test.KitchenSink2_System.SByte_System.Byte_System.Int16_System.UInt16_System.Int32_System.UInt32_System.Int64_System.UInt64_System.Char.smt 31-May-2008 23:08 73K
Unsigned_test.M.smt 31-May-2008 23:08 45K
Unsigned_test.N.smt 31-May-2008 23:08 45K
Unsigned_test.O.smt 31-May-2008 23:09 45K
Unsigned_test.OrRange_System.Boolean.smt 31-May-2008 23:09 46K
Unsigned_test.P_System.UInt32.smt 31-May-2008 23:09 41K
Unsigned_test.Q_System.Boolean.smt 31-May-2008 23:09 37K
Unsigned_test.R_System.Int32.smt 31-May-2008 23:09 41K
ValidAndPrevalid_Cell..ctor.smt 31-May-2008 23:09 60K
ValidAndPrevalid_Cell.Increment.smt 31-May-2008 23:09 54K
ValidAndPrevalid_Interval..cctor.smt 31-May-2008 23:10 42K
ValidAndPrevalid_Interval.Foo1.smt 31-May-2008 23:10 69K
ValidAndPrevalid_Interval.Foo2.smt 18-Feb-2008 19:58 46K
ValidAndPrevalid_Interval.Foo3.smt 18-Feb-2008 19:58 47K
ValidAndPrevalid_Interval.Foo4.smt 31-May-2008 23:10 94K
ValidAndPrevalid_Interval.Foo5.smt 18-Feb-2008 19:58 78K
ValidAndPrevalid_Interval.Foo6.smt 31-May-2008 23:10 84K
ValidAndPrevalid_Interval.Foo7.smt 18-Feb-2008 19:58 75K
ValidAndPrevalid_Interval.Foo8.smt 18-Feb-2008 19:58 75K
ValidAndPrevalid_Interval.Foo9.smt 18-Feb-2008 19:58 75K
ValidAndPrevalid_Interval.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:10 71K
ValidAndPrevalid_PartOfLine..ctor.smt 31-May-2008 23:10 58K
VarMapFixPoint_SimpleWhile5.smt 18-Feb-2008 19:58 9.6K
VarMapFixPoint_main.smt 18-Feb-2008 19:58 7.1K
VisibilityBasedInvariants_Friend..cctor.smt 31-May-2008 23:10 39K
VisibilityBasedInvariants_Friend..ctor_Thing_notnull.smt 31-May-2008 23:10 112K
VisibilityBasedInvariants_Friend..ctor_Thing_notnull_System.Boolean.smt 31-May-2008 23:10 112K
VisibilityBasedInvariants_Friend.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:10 117K
VisibilityBasedInvariants_Thing..cctor.smt 31-May-2008 23:10 39K
VisibilityBasedInvariants_Thing..ctor.smt 31-May-2008 23:10 59K
VisibilityBasedInvariants_Thing.P.smt 31-May-2008 23:10 85K
VisibilityBasedInvariants_Thing.Q.smt 31-May-2008 23:10 86K
VisibilityBasedInvariants_Thing.R.smt 31-May-2008 23:10 87K
VisibilityBasedInvariants_Thing.S.smt 18-Feb-2008 19:58 64K
VisibilityBasedInvariants_Thing.SpecSharp.CheckInvariant_System.Boolean.smt 31-May-2008 23:10 95K
VisibilityBasedInvariants_Thing.T.smt 18-Feb-2008 19:58 62K
VisibilityBasedInvariants_Thing.U.smt 31-May-2008 23:10 62K
WC-EI0_RTE.ExecuteInstruction-vc_nested.smt 18-Feb-2008 19:58 161K
WC-EI1_RTE.ExecuteInstruction-vc_nested.smt 18-Feb-2008 19:58 166K
WC-EI2_RTE.ExecuteInstruction-vc_nested.smt 18-Feb-2008 19:58 166K
WhereClause_C..ctor.smt 31-May-2008 23:10 51K
WhereClause_C.foo.smt 31-May-2008 23:10 42K
WhereClause_D..ctor.smt 31-May-2008 23:10 51K
WhereClause_D.foo_System.String_System.String.ptr_System.String.ptr.smt 31-May-2008 23:10 61K
WhereMotivation_Types..ctor-modifiesOnLoop_1.smt 31-May-2008 23:10 54K
WhereMotivation_Types..ctor.smt 31-May-2008 23:10 54K
WhereMotivation_Types.M-modifiesOnLoop_1.smt 31-May-2008 23:10 40K
WhereMotivation_Types.M.smt 31-May-2008 23:10 40K
WhereMotivation_Types.MCall-modifiesOnLoop_1.smt 31-May-2008 23:10 50K
WhereMotivation_Types.MCall.smt 31-May-2008 23:11 50K
WhereMotivation_Types.MLoop0-modifiesOnLoop_1.smt 31-May-2008 23:11 88K
WhereMotivation_Types.MLoop0.smt 18-Feb-2008 19:58 77K
WhereMotivation_Types.MLoop1-modifiesOnLoop_1.smt 31-May-2008 23:11 86K
WhereMotivation_Types.MLoop1.smt 18-Feb-2008 19:58 76K
WhereMotivation_Types.MLoop2-modifiesOnLoop_1.smt 31-May-2008 23:11 88K
WhereMotivation_Types.MLoop2.smt 18-Feb-2008 19:58 77K
WhereMotivation_Types.MLoop3-modifiesOnLoop_1.smt 31-May-2008 23:11 105K
WhereMotivation_Types.MLoop3.smt 31-May-2008 23:11 94K
WhereMotivation_Types.SLoop0-modifiesOnLoop_1.smt 31-May-2008 23:11 122K
WhereMotivation_Types.SLoop0.smt 31-May-2008 23:11 111K
WhereMotivation_Types.SLoop1-modifiesOnLoop_1.smt 18-Feb-2008 19:58 113K
WhereMotivation_Types.SLoop1.smt 18-Feb-2008 19:58 102K
WhereMotivation_Types.SomeValue-modifiesOnLoop_1.smt 31-May-2008 23:11 53K
WhereMotivation_Types.SomeValue.smt 31-May-2008 23:11 53K
WhileBad_Test..ctor.smt 31-May-2008 23:11 54K
WhileBad_Test.Copy_System.Int32.smt 18-Feb-2008 19:58 74K
WhileGood_Test..ctor.smt 31-May-2008 23:11 54K
WhileGood_Test.Copy_System.Int32.smt 31-May-2008 23:11 69K
WhileTrueLoop_Test..ctor.smt 31-May-2008 23:11 51K
WhileTrueLoop_Test.M.smt 31-May-2008 23:11 43K
equiv0_M-infer_e-vc_local.smt 18-Feb-2008 19:58 5.2K
equiv1_M-infer_e-vc_local.smt 18-Feb-2008 19:58 5.4K
equiv2_M-infer_e-vc_local.smt 18-Feb-2008 19:58 5.6K
equiv3_M-infer_e-vc_local.smt 18-Feb-2008 19:58 6.2K
equiv4_M-infer_e-vc_local.smt 18-Feb-2008 19:58 7.3K
equiv5_M-infer_e-vc_local.smt 18-Feb-2008 19:58 7.8K
equiv5_MPrime-infer_e-vc_local.smt 18-Feb-2008 19:58 7.7K
equiv6_M-infer_e-vc_local.smt 18-Feb-2008 19:58 8.9K
equiv6_M0-infer_e-vc_local.smt 18-Feb-2008 19:58 6.0K
equiv6_M1-infer_e-vc_local.smt 18-Feb-2008 19:58 6.0K
equiv6_M2-infer_e-vc_local.smt 18-Feb-2008 19:58 6.0K
equiv6_M3-infer_e-vc_local.smt 18-Feb-2008 19:58 6.0K
equiv7_M-infer_e-vc_local.smt 18-Feb-2008 19:58 5.5K
equivpoly0_M-infer_ep-vc_local.smt 18-Feb-2008 19:58 7.5K
equivpoly1_M-infer_ep-vc_local.smt 18-Feb-2008 19:58 7.6K
heapaware0_M-infer_ep-vc_local.smt 18-Feb-2008 19:58 13K
heapsucc0_M-infer_eh-vc_local.smt 18-Feb-2008 19:58 5.4K
heapsucc1_M-infer_eh-vc_local.smt 18-Feb-2008 19:58 5.3K
heapsucc2_M-infer_eh-vc_local.smt 18-Feb-2008 19:58 9.4K
loop0_M-infer_e-vc_local.smt 18-Feb-2008 19:58 6.3K
loopInvOnDemand_M.smt 18-Feb-2008 19:58 12K
loopinv0-nonnull_F..ctor-modifiesOnLoop.smt 31-May-2008 23:11 54K
loopinv0-nonnull_F.M-modifiesOnLoop.smt 31-May-2008 23:11 46K
loopinv0-nonnull_TestEnumerable..ctor-modifiesOnLoop.smt 31-May-2008 23:11 52K
loopinv0-nonnull_TestEnumerable.Test1_F_notnull-modifiesOnLoop.smt 18-Feb-2008 19:58 115K
loopinv0_LoopInv0..ctor-infer_eh.smt 31-May-2008 23:11 77K
loopinv0_LoopInv0.Method0-infer_eh.smt 31-May-2008 23:11 369K
loopinv0_LoopInv0.Method1-infer_eh.smt 31-May-2008 23:11 309K
loopinv0_LoopInv0.Method2_Node_notnull-infer_eh.smt 31-May-2008 23:11 376K
loopinv0_LoopInv0.N-infer_eh.smt 31-May-2008 23:11 99K
loopinv0_Node..ctor-infer_eh.smt 31-May-2008 23:11 77K
loopinv1_F..ctor-infer_eh.smt 31-May-2008 23:11 75K
loopinv1_F.M-infer_eh.smt 31-May-2008 23:11 92K
loopinv1_F.NoOp-infer_eh.smt 31-May-2008 23:11 53K
loopinv1_LoopInv1..ctor-infer_eh.smt 31-May-2008 23:11 72K
loopinv1_LoopInv1.Test0a_F_notnull-infer_eh.smt 31-May-2008 23:11 386K
loopinv1_LoopInv1.Test0b_F_notnull-infer_eh.smt 31-May-2008 23:11 390K
loopinv1_LoopInv1.Test1a_F_notnull-infer_eh.smt 31-May-2008 23:11 380K
loopinv1_LoopInv1.Test1b_F_notnull-infer_eh.smt 31-May-2008 23:11 391K
loopinv3_Foreach..ctor-infer_eh.smt 31-May-2008 23:11 68K
loopinv3_Foreach..ctor-infer_ehp_1.smt 31-May-2008 23:11 72K
loopinv3_Foreach.M_System.Int32.array_notnull-infer_eh.smt 31-May-2008 23:11 245K
loopinv3_Foreach.M_System.Int32.array_notnull-infer_ehp_1.smt 31-May-2008 23:11 275K
noopcall_NoOpCall..ctor-infer_eh.smt 31-May-2008 23:11 67K
noopcall_NoOpCall.Method-infer_eh.smt 31-May-2008 23:11 102K
noopcall_NoOpCall.NoOp-infer_eh.smt 31-May-2008 23:11 46K
quant0_Test..ctor.smt 31-May-2008 23:11 51K
quant0_Test.Blah_System.Int32.smt 31-May-2008 23:11 35K
quant0_Test.DeprivedMain_System.String.array_notnull.smt 18-Feb-2008 19:58 37K
quant0_Test.Foo.smt 31-May-2008 23:11 35K
quant0_Test.MainX_System.optional...NonNullType.String.array_notnull.smt 31-May-2008 23:11 37K
quant0_Test.Main_System.String.array.smt 31-May-2008 23:11 45K
strings-no-where_Microsoft.Singularity.Applications.ThreadTest..ctor-noinfer.smt 31-May-2008 23:11 37K
strings-no-where_Microsoft.Singularity.Applications.ThreadTest.FirstThreadMethod-noinfer.smt 18-Feb-2008 19:58 53K
strings-no-where_Microsoft.Singularity.Applications.ThreadTest.Main_System.String.array-noinfer.smt 31-May-2008 23:11 171K
strings-no-where_Microsoft.Singularity.Applications.ThreadTest.SecondThreadMethod-noinfer.smt 18-Feb-2008 19:58 53K
strings-where_Microsoft.Singularity.Applications.ThreadTest..ctor-noinfer.smt 31-May-2008 23:11 38K
strings-where_Microsoft.Singularity.Applications.ThreadTest.FirstThreadMethod-noinfer.smt 31-May-2008 23:12 60K
strings-where_Microsoft.Singularity.Applications.ThreadTest.Main_System.String.array-noinfer.smt 31-May-2008 23:12 88K
strings-where_Microsoft.Singularity.Applications.ThreadTest.SecondThreadMethod-noinfer.smt 31-May-2008 23:12 60K