Open-Source Projects

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

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

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

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 contains the following changes:

• Support for jumps over instruction blocks (unstable)
• Support for generation of tests running on multiple processing elements (unstable)
• Improvements in the memory engine

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

The new release contains the following changes:

• Memory engine performance has been optimized
• 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:

• The SAT4J solver has been adapted to be used in the memory engine
• The .text directive is automatically inserted into code
• 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:

• Refactoring of simulation logic

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

The new release contains the following changes:

• Refactoring of simulation logic

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

The new release contains the following changes:

• Refactoring of generation and simulation logic

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