News

QEMU for ARMv8: QEMU for ARMv8 v0.1.4 released

Added by Sergey Smolov about 1 month 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 2 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 2 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 2 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 3 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 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

Fortress: Fortress v0.4.23 released

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

MicroTESK: MicroTESK 2.4.15 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • Accurate state modeling during pre-simulation
  • 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.22 released

Added by Andrei Tatarnikov 3 months ago

The new release contains the following changes:

  • New Randomizer method: permute
  • Several bug fixes and code improvements

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

MicroTESK: MicroTESK 2.4.14 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Support for assertions in nML was implemented
  • New option --debug-print was introduced
  • Bug fixes and general improvements

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

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

Also available in: Atom