MicroTESK

The new release contains the following changes:

• Added the tool for list the model operations.
  To use enter the command: `--list-operations <model name>`
• Oracle tool:
  - Refactoring the tool settings and options
• Trace adapter tool:
  - Refactoring the tool structure

Download: http://forge.ispras.ru/projects/microtesk/files