News

Trace Matcher: Trace Matcher 0.1.2 released

Added by Sergey Smolov 3 months 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 3 months 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 3 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

QEMU for ARMv8: QEMU for ARMv8 v0.1.4 released

Added by Sergey Smolov 3 months ago

The new release includes the following changes:

  • Fix a bug with unsupported Aarch64 registers (#8152);

The source code can be downloaded from here

MicroTESK: MicroTESK 2.4.19 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Option --jruby-thread-pool-max to limit the number of threads JRuby can create
  • Bug fixes and general improvements

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

QEMU for ARMv8: QEMU for ARMv8 v0.1.3 released

Added by Sergey Smolov 3 months ago

The new release includes the following changes:

  • support for register tracing (partially);
  • the build is based on QEMU 2.9.0-rc4

The source code can be downloaded from here

MicroTESK: MicroTESK 2.4.18 released

Added by Andrei Tatarnikov 3 months 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.17 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Demo specification and test templates for x86
  • 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.16 released

Added by Andrei Tatarnikov 4 months 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

Fortress: Fortress v0.4.23 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • SmtTextBuilder was made public
  • ConstraintUtils.newConstraint for collections was implemented

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

1 2 3 4 5 ... 27 (21-30/268)

Also available in: Atom