mono/tests/verifier/ChangeLog

   1 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
   2         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
   3         the proper unverifable condition.
   4
   5 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
   6
   7         * make_unary_test.sh: fixed an invalid struct that has no fields,
   8         this was not the subject of the tests.
   9         * make_newobj_test.sh: added, generate tests for newobj.
  10         * make_tests.sh: added the new tests for newobj and some corner
  11         cases of local/arg load/store.
  12
  13
  14 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
  15
  16         * make_store_indirect_test.sh: added, generate tests for stind.X.
  17         * make_tests.sh: added the new tests for ldind.X.
  18
  19 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
  20
  21         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
  22         the overlapped tests for now
  23         * make_unary_test.sh: disabled the overlapped tests for now
  24         * make_field_store_test.sh: sames
  25
  26 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
  27
  28         * make_load_indirect_test.sh: added, generate tests for ldind.X.
  29         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
  30         native int and int32.
  31
  32 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
  33
  34         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
  35         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
  36
  37 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
  38
  39         * valid_generic_params.cs (added): Tests for valid use of generic types.
  40         * Makedfile: added valid_generic_params.cs
  41
  42 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
  43
  44         * make_newarr_test.sh (added):  Generate newarr related tests.
  45         * make_tests.sh: Addes tests for newarr.
  46
  47
  48 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
  49
  50         * make_unbox_test.sh (added):  Generate unbox related tests.
  51         * make_tests.sh: Addes tests for unbox.
  52
  53
  54 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
  55
  56         * make_ldobj_test.sh (added):  Generate ldobj related tests.
  57         * make_tests.sh: Addes tests for ldobj.
  58
  59 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
  60
  61         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
  62         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
  63         for nested classes mixed with inheritance
  64
  65 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
  66
  67         * make_test.sh: Added new visibility tests and not/neg tests
  68         * make_cross_nested_access_test.sh: new test script for visibility
  69         between two classes nested in the same class
  70         * unverifiable_ldsfld_no_fld.il: added main method
  71         * make_unary_test.sh: added some types to make room for more tests
  72         * make_exception_branch_test.sh: fix the test to trigger the right error
  73
  74
  75 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
  76
  77         * make_exception_branch_test.sh: Fix the generation of the tests, so only
  78         branching problems are validated.
  79
  80 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
  81
  82         * make_test.sh: added more visibility tests
  83         * Makefile: changed again the clean target to work with the larger number of tests
  84         * make_self_nested_test.sh: new visibility tests
  85
  86 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
  87
  88         * make_test.sh: added reference compatibility tests
  89
  90 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
  91
  92         * AssemblyRunner.cs: bug fix: handles missing fields corrently
  93         * make_test.sh: correct some tests based on fixed AssemblyRunner
  94
  95 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
  96
  97         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
  98         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
  99         * unverifiable_ldflda_other_class_on_simple_method.il: same
 100         * unverifiable_ptr_nop.il: same
 101         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 102         * make_load_test.sh: same
 103         * make_stack_0_test.sh: same
 104         * make_obj_store_test.sh: same
 105         * unverifiable_m_ptr_ldloc.il: same
 106         * make_ret_test.sh: same
 107         * make_store_test.sh: same
 108         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 109         * make_access_test.sh: same
 110         * unverifiable_ptr_ldloc.il: same
 111         * invalid_call_no_method.il: same
 112         * unverifiable_ldsfld_no_fld.il: same
 113         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 114         * unverifiable_m_ptr_ldarg.il: same
 115         * make_stack_merge_test.sh: same
 116         * unverifiable_stack_2_ret.il: same
 117         * unverifiable_ldflda_other_class_field_on_ctor.il: same
 118         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 119         * make_field_store_test.sh: same
 120         * invalid_backward_branch.il: same
 121         * unverifiable_ldfld_initonly.il: same
 122         * make_nested_access_test.sh: same
 123         * invalid_stack_2_ret.il: same
 124         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 125         * unverifiable_ptr_ldarg.il: same
 126         * valid_fld_initonly.il: same
 127         * make_bin_test.sh: same
 128         * make_field_valuetype_test.sh: new tests
 129
 130
 131 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 132
 133         * make_tests.sh: new access verification tests
 134         * make_access_test.sh: create member access test
 135         * make_nested_access_tests.sh: create nested member access test
 136
 137 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 138
 139         *make_tests.sh: fixed two tests to produce valid results with .net
 140         *make_field_test.sh: make fields public
 141
 142 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
 143
 144         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
 145         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 146         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 147         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 148         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 149         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 150         * valid_ldflda_owned_field_on_cctor.il: same
 151         * valid_ldsflda_owned_field_on_cctor.il: same
 152         * valid_local_ref_ref_store.il: valid local store that was not covered before
 153         * unverifiable_ptr_nop.il:  unmanaged pointer ops
 154         * unverifiable_ptr_ldloc.il: same
 155         * unverifiable_ptr_ldarg.il: same
 156         * unverifiable_m_ptr_ldloc.il: same
 157         * unverifiable_m_ptr_ldarg.il: same
 158
 159 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
 160
 161         *make_tests.sh: new ldsfld tests, more call conv tests
 162
 163 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
 164
 165         *make_tests.sh: new ldfld tests (they check everything but visibility)
 166         *make_field_store_test.sh: generated the new field tests
 167
 168 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 169
 170         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
 171         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
 172         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
 173         * invalid_stack_2_ret.il: fix the entry point
 174
 175 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 176
 177         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
 178         * invalid_ldsfld_nonstatic_fld.il: same
 179         * invalid_dup_maxstack.il: same
 180         * invalid_ldsfld_no_fld.il: same
 181         * unverifiable_call_private.il: same
 182         * invalid_backward_branch.il: same
 183         * make_unary_test.sh: same
 184         * invalid_ldloc_no_local.il: same
 185         * make_obj_store_test.sh: added static field to have stsfld tests
 186         * make_store_test.sh: fixed the entrypoint
 187         * make_tests.sh: fixed tests to be faithfull to the spec
 188
 189 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 190
 191         *Changelog: fixed the dates of my commits
 192
 193 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 194
 195         *make_load_test.sh: Fixed the entrypoint to generate valid code
 196         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
 197         *make_tests.sh: Fixed the testsuite to not generate wrong tests
 198         *Makefile: split the clean step as it was failing due to the huge file list
 199          (it might need further tweaking as the testsuite grows)
 200
 201 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
 202
 203         * make_tests.sh: New boolean branch tests
 204         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
 205         * make_ret_test.sh: removed unused variable from sed expression
 206
 207 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
 208
 209         * Makefile (run-test): Make it use pedump instead of mono for validation
 210         * make_tests.sh: New tests
 211         * invalid_stack_2_tet.il: New test
 212         * make_ret_test.sh: New test script
 213         * make_load_test.sh: New test script
 214         * make_obj_store_test.sh: Test did not generate valid code for some cases
 215         * make_store_test.sh: Test did not generate valid code for some cases
 216
 217 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
 218
 219         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
 220
 221         * make_tests.sh: Remove some stack merge tests which are verifiable.
 222
 223         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
 224         test files to the standard .il.
 225
 226 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
 227
 228         * *.sh: Fix more verification problems.
 229
 230         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
 231
 232 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
 233
 234         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
 235         more ilasm and verification problems.
 236
 237         * TestRunner.cs: New file.
 238
 239 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
 240
 241         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
 242         valuetypes sealed to fix ilasm warnings.
 243
 244 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
 245
 246         * Initial import of the verifiers tests developed by
 247         Jim Purbrick <babbage@lindenlab.com>.
 248