Open-Source Projects

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

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

• Boolector solver is supported
• CVC4 1.8 solver is used
• Bug fixes and code improvements

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files
The complete list of resolved issues is available here

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

• 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.

• terms handling;
• repository operations;
• versioning;
• report generation;
• undo-redo.

A complete list of changes can be found in changelog.

The new release is based on QEMU 5.0.0 and includes general improvements.
The source code can be downloaded from here

What's new?

• Fixed the TokenSourceStack class and moved it to the Castle 0.1.4 library (see https://forge.ispras.ru/projects/castle)
• Rearranged the documentation
  • Moved the documentation sources into a separate project (see https://forge.ispras.ru/projects/microtesk-docs)
  • Added the installation guide into the distribution package
• 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

Download: http://forge.ispras.ru/projects/microtesk/files

What's new?

• ANTLR utils: fixed the TokenSourceStack class

The library can be downloaded from here

Retrascope 1.1.* distribution packages have been re-uploaded to Files with the build base version having been set.

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

• Wrong names for PowerPC registers are fixed

The source code can be downloaded from here