News

MicroTESK 2.3.0 alpha released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Basic support for MMU-directed test program generation 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

MicroTESK 2.2.17 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Some 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.16 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Some 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.15 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Some 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.14 beta released

Added by Andrei Tatarnikov about 2 years ago

The new release contains the following changes:

  • Support for self-checking test program generation was implemented (use the '--self-checks' option)
  • Some 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.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 over 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 over 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 over 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

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

Also available in: Atom