MicroTESK 2.4.14 released - MicroTESK - Open-Source Projects

MicroTESK 2.4.14 released

MicroTESK 2.4.14 has been released.
Added by Andrei Tatarnikov over 7 years 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

Comments