Project

General

Profile

News

Klever: Klever 1.1

Added by Evgeny Novikov 8 months ago

Klever 1.1 includes quite many high demanded features and fixes of the most annoying bugs:

  • Improving coverage calculation and visualization. Now one can easily navigate through covered and uncovered functions.
  • Updating CPALockator used for finding data races.
  • Proper processing of wall timeouts that is especially important for highly overloaded machines.
  • Advanced verification tasks scheduling allows:
    • Solving verification tasks faster by means of adaptation of computational resource limits.
    • Solving more verification tasks when having free computational resources after ensuring a minimally required quality of service.
  • Getting rid of some database caches helps to avoid unpleasant bugs in various statistics.
  • Considerable fixing and improving local and OpenStack deployments.
  • Numerous minor bug fixes, optimizations and improvements.

Castle: Castle 0.1.1 released

Added by Sergey Smolov 8 months ago

We are happy to announce the first release of the Castle library.

Castle (Control flow & Abstract Syntax Tree Library, Etc.) is a library for developing translators and code generators.

The release includes the following features:

 - ANTLR-based utilities: include file search engine;
 - ANTLR-based utilities: token source stack for hierarchical structures;
 - AST: symbol table, walker, visitor;
 - AST: assignment, ranged variable, use-def interface;
 - StringTemplate-based code generation utilities;
 - General Utils: system, file processing, logging.

The package can be downloaded from here

MicroTESK for RISC-V: MicroTESK for RISC-V 0.0.5 released

Added by Andrei Tatarnikov 9 months ago

MicroTESK for RISC-V 0.0.5 has been released:

  • Specifications: Bug fixes
  • Test Templates: Test templates for generating torture tests
  • Test Templates: Test templates for validating floating-point instructions
  • Tool Functions: Improved floating-point support
  • Tool Functions: Improved register allocation mechanism
  • Tool Functions: Support for operations with dynamic immediate values in test templates (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT, _SLL)
  • Tests: Improved Make scripts for running test templates
  • Tests: Specification code coverage is measured
  • Tests: Test suite uses QEMU4V 0.2.2

MicroTESK for RISC-V can be downloaded from http://forge.ispras.ru/projects/microtesk-riscv/files

MicroTESK: MicroTESK 2.4.42 released

Added by Andrei Tatarnikov 9 months ago

The new release contains the following changes:

  • Improved template facilities: support for addressing modes (registers) in printing functions (such as trace)
  • Improved template facilities: support for the _SLL operation with dynamic immediate values
  • Improved register allocation: support for the retain attribute

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

MicroTESK: MicroTESK 2.4.41 released

Added by Andrei Tatarnikov 9 months ago

The new release contains the following changes:

  • Support for floating-point types in data sections
  • Support for formatted printing of values in data sections
  • Support for register reservation
  • Support for basic operations (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT) with dynamic immediate values in test templates
  • Improved register allocation strategies
  • New permutator exhaustive (aliased as full)
  • Support for i386 in x86 specifications
  • Support for the NASM and GNU assembler in x86 specifications and test templates
  • miniMIPS test programs are compiled with the GNU assembler and simulated in QEMU
  • x86 test programs are compiled with the GNU and NASM assemblers and simulated in QEMU
  • New option --model-name to allow building several ISA models from the same specifications
  • New option --base-template-path for automated template generation
  • Bug fixes and code improvements

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

(11-20/323)

Also available in: Atom