MicroTESK

The new release contains the following changes:

• Support for floating-point calculations was improved (integration with JSoftFloat, support for new floating-point types and functions for type conversion)
• Support for checking addresses using memory region settings was implemented
• Some bug fixes and general improvements were made

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