--------------
- Description
--------------

BytecodeVerification is a Java bytecode instruction testing platform.
It generates a .class file containing methods to test each instruction 
separately. It will soon be included in SableVM, a portable bytecode 
interpreter, and in SableJIT, a retargetable just-in-time compiler for
SableVM.

The BytecodeVerification generating file is written in a java assembly-
like language using Jasmin a Java assembler interface.

Information about SableVM and SableJIT may be found at
http://www.sablevm.org/ and its related
http://sourceforge.net/projects/sablevm/ SableVM's SourceForge project page.

Information about Jasmin may be found at
http://mrl.nyu.edu/~meyer/jasmin/

---------------
- Requirements
---------------

In order to be able to produce the BytecodeVerification .class file you need
a system with the following softwares installed on

GNU m4      (http://www.seindal.dk/rene/gnu/)
Jasmin      (http://mrl.nyu.edu/~meyer/jasmin/)

--------------------------
- Additionnal information
--------------------------

Additionnal information about BytecodeVerification may be found in the NOTES 
file.
