MicroTESK

The new release contains the following changes:

• Enhancements in the branch engine
• Refactoring in the memory engine
• New demo specifications and templates: Vmem ISA aimed to demonstrate the facilities of the memory engine
• Changes in the nML language translator: special constructs to specify label-based instruction operands
• Improvements in the simulator: correct handling of jump instructions
• Improvements in the symbolic executor: correct SMT-formulae
• Other general improvements

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