MicroTESK

The new release contains the following changes:

• The random_seed setting was added to test templates
• Biased random generation was supported
• The miniMIPS specification was improved
• More test templates for miniMIPS were added

The MicroTESK distribution package can be downloaded from here: http://forge.ispras.ru/projects/microtesk/files