News

Trace Matcher: Trace Matcher 0.1.6 released

Added by Sergey Smolov 3 months ago

The new release includes some bugfixes and improvements.

The source code archive can be downloaded from here

MicroTESK: MicroTESK 2.4.25 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Support for sections (code and data can be placed into regions defined by the .section directive)
  • Changes in generator (common mechanism of test situation processing for all generation engines)
  • 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.24 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

QEMU for ARMv8: QEMU for ARMv8 0.1.7 released

Added by Sergey Smolov 4 months ago

The new release includes the following changes:

  • register writes logging;
  • bugfixes and improvements.

The source code can be downloaded from here

The complete list of closed issues is available here

Trace Matcher: Trace Matcher 0.1.5 released

Added by Sergey Smolov 4 months ago

The new release includes the following changes:

  • "--debug" command line option has been added;
  • bugfixes and improvements.

The source code package can be downloaded from here

The complete list of closed issues is available here

Fortress: Fortress v0.4.25 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Transformer: Support for transforming MAP to BIT_VECTOR
  • Solver: New operations bv2int (bv2nat for CVC4) and int2bv
  • Solver: Solver-specific headers for generated *.smt2 files

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

MicroTESK: MicroTESK 2.4.23 released

Added by Andrei Tatarnikov 4 months ago

The new release contains the following changes:

  • Changes in test generator: external code with fixed origin is generated and allocated first
  • 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.22 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

Trace Matcher: Trace Matcher 0.1.4 released

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

1 2 3 4 5 ... 29 (21-30/282)

Also available in: Atom