1 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
3 * make_test.sh: added tests for rethrow
4 * make_rethrow_test.sh: new test generator
6 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
8 * make_test.sh: added tests for throw
9 * make_throw_test.sh: new test generator
11 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
13 * make_test.sh: added tests for castclass and isinst
14 * make_cast_test.sh: new test generator
16 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
18 * make_test.sh: added tests for stelem.X
19 * make_stelem_test.sh: new test generator
21 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
23 * make_test.sh: added tests for ldelem
25 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
27 * make_test.sh: fixed compilation issues with some tests.
29 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
31 * make_test.sh: added tests for ldelem.X
32 * make_ldelem_test.sh: new test generator
34 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
36 * make_test.sh: added tests for ldelema
37 * make_ldelema_test.sh: new test generator
39 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
41 * make_test.sh: added tests for ldlen
42 * make_ldlen_test.sh: new test generator
44 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
46 * valid_array_method.cs: test for invoking array methods.
48 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
50 * make_tests.sh: tests for the return type of the invoked method.
51 tests for passing typedbyref as param.
53 * make_obj_store_test.sh: add new optional script parameter to tell
54 if class fields should be generated. This fix some bogus tests using
57 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
58 * make_tests.sh: unbox_byref_like test was flawed, it was not testing
59 the proper unverifable condition.
61 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
63 * make_unary_test.sh: fixed an invalid struct that has no fields,
64 this was not the subject of the tests.
65 * make_newobj_test.sh: added, generate tests for newobj.
66 * make_tests.sh: added the new tests for newobj and some corner
67 cases of local/arg load/store.
70 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
72 * make_store_indirect_test.sh: added, generate tests for stind.X.
73 * make_tests.sh: added the new tests for ldind.X.
75 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
77 * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
78 the overlapped tests for now
79 * make_unary_test.sh: disabled the overlapped tests for now
80 * make_field_store_test.sh: sames
82 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
84 * make_load_indirect_test.sh: added, generate tests for ldind.X.
85 * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
88 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
90 * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
91 * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
93 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
95 * valid_generic_params.cs (added): Tests for valid use of generic types.
96 * Makedfile: added valid_generic_params.cs
98 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
100 * make_newarr_test.sh (added): Generate newarr related tests.
101 * make_tests.sh: Addes tests for newarr.
104 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
106 * make_unbox_test.sh (added): Generate unbox related tests.
107 * make_tests.sh: Addes tests for unbox.
110 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
112 * make_ldobj_test.sh (added): Generate ldobj related tests.
113 * make_tests.sh: Addes tests for ldobj.
115 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
117 * make_ldtoken_test.sh (added): Generate ldtoken related tests
118 * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
119 for nested classes mixed with inheritance
121 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
123 * make_test.sh: Added new visibility tests and not/neg tests
124 * make_cross_nested_access_test.sh: new test script for visibility
125 between two classes nested in the same class
126 * unverifiable_ldsfld_no_fld.il: added main method
127 * make_unary_test.sh: added some types to make room for more tests
128 * make_exception_branch_test.sh: fix the test to trigger the right error
131 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
133 * make_exception_branch_test.sh: Fix the generation of the tests, so only
134 branching problems are validated.
136 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
138 * make_test.sh: added more visibility tests
139 * Makefile: changed again the clean target to work with the larger number of tests
140 * make_self_nested_test.sh: new visibility tests
142 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
144 * make_test.sh: added reference compatibility tests
146 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
148 * AssemblyRunner.cs: bug fix: handles missing fields corrently
149 * make_test.sh: correct some tests based on fixed AssemblyRunner
151 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
153 * AssemblyRunner.cs: Allow running the test suite from the same VM instance
154 * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
155 * unverifiable_ldflda_other_class_on_simple_method.il: same
156 * unverifiable_ptr_nop.il: same
157 * unverifiable_ldsflda_other_class_field_on_cctor.il: same
158 * make_load_test.sh: same
159 * make_stack_0_test.sh: same
160 * make_obj_store_test.sh: same
161 * unverifiable_m_ptr_ldloc.il: same
162 * make_ret_test.sh: same
163 * make_store_test.sh: same
164 * unverifiable_ldsflda_other_class_on_simple_method.il: same
165 * make_access_test.sh: same
166 * unverifiable_ptr_ldloc.il: same
167 * invalid_call_no_method.il: same
168 * unverifiable_ldsfld_no_fld.il: same
169 * unverifiable_ldflda_owner_class_on_simple_method.il: same
170 * unverifiable_m_ptr_ldarg.il: same
171 * make_stack_merge_test.sh: same
172 * unverifiable_stack_2_ret.il: same
173 * unverifiable_ldflda_other_class_field_on_ctor.il: same
174 * unverifiable_ldflda_other_class_field_on_cctor.il: same
175 * make_field_store_test.sh: same
176 * invalid_backward_branch.il: same
177 * unverifiable_ldfld_initonly.il: same
178 * make_nested_access_test.sh: same
179 * invalid_stack_2_ret.il: same
180 * unverifiable_ldsflda_owner_class_on_simple_method.il: same
181 * unverifiable_ptr_ldarg.il: same
182 * valid_fld_initonly.il: same
183 * make_bin_test.sh: same
184 * make_field_valuetype_test.sh: new tests
187 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
189 * make_tests.sh: new access verification tests
190 * make_access_test.sh: create member access test
191 * make_nested_access_tests.sh: create nested member access test
193 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
195 *make_tests.sh: fixed two tests to produce valid results with .net
196 *make_field_test.sh: make fields public
198 2007-06-22 Rodrigo Kumpera <kumpera@gmail.com>
200 * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
201 * unverifiable_ldsflda_other_class_on_simple_method.il: same
202 * unverifiable_ldsflda_other_class_field_on_cctor.il: same
203 * unverifiable_ldflda_other_class_field_on_cctor.il: same
204 * unverifiable_ldsflda_owner_class_on_simple_method.il: same
205 * unverifiable_ldflda_owner_class_on_simple_method.il: same
206 * valid_ldflda_owned_field_on_cctor.il: same
207 * valid_ldsflda_owned_field_on_cctor.il: same
208 * valid_local_ref_ref_store.il: valid local store that was not covered before
209 * unverifiable_ptr_nop.il: unmanaged pointer ops
210 * unverifiable_ptr_ldloc.il: same
211 * unverifiable_ptr_ldarg.il: same
212 * unverifiable_m_ptr_ldloc.il: same
213 * unverifiable_m_ptr_ldarg.il: same
215 2007-06-20 Rodrigo Kumpera <kumpera@gmail.com>
217 *make_tests.sh: new ldsfld tests, more call conv tests
219 2007-06-19 Rodrigo Kumpera <kumpera@gmail.com>
221 *make_tests.sh: new ldfld tests (they check everything but visibility)
222 *make_field_store_test.sh: generated the new field tests
224 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
226 * invalid_dup_maxstack.il: the test wasn't generating the failing condition
227 * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
228 * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
229 * invalid_stack_2_ret.il: fix the entry point
231 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
233 * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
234 * invalid_ldsfld_nonstatic_fld.il: same
235 * invalid_dup_maxstack.il: same
236 * invalid_ldsfld_no_fld.il: same
237 * unverifiable_call_private.il: same
238 * invalid_backward_branch.il: same
239 * make_unary_test.sh: same
240 * invalid_ldloc_no_local.il: same
241 * make_obj_store_test.sh: added static field to have stsfld tests
242 * make_store_test.sh: fixed the entrypoint
243 * make_tests.sh: fixed tests to be faithfull to the spec
245 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
247 *Changelog: fixed the dates of my commits
249 2007-06-14 Rodrigo Kumpera <kumpera@gmail.com>
251 *make_load_test.sh: Fixed the entrypoint to generate valid code
252 *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
253 *make_tests.sh: Fixed the testsuite to not generate wrong tests
254 *Makefile: split the clean step as it was failing due to the huge file list
255 (it might need further tweaking as the testsuite grows)
257 2007-06-12 Rodrigo Kumpera <kumpera@gmail.com>
259 * make_tests.sh: New boolean branch tests
260 * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
261 * make_ret_test.sh: removed unused variable from sed expression
263 2007-06-06 Rodrigo Kumpera <kumpera@gmail.com>
265 * Makefile (run-test): Make it use pedump instead of mono for validation
266 * make_tests.sh: New tests
267 * invalid_stack_2_tet.il: New test
268 * make_ret_test.sh: New test script
269 * make_load_test.sh: New test script
270 * make_obj_store_test.sh: Test did not generate valid code for some cases
271 * make_store_test.sh: Test did not generate valid code for some cases
273 2006-06-06 Zoltan Varga <vargaz@gmail.com>
275 * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
277 * make_tests.sh: Remove some stack merge tests which are verifiable.
279 * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
280 test files to the standard .il.
282 2006-05-25 Zoltan Varga <vargaz@gmail.com>
284 * *.sh: Fix more verification problems.
286 * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
288 2006-05-23 Zoltan Varga <vargaz@gmail.com>
290 * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
291 more ilasm and verification problems.
293 * TestRunner.cs: New file.
295 2006-05-12 Zoltan Varga <vargaz@gmail.com>
297 * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
298 valuetypes sealed to fix ilasm warnings.
300 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
302 * Initial import of the verifiers tests developed by
303 Jim Purbrick <babbage@lindenlab.com>.