mono/tests/verifier/ChangeLog

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