News

MicroTESK 2.4.37 released

Added by Andrei Tatarnikov 2 months ago

The new release contains the following changes:

  • Bug fix in engine for constraint-based test data generation

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

MicroTESK 2.4.36 released

Added by Andrei Tatarnikov 2 months ago

The new release contains the following changes:

  • Enhancements in the branch engine
  • Bug fixes and general improvements

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

MicroTESK 2.4.35 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Support for excluded elements in revision configuration files
  • Bug fixes and general improvements

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

MicroTESK 2.4.34 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.33 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Support for configuration files describing relations between revisions
  • Support for operation templates in nML
  • Support for new nML operators: is_type, type_of, and size_of
  • Support for bitfields in MMU constraints (test templates)
  • Bug fixes and general improvements

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

MicroTESK 2.4.32 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Support for revisions in nML and MMU specifications
  • Integration of generation engines (branch and memory)
  • Test template multiple_engines.rb demonstrating how to mix ALU, BPU and MMU constraints in a single sequence (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK 2.4.31 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Test template int_exception_branch.rb demonstrating how to mix BPU and ALU constraints (miniMIPS)
  • Test template memory_situation2.rb demonstrating how to mix MMU and ALU constraints (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK 2.4.30 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Example templates for BPU testing (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK 2.4.29 released

Added by Andrei Tatarnikov 4 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.28 released

Added by Andrei Tatarnikov 5 months ago

The new release contains the following changes:

  • Support for generation of GCC linker scripts for test programs
  • Bug fixes and general improvements

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

1 2 3 ... 13 (1-10/121)

Also available in: Atom