News

Fortress: Fortress v0.4.27 released

Added by Andrei Tatarnikov 5 days ago

The new release contains the following changes:

  • Bug fixes and improvements in BitVector (mappings were reviewed)

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

Fortress: Fortress v0.4.26 released

Added by Andrei Tatarnikov 6 days ago

The new release contains the following changes:

  • Fix in BitVectorMapping
  • Improvement in type calculation rules (support for unbounded BVCONCAT)

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

MicroTESK: MicroTESK 2.4.32 released

Added by Andrei Tatarnikov 6 days ago

The new release contains the following changes:

  • Support for revisions in nML and MMU specifications
  • Integration of generation engines (branch and memory)
  • Test template multiple_engines.rb demonstrating how to mix ALU, BPU and MMU constraints in a single sequence (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK: MicroTESK 2.4.31 released

Added by Andrei Tatarnikov 19 days ago

The new release contains the following changes:

  • Test template int_exception_branch.rb demonstrating how to mix BPU and ALU constraints (miniMIPS)
  • Test template memory_situation2.rb demonstrating how to mix MMU and ALU constraints (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK: MicroTESK 2.4.30 released

Added by Andrei Tatarnikov 21 days ago

The new release contains the following changes:

  • Example templates for BPU testing (miniMIPS)
  • Bug fixes and general improvements

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

MicroTESK: MicroTESK 2.4.29 released

Added by Andrei Tatarnikov about 1 month 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

MicroTESK: MicroTESK 2.4.28 released

Added by Andrei Tatarnikov about 1 month ago

The new release contains the following changes:

  • Support for generation of GCC linker scripts for test programs
  • Bug fixes and general improvements

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

MicroTESK: MicroTESK 2.4.27 released

Added by Andrei Tatarnikov about 1 month ago

The new release contains the following changes:

  • Improved support for sections in test templates (constructs section {}, section_data {}, section_text {})

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

QEMU for ARMv8: QEMU for ARMv8 0.1.8 released

Added by Sergey Smolov 2 months ago

The new release includes the following changes:

  • labels' appropriate logging;
  • memory access logging.

The source code can be downloaded from here

The complete list of closed issues is available here

Trace Matcher: Trace Matcher 0.1.7 released

Added by Sergey Smolov 2 months ago

The new release includes some bugfixes and improvements.

The source code can be downloaded from here

1 2 3 ... 28 (1-10/273)

Also available in: Atom