MicroTESK

The new release contains the following changes:

• Memory engine performance has been optimized
• Bug fixes and general improvements

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

The new release contains the following changes:

• The SAT4J solver has been adapted to be used in the memory engine
• The .text directive is automatically inserted into code
• Bug fixes and general improvements

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

The new release contains the following changes:

• Refactoring of simulation logic

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

The new release contains the following changes:

• Refactoring of simulation logic

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

The new release contains the following changes:

• Refactoring of generation and simulation logic

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

The new release contains the following changes:

• Improved disassembler
• Improved floating-point support
• Bug fixes and general improvements

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

The new release contains the following changes:

• Improved floating-point support
• Bug fixes and general improvements

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

The new release contains the following changes:

• Basic implementation of disassembler
• Basic support for 16-bit floating point data types
• Bug fixes and general improvements

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

The new release contains the following changes:

• Support for binary masks in preparators (test templates)
• The internal modifier for nML operation was established
• Bug fixes and general improvements

The list of resolved issues can be found at the following link

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

The new release contains the following changes:

• Support for structures (the struct keyword) in nML
• Improved timing statistics
• Bug fixes and general improvements

The list of resolved issues can be found at the following link

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