Castle: Castle 0.1.5 released

Added by Sergey Smolov over 2 years ago

What's new?
  • AST: new getName method at RangedVariable class
  • AST: Assignment class fields are renamed
  • Bug fixes and general improvements

Verilog Translator: Verilog Translator 0.1.3 released

Added by Sergey Smolov over 2 years ago

The release includes the following changes:

  • Build system: use Gradle 5.0;
  • Documentation: changelog and readme are rewritten into Markdown format;
  • Language: support for macro with parameters;
  • Language: support for SystemVerilog Assertions;
  • Options: `--library-file` option to include function library files;
  • Tests: test cases for QUIP and IWLS'2005 benchmarks;
  • Tool: bug fixes and general improvements;
  • Tool: error diagnostics is improved;
  • Tool: migration to Java 11.

The tool can be downloaded from here
The list of resolved issues can be found here

Requality: Requality 1.1 released

Added by Alexey Khoroshilov over 2 years 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 about 3 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 about 3 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