Project

General

Profile

News

MASIW Framework: MASIW Framework update at 27.03.2017

Added by Alexandr Ugnenko over 1 year ago

New features:
  • Pycl - Python-based Constraint Language allows you to create functions to verify the requirements and constraints applied to the being developed software and hardware systems;
  • integration with Requality - tool for managing of the requirements applied to the being developed software and hardware systems ( https://forge.ispras.ru/projects/reqdb );

Also the update includes a number of bug fixes across various components of MASIW Framework.

MicroTESK: MicroTESK 2.4.39 released

Added by Andrei Tatarnikov almost 2 years ago

The new release contains the following changes:

  • Test data iterator functionality was implemented
  • New demo template testdata.rb (miniMIPS) demonstrating test data iterator
  • Refactoring in generation logic
  • Some general code improvements

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

MicroTESK: MicroTESK 2.4.38 released

Added by Andrei Tatarnikov almost 2 years ago

The new release contains the following changes:

  • Enhancements in the branch engine
  • Refactoring in the memory engine
  • New demo specifications and templates: Vmem ISA aimed to demonstrate the facilities of the memory engine
  • Changes in the nML language translator: special constructs to specify label-based instruction operands
  • Improvements in the simulator: correct handling of jump instructions
  • Improvements in the symbolic executor: correct SMT-formulae
  • Other general improvements

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

Fortress: Fortress v0.4.29 released

Added by Andrei Tatarnikov almost 2 years ago

The new release contains the following changes:

  • Pretty printing of SMT code
  • Improvements in the Java printer
  • New convenience methods NodeValue.newBitVector
  • Additional NodeVariable constructor that takes a dynamic data object
  • Some general code improvements

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Fortress: Fortress v0.4.28 released

Added by Andrei Tatarnikov almost 2 years ago

The new release contains the following changes:

  • Utility class Nodes that provides shortcuts for constructing operation nodes
  • Printer for saving expressions into Java code
  • Code conventions enforced, which caused some renaming in public methods

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files

Klever: Klever 0.2

Added by Evgeny Novikov about 2 years 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.
(41-50/321)

Also available in: Atom