News

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

Trace Matcher: Trace Matcher 0.1.4 released

Added by Sergey Smolov about 1 month ago

The new release includes the following changes:

  • "--window-size" command line option has been added;
  • "--first-dif-stop" command line option has been added;
  • "--skip-rest" command line option has been added;
  • bugfixes and improvements.

The source code can be downloaded from here

The complete list of closed issues is available here

Fortress: Fortress v0.4.24 released

Added by Andrei Tatarnikov about 1 month ago

The new release contains the following changes:

  • Improvements in Randomizer and VariateInterval
  • Pair can store null

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

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

Trace Matcher: Trace Matcher 0.1.3 released

Added by Sergey Smolov about 1 month ago

The new release includes the following changes:

  • ChangeLog has been added to the distribution (#8179);
  • record fields are compared in case insensitive mode (#8184);
  • bugfixes and improvements (#8181).

The source code can be downloaded from here

QEMU for ARMv8: QEMU for ARMv8 0.1.6 released

Added by Sergey Smolov about 1 month ago

The new release includes the following changes:

  • 'fpu' logging item for FPU registers (#8185);
  • when '-trace-log' option is enabled, all the writes to Aarch64 registers are put to log (#8189);
  • more Aarch64 registers disassembling (#8190, #8191);
  • bugfixes and improvements (#8163, #8182, #8183).

The source code can be downloaded from here

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

Trace Matcher: Trace Matcher 0.1.2 released

Added by Sergey Smolov about 1 month ago

The new release includes some performance improvements and bugfixes.
The source code can be downloaded from here

QEMU for ARMv8: QEMU for ARMv8 0.1.5 released

Added by Sergey Smolov about 1 month ago

The new release includes the following changes:

  • logging option is renamed to "-trace-log"
  • some bugs are fixed and improvements are made (#8155, #8162).

The source code can be downloaded from here

Trace Matcher: Trace Matcher 0.1.1 released

Added by Sergey Smolov 2 months ago

We are happy to announce the first build of the Trace Matcher tool.

Trace Matcher is a utility to compare microprocessor execution traces are written in a text format.

The source code can be downloaded from here

1 2 3 4 ... 27 (11-20/265)

Also available in: Atom