Project

General

Profile

News

MicroTESK: MicroTESK 2.5.0 released

Added by Alexander Kamkin 3 months ago

What's new?

  • Introduced new internal representation, so-called MIR (Middle-level [or MicroTESK] IR)
    • Redesigned the constraint generator (for mark-based situations)
    • Redesigned the symbolic executor (for binary code analysis)
  • Unified the directives (alignment, data definition, and labels) for .text and .data sections:
    • Enabled a possibility to define data in .text
    • Implemented new directives: .balign, .p2align, and .option
    • Refactored the code/data allocation logic
  • Implemented a simple instruction-level coverage tracker (experimental)
  • Used the QEMU4V 0.3.4 simulator for running tests

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

MicroTESK for RISC-V: MicroTESK for RISC-V 0.0.9 released

Added by Alexander Kamkin 6 months ago

What's new?

  • Specifications: Added the system registers and the related modes
  • Specifications: Added sample specifications of some vector instructions (consistent with RISC-V "V" Vector Extension Version 0.7.1)
  • Specifications: Fixed bugs in the RV64A instructions
  • Specifications: Fixed bugs in the RV32{F,D} instructions (FEQ, FLE, and FLT)
  • Test Templates: Added sample test templates for vector instructions
  • Test Templates: Changed the structure of directories
  • Test Templates: Fixed the Torture-like template (synthetics/rvxxx)
  • Tool Functions: Moved the branch data generators to TestBase
  • Test and Debug: Used QEMU4V 0.3.3 for running tests

Download: https://forge.ispras.ru/projects/microtesk-riscv/files

Local Support Project: Redmine 4.0.5

Added by Alexey Demakov 6 months ago

Уважаемые коллеги!

Redmine обновился до версии 4.0.5.

Jenkins обновился до версии 2.190.1

Debian обновился до версии 10.1

Просьба сообщать об обнаруженных проблемах.

Retrascope: Retrascope 1.1.2 released

Added by Sergey Smolov 7 months ago

The new release includes the following changes:

  • CFG-to-GraphML printer: mark branch values with italic;
  • CFG-to-GraphML printer: use dotted arrows for hierarchy dependencies;
  • Dependencies: does not use commons-lang library;
  • Tool: bug fixes and general improvements.

The list of resolved issues is available here

The tool can be downloaded from here

Verilog Translator: Verilog Translator 0.1.2 released

Added by Sergey Smolov 7 months ago

The release includes the following changes:
  • Type casting for case statement's expression and values;
  • Fix 'publishing' block behaviour in Gradle build system;
  • Bug fixes and general improvements.

The list of resolved issues can be found here

The tool can be downloaded from here

(11-20/333)

Also available in: Atom