Open-Source Projects

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:

• ChangeLog has been added to the distribution (#8179);
• record fields are compared in case insensitive mode (#8184);
• bugfixes and improvements (#8181).

The source code can be downloaded from here

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 some performance improvements and bugfixes.
The source code can be downloaded from here

We are happy to announce the first build of the Trace Matcher tool.

Trace Matcher is a utility to compare microprocessor execution traces are written in a text format.

The source code can be downloaded from here

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

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:

• 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

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:

• 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