News

QEMU for RISC-V: QEMU for RISC-V v0.1.1 released

Added by Sergey Smolov 15 days ago

We are happy to announce the first build of the QEMU for RISC-V tool.

QEMU for RISC-V is an open-source emulator for RISC-V assembler programs based on QEMU project, and, particularly, on it's qemu-riscv fork.
It is planned to enhance the emulator with logging features.

The build is based on d2d8d808 commit of qemu-riscv project.

The source code can be downloaded from here

Klever: Klever 0.2

Added by Evgeny Novikov about 1 month ago

Quite soon after the first release Klever 0.2 is available. Among all new features and bug fixes the most notable ones are the following:
  • Verification results processing, visualization and assessment:
    • Improving calculation and visualization of code coverage for particular verification tasks.
    • Calculation and visualization of code coverage split by correctness rule specifications for verification jobs or sub-jobs as a whole.
    • Switching to new functions for converting and comparing error traces by default as well as removing the outdated ones.
    • Fixes of processing, visualization and comparison of error traces for data races.
  • Verification back-ends:
    • Support for configuring verification back-ends.
    • Updating verification back-ends used by default.
    • Integration of Ultimate Automizer as an alternative verification back-end.
  • Verification tasks generation:
    • Ability to generate verification tasks consisting of several C source files.
    • Parallel generation of verification tasks and processing of verification results.
    • Reusing intermediate results obtained during verification tasks generation.
  • Support for installation and updates within OpenStack clouds.

QEMU for ARMv8: QEMU for ARMv8 0.1.10 released

Added by Sergey Smolov about 1 month ago

The functionality is left unchanged.

The release is based on QEMU 2.10.1 (see ChangeLog for more details).

The source code can be downloaded from here

MicroTESK: 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

Trace Matcher: Trace Matcher 0.1.8 released

Added by Sergey Smolov 2 months ago

The new release includes the following changes:

  • "--skip-equal" command line option has been added;
  • reg names can contain all but space symbols in register records;
  • bugfixes and improvements.

The source code package can be downloaded from here

The complete list of closed issues is available here

MicroTESK: 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

Retrascope: Retrascope 1.0.1 released

Added by Sergey Smolov 2 months ago

The new release contains the following changes:

  • CGAA model: phase variable based representation;
  • CGAA model: process as a collection of sub-paths;
  • CGAA-to-EFSM transformer: cmdline parameter for EFSM state number limit;
  • EFSM model: phase variable based representation;
  • HLDD model: phase variable based representation support;
  • HLDD-based test generator: phase variable based representation support;
  • Tests: miniMIPS & Plasma projects are partially in use;
  • Tool Functions: Bug fixes & general improvements;
  • Utilities: separately solve independent sub-expressions of AND expression;
  • VHDL parser: flatten module instances;
  • VHDL parser: enum support;
  • VHDL parser: support for 'others' attr upon bitvector\array initialization;
  • VHDL parser: limited support for functions (BV_INC6);
  • VHDL\Verilog parsers: backend that merges "neighbour ranged" sequential "if" statements;
  • VHDL\Verilog parsers: backend that merges empty event-free cases.

The list of resolved issues can be found here

The tool can be downloaded from here

MicroTESK: 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

Klever: Klever 0.1

Added by Evgeny Novikov 3 months ago

After more than 2 years of very intensive development we are glad to announce that the first version of Klever was released. Klever 0.1 includes extremely many awesome features to mention all of them explicitly. We just would like to thank all developers and contributors who made this possible.

Starting from Klever 0.1 we will make new releases each several months and, if this will have sense for some users, create stable branches for previous releases to backport fixes of the most critical issues.

MicroTESK: 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

1 2 3 ... 29 (1-10/285)

Also available in: Atom