News

MicroTESK 2.4.13 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Bug fixes and general improvements

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

MicroTESK 2.4.12 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Support for jumps over instruction blocks (unstable)
  • Support for generation of tests running on multiple processing elements (unstable)
  • Improvements in the memory engine

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

MicroTESK 2.4.11 released

Added by Andrei Tatarnikov 4 months ago

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

MicroTESK 2.4.10 released

Added by Andrei Tatarnikov 4 months ago

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

MicroTESK 2.4.9 released

Added by Andrei Tatarnikov 4 months ago

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

MicroTESK 2.4.8 released

Added by Andrei Tatarnikov 4 months ago

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

MicroTESK 2.4.7 released

Added by Andrei Tatarnikov 5 months ago

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

MicroTESK 2.4.6 released

Added by Andrei Tatarnikov 5 months ago

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

MicroTESK 2.4.5 beta released

Added by Andrei Tatarnikov 6 months ago

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

MicroTESK 2.4.4 beta released

Added by Andrei Tatarnikov 6 months ago

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

1 2 3 4 ... 11 (11-20/107)

Also available in: Atom