News

MicroTESK 2.2.13 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Several bug fixes and general improvements were made

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

MicroTESK 2.2.12 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Data generated for test programs (defined in 'data' blocks) now can be placed into separate files
  • Several bug fixes and general improvements were made

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

MicroTESK 2.2.11 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Several bug fixes and improvements were made

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

MicroTESK 2.2.10 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Possibility to specify test case level prologue and epilogue in test templates was implemented
  • Possibility to specify calls of pseudo instructions in test templates was implemented
  • The functionality of 'align' and 'org' methods (test templates) was improved
  • CVC4 is now used as the default SMT solver
  • Z3_PATH and CVC4_PATH environment variables can now be used to specify path to corresponding SMT solver executable
  • Several bug fixes and general improvements were made

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

MicroTESK 2.2.9 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for '.org' and '.align' directives in test templates
  • Better handling of the 'undefined' and 'unpredicted' situations
  • Several bug fixes and general improvements

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

MicroTESK 2.2.8 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for preprocessor directives
  • Support for exception handling
  • Support for tracking instruction addresses during simulation (including tracking addresses in indirect branches)

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

MicroTESK 2.2.7 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Data file generation feature was implemented
  • Several bug fixes and general improvements were made

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

MicroTESK 2.2.6 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for large memory addresses (e.g 48 and 64 bits) was improved
  • Support for overloaded preparators was implemented
  • Support for operation and addressing mode groups in test templates was implemented
  • Support for user-defined test data generator extensions (in Java) was implemented
  • Improved console output format (use the --verbose option)
  • Several bug fixes and general improvements were made

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

MicroTESK 2.2.5 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Basic support for Tarmac was implemented (logging is enabled with the '--tarmac-log' option)
  • Support for large memory addresses (e.g 48 and 64 bits) was implemented

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

MicroTESK 2.2.4 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Possibility to select test situations in random manner was implemented.
  • Randomization of operands of instructions with unspecified situations was supported.
  • Architecture-specific settings (set up with '--arch-dirs' option) were established.
  • Support for random register allocation was implemented.
  • Options '--comments-enabled' and '--comments-enabled' for enabling/disabling printing comments to test programs were added.
  • Option '--solver-debug' for enabling debug output of SMT solvers was added.
  • Functionality of the 'include' directive was improved.
  • Format of generated test programs was enhanced.
  • Behavior improvement: if a preparator for an addressing mode is not specified, test generation is no aborted.
  • Several bug fixes and general improvements were made.

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

1 ... 8 9 10 11 12 (91-100/116)

Also available in: Atom