mono/tests/verifier/ChangeLog

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