MicroTESK 2.4.10 released
MicroTESK 2.4.10 has been released.
The new release contains the following changes:
SAT4Jsolver has been adapted to be used in the memory engine
.textdirective 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