mono/tests/verifier/ChangeLog

   1 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
   2
   3         * make_tail_call_test.sh: New test generator for
   4         tail prefix.
   5
   6         * make_test.sh: Added tests using the new generator.
   7
   8 2008-04-04 Rodrigo Kumpera <rkumpera@novell.com>
   9
  10         * invalid_branch_middle_of_instruction.il: Recent
  11         work on prefixes broke the verification for branching
  12         in the middle of an instruction.
  13
  14 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
  15
  16         * make_prefix_test.sh: New test generator for
  17         instruction prefix.
  18
  19         * make_test.sh: Added tests using the new generator.
  20
  21 2008-04-02 Rodrigo Kumpera <rkumpera@novell.com>
  22
  23         * make_type_constraint_test.sh: New test generator for
  24         constraints on generic type arguments.
  25
  26         * make_testS: Added tests using the new generator.
  27
  28 2008-03-31 Rodrigo Kumpera <rkumpera@novell.com>
  29
  30         * AssemblyRunner.cs: Mark TypeLoadException as invalid code.
  31
  32 2008-03-25 Rodrigo Kumpera <rkumpera@novell.com>
  33
  34         * valid_branch_to_first_prefix.il: Test branching to the first prefix
  35         of an instruction.
  36
  37 2008-03-24 Rodrigo Kumpera <rkumpera@novell.com>
  38
  39         * make_cmmp_test.sh: Test generator for readonly pointers.
  40
  41         * make_test.sh: New tests using the added generator.
  42
  43 2008-03-17 Rodrigo Kumpera <rkumpera@novell.com>
  44
  45         * make_constrained_test.sh: Test generator for constrained calls.
  46
  47         * make_test.sh: New tests using the added generator.
  48
  49 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
  50
  51         * valid_generic_test.cs: Tests for generic classes.
  52
  53         * unverifiable_generic_type_field_access.il: Tests for
  54         not mixing generic arguments.
  55
  56         * valid_generic_test.cs: Add tests for generic
  57         class and method together.
  58
  59 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
  60
  61         * strict_native_int_converts_to_unamanged_pointer.cs: Allow
  62         conversion from native int to unmanaged pointer in non-strict mode.
  63         This is required to allow the C# expression "(IntPtr)null" to be
  64         verifiable.
  65
  66 2008-03-12 Rodrigo Kumpera <rkumpera@novell.com>
  67
  68         * valid_ldftn_final_virtual_method.il:
  69         * valid_ldftn_sealed_type_virtual_method.il: Tests the interaction
  70         of sealed type and final method or ldftn verifiability.
  71
  72 2008-03-11 Rodrigo Kumpera <rkumpera@novell.com>
  73
  74         * make_delegate_compat_test.sh: Added. Generate tests for
  75         compatibility between delegate signature and function
  76         signature.
  77
  78         * make_tests.sh: Added tests using make_delegate_compat_test.sh.
  79
  80 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
  81
  82         * make_invalid_ret_type.sh: Added. Generate return site tests
  83         for invalid return types.
  84
  85         * make_tests.sh: Add tests using make_invalid_ret_type.sh.
  86
  87 2008-03-10 Rodrigo Kumpera <rkumpera@novell.com>
  88
  89         * unverifiable_callvirt_static_method.il: Added. Test for callvirt and
  90         static methods.
  91
  92 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
  93
  94         * invalid_refanytype_null_stack_top.il: New test for refanytype opcode.
  95
  96         * invalid_refanytype_invalid_stack_top.il: Same.
  97
  98         * valid_refanytype.il: Same.
  99
 100 2008-02-28 Rodrigo Kumpera <rkumpera@novell.com>
 101
 102         * make_mkrefany.il: New test generator for mkrefany opcode.
 103
 104         * make_tests.sh: Added tests for mkrefany.
 105
 106 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 107
 108         * valid_vararg.il: New test for calling vararg methods.
 109
 110 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 111
 112         * valid_refanyval.il: New test for the refanyval opcode.
 113
 114         * invalid_refanyval_null_stack_top.il: Same.
 115
 116         * invalid_refanyval_invalid_stack_top.il: Same.
 117
 118 2008-02-27 Rodrigo Kumpera <rkumpera@novell.com>
 119
 120         * valid_arglist.il: New test for the arglist opcode.
 121
 122         * invalid_arglist_method_not_vararg.il: Same.
 123
 124 2008-02-18 Rodrigo Kumpera <rkumpera@novell.com>
 125
 126         * unverifiable_locals_without_initlocals.il: Methods with locals
 127         that are not .init are allways unverifiable.
 128
 129 2008-02-08 Rodrigo Kumpera <rkumpera@novell.com>
 130
 131         * unverifiable_void_ptr_store_2.cs: Tests for using unmanaged pointers.
 132         This test looks for void pointers.
 133
 134         * unverifiable_void_ptr_store_3.cs: Same.
 135
 136         * unverifiable_void_ptr_store.cs: Same.
 137
 138         * valid_merge_boxed_type_3.cs: Test merging a reference type diferent than
 139         System.Object and a boxed valuetype. This is hopefully the last issue of
 140         merging stack frames.
 141
 142         * Makefile: compile .cs files with /unsafe switch.
 143
 144 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
 145
 146         * valid_boxed_enum_is_compatible_with_system_enum.cs: Added.
 147         Test if an enum is compatible with System.Enum.
 148
 149         * valid_merge_boxed_type.cs: Added. Test merging
 150         a boxed int32 with a reference type.
 151
 152         * valid_merge_boxed_type_2.cs: Same.
 153
 154         * make_ldelem_test.sh: Added some enums to be used by the tests.
 155
 156         * make_tests.sh: New tests for ldelem compatibility between enums
 157         and their base type. Marked some tests as strict.
 158
 159 2008-02-06 Rodrigo Kumpera <rkumpera@novell.com>
 160
 161         * valid_merge_base_type.cs
 162         * valid_merge_first_value_is_base_type.cs:
 163         * valid_merge_interface_type_3.cs:
 164         * valid_merge_interface_type_4.cs:
 165         * valid_merge_interface_type.cs:
 166         * valid_merge_second_value_is_base_type.cs: New tests for stack merging.
 167         These tests verify the correctness of the merged value.
 168
 169 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
 170
 171         * make_tests.sh: More tests for brtrue/brfalse with boxed values
 172         and null literals.
 173
 174         * make_bool_branch_test.sh: New optional arg to allow for new tests.
 175
 176 2008-01-30 Rodrigo Kumpera <rkumpera@novell.com>
 177
 178         * make_tests.sh: Removed some invalid tests for nesting access
 179         as they where trying to call non final virtual methods without using
 180         the 'this' pointer.
 181
 182 2008-01-23 Rodrigo Kumpera <rkumpera@novell.com>
 183
 184         * make_call_test.sh: test generator for call and callvirt.
 185
 186         * make_tests.sh: added tests for call and callvirt.
 187
 188 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 189
 190         * invalid_ldstr_bad_token.il: added. check the index
 191         against the the #US heap.
 192
 193 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 194
 195         * unverifiable_newobj_no_visibility.il: added. visibility
 196         check for newobj.
 197
 198 2008-01-21 Rodrigo Kumpera <rkumpera@novell.com>
 199
 200         * unverifiable_ldftn_no_visibility.il: added. visibility
 201         check for ldftn.
 202
 203         * unverifiable_ldvirtftn_no_visibility.il: added. visibility
 204         check for ldvirtftn.
 205
 206 2008-01-18 Rodrigo Kumpera <rkumpera@novell.com>
 207
 208         * make_tests.sh: added tests for ovf math with floats.
 209
 210 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 211
 212         * make_localloc_test.sh: test generator for localloc.
 213
 214         * make_tests.sh: added tests for localloc.
 215
 216 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 217
 218         * make_sizeof_test.sh: test generator for sizeof.
 219
 220         * make_tests.sh: added tests for sizeof.
 221
 222 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 223
 224         * make_cp_test.sh: test generator for cpobj.
 225
 226         * make_tests.sh: added tests for cpobj.
 227
 228 2008-01-17 Rodrigo Kumpera <rkumpera@novell.com>
 229
 230         * invalid_initobj_invalid_token_out_of_bounds.il: tests for initobj.
 231
 232         * invalid_initobj_invalid_token_type.il: same.
 233
 234         * make_initobj_test.sh: test generator for initobj.
 235
 236         * make_tests.sh: added tests for initobj.
 237
 238 2008-01-11 Rodrigo Kumpera <rkumpera@novell.com>
 239
 240         * unverifiable_ldfld_reference_type_by_ref.il: new test for ldfld.
 241
 242         * invalid_stojb_bad_token.il: test for bad ldobj token.
 243
 244         * invalid_stojb_token_out_of_bounds.il: same.
 245
 246         * make_stobj_test.sh: new test generator.
 247
 248         * make_test.sh: added new tests for stobj.
 249
 250 2008-01-10 Rodrigo Kumpera <rkumpera@novell.com>
 251
 252         * valid_ldftn_method_spec_token.il: new test
 253         for loading function pointers for generic methods.
 254
 255 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 256
 257         * make_test.sh: added tests for unbox.any.
 258
 259         * make_unbox_any_test.sh: new test generator.
 260
 261 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 262
 263         * make_test.sh: added tests for add|sub|mul ovf;
 264
 265         * unverifiable_unbox_toke_is_reference_type.il: New test for regressions
 266         found while validating vbnc.
 267
 268         * valid_stind_ref_with_boxed_value.il: same.
 269         *  valid_ldelema_enum_array.il: same.
 270
 271 2008-01-09 Rodrigo Kumpera <rkumpera@novell.com>
 272
 273         * valid_isinst_with_boxed_valuetype.il: New test for regressions
 274         found while validating vbnc.
 275
 276         * valid_ldfld_valuetype_by_ref.il: same.
 277         * valid_ldfld_valuetype_by_value.il: same.
 278         * valid_stelem_ref_boxed_value.il: same.
 279         * valid_stloc_boxed_valuetype.il: same.
 280         * valid_sub_class_of_generic_type_is_compatible.il: same.
 281         * unverifiable_ldfld_valuetype_boxed.il:  same.
 282         * unverifiable_ldfld_reference_type_by_ref.il: same.
 283
 284         * make_test.sh: new tests for stfld and cgt.un.
 285
 286
 287 2008-01-08 Rodrigo Kumpera <rkumpera@novell.com>
 288
 289         * make_delegate_test.sh: increased max stack for
 290         ldvirtftn tests.
 291
 292         * make_tests.sh: added new tests for delegates
 293         constructed with ldvirtftn.
 294
 295 2008-01-07 Rodrigo Kumpera <rkumpera@novell.com>
 296
 297         * make_delegate_test.sh: added.
 298
 299         * make_tests.sh: added new tests for delegates
 300         constructed with ldftn.
 301
 302 2008-01-03 Rodrigo Kumpera <rkumpera@novell.com>
 303
 304         * invalid_ldvirtftn_invalid_token_type.il: added.
 305
 306         * make_ldvirtftn_test.sh: added.
 307
 308         * invalid_ldvirtftn_invalid_token_out_of_bounds.il: added.
 309
 310         * make_ldftn_test.sh: changed to allow more tests.
 311
 312         * make_tests.sh: added new tests for ldvirtftn and
 313         a buch more for ldftn.
 314
 315 2007-12-31 Rodrigo Kumpera <rkumpera@novell.com>
 316
 317         * invalid_ldftn_invalid_token_out_of_bounds.il: added.
 318
 319         * invalid_ldftn_invalid_token_type.il: added.
 320
 321         * make_ldftn_test.sh: added.
 322
 323         * make_test.sh: new tests for ldftn.
 324
 325         * AssemblyRunner.cs: added BadImageFormatException
 326         to the list of invalid code errors. Removed
 327         some dead code and an useless message.
 328
 329
 330 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
 331
 332         * invalid_non_empty_stack_at_try_begin.il: added.
 333
 334         * valid_branch_to_first_intruction_of_try.il: added.
 335
 336
 337 2007-12-27 Rodrigo Kumpera <rkumpera@novell.com>
 338
 339         * make_exception_overlap_test.sh: new test generator.
 340
 341         * make_tests.sh: new tests for exception clause restrictions
 342         enumerated in P1 12.4.2.7.
 343
 344         * invalid_catch_block_starts_after_prefix.il: new test
 345         for a catch block that starts in the middle of an instruction.
 346
 347 2007-12-24 Rodrigo Kumpera <rkumpera@novell.com>
 348
 349         * make_switch_test.sh: new test generator.
 350
 351         * make_exception_branch_test.sh: the filter
 352         handler did not pop the exception argument.
 353
 354         * make_tests.sh: add tests for switch.
 355
 356 2007-12-21 Rodrigo Kumpera <rkumpera@novell.com>
 357
 358         * make_branch_test.sh: new test generator.
 359
 360         * make_exception_branch_test.sh: added
 361         support to test generator to specify
 362         the expected result.
 363
 364         * make_tests.sh: some results for
 365         make_exception_branch_test.sh were
 366         wrong, fixed that.
 367
 368         * make_tests.sh: added some tests
 369         to beq and bge.
 370
 371         * make_tests.sh added tests for br.
 372
 373 2007-12-20 Rodrigo Kumpera <rkumpera@novell.com>
 374
 375         * valid_exception_sequence.il: new test
 376         for what blocks take an exception on
 377         stack at the begin.
 378
 379 2007-12-19 Rodrigo Kumpera <rkumpera@novell.com>
 380
 381         * invalid_empty_catch_block.il
 382         * invalid_empty_fault_block.il
 383         * invalid_empty_filter_block.il
 384         * invalid_empty_finally_block.il
 385         * invalid_empty_handler_block.il
 386         * invalid_empty_try_block.il
 387         tests for empty protected blocks.
 388
 389         * invalid_exception_blocks_order.il:
 390         test for the required ordering of exception
 391         clauses.
 392
 393         * invalid_finally_block_overlap_try_block.il
 394         * invalid_try_block_includes_catch_block.il
 395         * invalid_try_block_inside_filter_block.il
 396         tests for ill formed exception clauses.
 397
 398         * invalid_fallout_of_filter_block.il
 399         * invalid_fallout_of_handler_block.il
 400         * invalid_fallthru_into_filter_block.il
 401         * invalid_fallthru_into_handler_block.il
 402         * unverifiable_fallout_of_catch_block.il
 403         * unverifiable_fallout_of_fault_block.il
 404         * unverifiable_fallout_of_finally_block.il
 405         * unverifiable_fallout_of_try_block.il
 406         * unverifiable_fallthru_into_catch_block.il
 407         * unverifiable_fallthru_into_fault_block.il
 408         * unverifiable_fallthru_into_finally_block.il
 409         * valid_end_try_block_with_throw.il:
 410         tests for fallthru in and out of protected blocks.
 411
 412 2007-12-18 Rodrigo Kumpera <rkumpera@novell.com>
 413
 414         * make_test.sh: added tests for filter
 415
 416         * make_filter_test.sh: new test generator
 417
 418 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 419
 420         * make_test.sh: added tests for endfilter
 421
 422         * make_endfilter_test.sh: new test generator
 423
 424 2007-12-14 Rodrigo Kumpera <rkumpera@novell.com>
 425
 426         * Makefile: add support to check strict tests.
 427
 428         * AssemblyRunner.cs: start using peverify as part of the
 429         process. Support for strict tests.
 430
 431 2007-12-12 Rodrigo Kumpera <rkumpera@novell.com>
 432
 433         * invalid_filter_ends_at_endfilter_1.il: tests if the
 434         filter block is limited by the start of the associated
 435         handler clause or it is limited by the ocurrence of
 436         endfilter. These 3 tests show that even if the endfilter
 437         instruction must be the last, it doesn't define the end
 438         of the filter block.
 439
 440         * invalid_filter_ends_at_endfilter_2.il: same
 441
 442         * invalid_filter_ends_at_endfilter_3.il: same
 443
 444         * make_test.sh: added tests for endfinally / endfault
 445         * make_endfinally_test.sh: new test generator
 446
 447 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 448
 449         * make_test.sh: added tests for rethrow
 450         * make_rethrow_test.sh: new test generator
 451
 452 2007-12-11 Rodrigo Kumpera <rkumpera@novell.com>
 453
 454         * make_test.sh: added tests for throw
 455         * make_throw_test.sh: new test generator
 456
 457 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 458
 459         * make_test.sh: added tests for castclass and isinst
 460         * make_cast_test.sh: new test generator
 461
 462 2007-12-07 Rodrigo Kumpera <rkumpera@novell.com>
 463
 464         * make_test.sh: added tests for stelem.X
 465         * make_stelem_test.sh: new test generator
 466
 467 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 468
 469         * make_test.sh: added tests for ldelem
 470
 471 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 472
 473         * make_test.sh: fixed compilation issues with some tests.
 474
 475 2007-12-06 Rodrigo Kumpera <rkumpera@novell.com>
 476
 477         * make_test.sh: added tests for ldelem.X
 478         * make_ldelem_test.sh: new test generator
 479
 480 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 481
 482         * make_test.sh: added tests for ldelema
 483         * make_ldelema_test.sh: new test generator
 484
 485 2007-12-05 Rodrigo Kumpera <rkumpera@novell.com>
 486
 487         * make_test.sh: added tests for ldlen
 488         * make_ldlen_test.sh: new test generator
 489
 490 2007-10-26 Rodrigo Kumpera <rkumpera@novell.com>
 491
 492         * valid_array_method.cs: test for invoking array methods.
 493
 494 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 495
 496         * make_tests.sh: tests for the return type of the invoked method.
 497         tests for passing typedbyref as param.
 498
 499         * make_obj_store_test.sh: add new optional script parameter to tell
 500         if class fields should be generated. This fix some bogus tests using
 501         typedbyref.
 502
 503 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 504         * make_tests.sh: unbox_byref_like test was flawed, it was not testing
 505         the proper unverifable condition.
 506
 507 2007-10-09 Rodrigo Kumpera <rkumpera@novell.com>
 508
 509         * make_unary_test.sh: fixed an invalid struct that has no fields,
 510         this was not the subject of the tests.
 511         * make_newobj_test.sh: added, generate tests for newobj.
 512         * make_tests.sh: added the new tests for newobj and some corner
 513         cases of local/arg load/store.
 514
 515
 516 2007-10-04 Rodrigo Kumpera <rkumpera@novell.com>
 517
 518         * make_store_indirect_test.sh: added, generate tests for stind.X.
 519         * make_tests.sh: added the new tests for ldind.X.
 520
 521 2007-10-02 Rodrigo Kumpera <rkumpera@novell.com>
 522
 523         * make_tests.sh: added the new tests for ops mixing Int32 and IntPtr, disabled
 524         the overlapped tests for now
 525         * make_unary_test.sh: disabled the overlapped tests for now
 526         * make_field_store_test.sh: sames
 527
 528 2007-09-27 Rodrigo Kumpera <rkumpera@novell.com>
 529
 530         * make_load_indirect_test.sh: added, generate tests for ldind.X.
 531         * make_tests.sh: added the new tests for ldind.X and new tests for stloc/starg using
 532         native int and int32.
 533
 534 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 535
 536         * valid_load_addr.il: Tests for valid uses of ldarga and ldloca
 537         * make_double_nesting_test.sh: Generate tests for calling nested classes from a diferent outer class
 538
 539 2007-09-25 Rodrigo Kumpera <rkumpera@novell.com>
 540
 541         * valid_generic_params.cs (added): Tests for valid use of generic types.
 542         * Makedfile: added valid_generic_params.cs
 543
 544 2007-08-16 Rodrigo Kumpera <rkumpera@novell.com>
 545
 546         * make_newarr_test.sh (added):  Generate newarr related tests.
 547         * make_tests.sh: Addes tests for newarr.
 548
 549
 550 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 551
 552         * make_unbox_test.sh (added):  Generate unbox related tests.
 553         * make_tests.sh: Addes tests for unbox.
 554
 555
 556 2007-08-15 Rodrigo Kumpera <rkumpera@novell.com>
 557
 558         * make_ldobj_test.sh (added):  Generate ldobj related tests.
 559         * make_tests.sh: Addes tests for ldobj.
 560
 561 2007-08-13 Rodrigo Kumpera <rkumpera@novell.com>
 562
 563         * make_ldtoken_test.sh (added):  Generate ldtoken related tests
 564         * make_tests.sh: Addes tests for ldtoken, conv.*.* and visibility checks
 565         for nested classes mixed with inheritance
 566
 567 2007-08-10 Rodrigo Kumpera <rkumpera@novell.com>
 568
 569         * make_test.sh: Added new visibility tests and not/neg tests
 570         * make_cross_nested_access_test.sh: new test script for visibility
 571         between two classes nested in the same class
 572         * unverifiable_ldsfld_no_fld.il: added main method
 573         * make_unary_test.sh: added some types to make room for more tests
 574         * make_exception_branch_test.sh: fix the test to trigger the right error
 575
 576
 577 2007-08-02 Rodrigo Kumpera <rkumpera@novell.com>
 578
 579         * make_exception_branch_test.sh: Fix the generation of the tests, so only
 580         branching problems are validated.
 581
 582 2007-07-20 Rodrigo Kumpera <rkumpera@novell.com>
 583
 584         * make_test.sh: added more visibility tests
 585         * Makefile: changed again the clean target to work with the larger number of tests
 586         * make_self_nested_test.sh: new visibility tests
 587
 588 2007-07-19 Rodrigo Kumpera <rkumpera@novell.com>
 589
 590         * make_test.sh: added reference compatibility tests
 591
 592 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 593
 594         * AssemblyRunner.cs: bug fix: handles missing fields corrently
 595         * make_test.sh: correct some tests based on fixed AssemblyRunner
 596
 597 2007-07-05 Rodrigo Kumpera <rkumpera@novell.com>
 598
 599         * AssemblyRunner.cs: Allow running the test suite from the same VM instance
 600         * make_tests.sh: improved the test-suite, now it works running under a VM, not just the verifier
 601         * unverifiable_ldflda_other_class_on_simple_method.il: same
 602         * unverifiable_ptr_nop.il: same
 603         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 604         * make_load_test.sh: same
 605         * make_stack_0_test.sh: same
 606         * make_obj_store_test.sh: same
 607         * unverifiable_m_ptr_ldloc.il: same
 608         * make_ret_test.sh: same
 609         * make_store_test.sh: same
 610         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 611         * make_access_test.sh: same
 612         * unverifiable_ptr_ldloc.il: same
 613         * invalid_call_no_method.il: same
 614         * unverifiable_ldsfld_no_fld.il: same
 615         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 616         * unverifiable_m_ptr_ldarg.il: same
 617         * make_stack_merge_test.sh: same
 618         * unverifiable_stack_2_ret.il: same
 619         * unverifiable_ldflda_other_class_field_on_ctor.il: same
 620         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 621         * make_field_store_test.sh: same
 622         * invalid_backward_branch.il: same
 623         * unverifiable_ldfld_initonly.il: same
 624         * make_nested_access_test.sh: same
 625         * invalid_stack_2_ret.il: same
 626         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 627         * unverifiable_ptr_ldarg.il: same
 628         * valid_fld_initonly.il: same
 629         * make_bin_test.sh: same
 630         * make_field_valuetype_test.sh: new tests
 631
 632
 633 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 634
 635         * make_tests.sh: new access verification tests
 636         * make_access_test.sh: create member access test
 637         * make_nested_access_tests.sh: create nested member access test
 638
 639 2007-07-03 Rodrigo Kumpera <rkumpera@novell.com>
 640
 641         *make_tests.sh: fixed two tests to produce valid results with .net
 642         *make_field_test.sh: make fields public
 643
 644 2007-06-22  Rodrigo Kumpera  <kumpera@gmail.com>
 645
 646         * unverifiable_ldflda_other_class_on_simple_method.il: test for load field address in .ctor
 647         * unverifiable_ldsflda_other_class_on_simple_method.il: same
 648         * unverifiable_ldsflda_other_class_field_on_cctor.il: same
 649         * unverifiable_ldflda_other_class_field_on_cctor.il: same
 650         * unverifiable_ldsflda_owner_class_on_simple_method.il: same
 651         * unverifiable_ldflda_owner_class_on_simple_method.il: same
 652         * valid_ldflda_owned_field_on_cctor.il: same
 653         * valid_ldsflda_owned_field_on_cctor.il: same
 654         * valid_local_ref_ref_store.il: valid local store that was not covered before
 655         * unverifiable_ptr_nop.il:  unmanaged pointer ops
 656         * unverifiable_ptr_ldloc.il: same
 657         * unverifiable_ptr_ldarg.il: same
 658         * unverifiable_m_ptr_ldloc.il: same
 659         * unverifiable_m_ptr_ldarg.il: same
 660
 661 2007-06-20  Rodrigo Kumpera  <kumpera@gmail.com>
 662
 663         *make_tests.sh: new ldsfld tests, more call conv tests
 664
 665 2007-06-19  Rodrigo Kumpera  <kumpera@gmail.com>
 666
 667         *make_tests.sh: new ldfld tests (they check everything but visibility)
 668         *make_field_store_test.sh: generated the new field tests
 669
 670 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 671
 672         * invalid_dup_maxstack.il: the test wasn't generating the failing condition
 673         * make_tests.sh: fixed the generation of stack merge tests and a typo on the return coercion tests
 674         * unverifiable_ldfld_initonly.il: add assembly manifest (so it tests the right thing)
 675         * invalid_stack_2_ret.il: fix the entry point
 676
 677 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 678
 679         * invalid_call_empty_stack.il: added assembly manifest (so it tests the right thing)
 680         * invalid_ldsfld_nonstatic_fld.il: same
 681         * invalid_dup_maxstack.il: same
 682         * invalid_ldsfld_no_fld.il: same
 683         * unverifiable_call_private.il: same
 684         * invalid_backward_branch.il: same
 685         * make_unary_test.sh: same
 686         * invalid_ldloc_no_local.il: same
 687         * make_obj_store_test.sh: added static field to have stsfld tests
 688         * make_store_test.sh: fixed the entrypoint
 689         * make_tests.sh: fixed tests to be faithfull to the spec
 690
 691 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 692
 693         *Changelog: fixed the dates of my commits
 694
 695 2007-06-14  Rodrigo Kumpera  <kumpera@gmail.com>
 696
 697         *make_load_test.sh: Fixed the entrypoint to generate valid code
 698         *make_ret_test.sh: Fixed the entrypoint to generate valid code. Removed invalid generics classes
 699         *make_tests.sh: Fixed the testsuite to not generate wrong tests
 700         *Makefile: split the clean step as it was failing due to the huge file list
 701          (it might need further tweaking as the testsuite grows)
 702
 703 2007-06-12  Rodrigo Kumpera  <kumpera@gmail.com>
 704
 705         * make_tests.sh: New boolean branch tests
 706         * make_bool_branch_test.sh: Test the stack value that boolean branches use (brfalse / brtrue)
 707         * make_ret_test.sh: removed unused variable from sed expression
 708
 709 2007-06-06  Rodrigo Kumpera  <kumpera@gmail.com>
 710
 711         * Makefile (run-test): Make it use pedump instead of mono for validation
 712         * make_tests.sh: New tests
 713         * invalid_stack_2_tet.il: New test
 714         * make_ret_test.sh: New test script
 715         * make_load_test.sh: New test script
 716         * make_obj_store_test.sh: Test did not generate valid code for some cases
 717         * make_store_test.sh: Test did not generate valid code for some cases
 718
 719 2006-06-06  Zoltan Varga  <vargaz@gmail.com>
 720
 721         * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target.
 722
 723         * make_tests.sh: Remove some stack merge tests which are verifiable.
 724
 725         * make_unary_test.sh *.cil Makefile: Change extension of all static and generated
 726         test files to the standard .il.
 727
 728 2006-05-25  Zoltan Varga  <vargaz@gmail.com>
 729
 730         * *.sh: Fix more verification problems.
 731
 732         * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method.
 733
 734 2006-05-23  Zoltan Varga  <vargaz@gmail.com>
 735
 736         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix
 737         more ilasm and verification problems.
 738
 739         * TestRunner.cs: New file.
 740
 741 2006-05-12  Zoltan Varga  <vargaz@gmail.com>
 742
 743         * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make
 744         valuetypes sealed to fix ilasm warnings.
 745
 746 Sun Mar 12 16:18:04 CET 2006 Paolo Molaro <lupus@ximian.com>
 747
 748         * Initial import of the verifiers tests developed by
 749         Jim Purbrick <babbage@lindenlab.com>.
 750