2006-06-06 Zoltan Varga * Makefile (run-test): Split 'test' target into a 'compile' and 'run-test' target. * make_tests.sh: Remove some stack merge tests which are verifiable. * make_unary_test.sh *.cil Makefile: Change extension of all static and generated test files to the standard .il. 2006-05-25 Zoltan Varga * *.sh: Fix more verification problems. * TestRunner.cs: Use Assembly.EntryPoint instead of searching for a Main method. 2006-05-23 Zoltan Varga * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Fix more ilasm and verification problems. * TestRunner.cs: New file. 2006-05-12 Zoltan Varga * make_store_test.sh make_obj_store_test.sh make_stack_merge_test.sh: Make valuetypes sealed to fix ilasm warnings. Sun Mar 12 16:18:04 CET 2006 Paolo Molaro * Initial import of the verifiers tests developed by Jim Purbrick .