Open-Source Projects

The new release includes some bugfixes and improvements.

The source code archive can be downloaded from here

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

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

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

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

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

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

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

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

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