MicroTESK 2.4.14 released

MicroTESK 2.4.14 has been released.
Added by Andrei Tatarnikov about 1 month ago

The new release contains the following changes:

  • Support for assertions in nML was implemented
  • New option --debug-print was introduced
  • Bug fixes and general improvements

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