Requality: Requality 1.1 released

Added by Alexey Khoroshilov over 1 year ago

Version 1.1 of Requality has been released with better git integration and usability improvements.

The new features include:
  • Reports gets meta information header including:
    • information about git revision of the project;
    • information about local changes regarding git;
    • user initiated report generation;
    • tool version;
    • time of report generation.
  • Support for switching project to a particular revision from git repository history.
  • Support for “Local only” flag allowing to ignore some folders in repository.
  • Search dialog keeps last settings during working session.
  • Better support for term definition-usage relation.
  • Report export operation ends with modal dialog message.
  • All eclipse plugins are moved to a single category.
Also various bugs have been fixed in:
  • terms handling;
  • repository operations;
  • versioning;
  • report generation;
  • undo-redo.

A complete list of changes can be found in changelog.

MicroTESK: MicroTESK 2.5.1 released

Added by Alexander Kamkin almost 2 years ago

What's new?

  • Fixed the TokenSourceStack class and moved it to the Castle 0.1.4 library (see
  • Rearranged the documentation
  • Modified the mmuSL code generation scheme
  • Added a boot section to the miniMIPS test templates
  • Fixed a number of long-lived bugs
  • Used the QEMU4V 0.3.5 simulator for running tests


Trace Matcher: Trace Matcher 0.1.9 released

Added by Sergey Smolov almost 2 years ago

The new release includes the following changes:

  • Migration to Python 3;
  • Tool docs are rewritten into Markdown format;
  • Build system uses Gradle 4.10.3;
  • Bugfixes and improvements.

The source code package can be downloaded here
The complete list of closed issues is available here


Also available in: Atom