News

MicroTESK: MicroTESK 2.4.16 released

Added by Andrei Tatarnikov about 23 hours 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 about 24 hours 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 8 days 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 9 days 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 22 days 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

MicroTESK: MicroTESK 2.4.13 released

Added by Andrei Tatarnikov about 1 month 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.12 released

Added by Andrei Tatarnikov about 1 month ago

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

MicroTESK: MicroTESK 2.4.11 released

Added by Andrei Tatarnikov about 1 month ago

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

MicroTESK: MicroTESK 2.4.10 released

Added by Andrei Tatarnikov about 1 month ago

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

MicroTESK: MicroTESK 2.4.9 released

Added by Andrei Tatarnikov 2 months ago

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

1 2 3 ... 24 (1-10/240)

Also available in: Atom