Open-Source Projects

The new release contains the following changes:

• Bug fixes and improvements in BitVector (mappings were reviewed)

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

The new release contains the following changes:

• Fix in BitVectorMapping
• Improvement in type calculation rules (support for unbounded BVCONCAT)

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

The new release contains the following changes:

• Support for revisions in nML and MMU specifications
• Integration of generation engines (branch and memory)
• Test template multiple_engines.rb demonstrating how to mix ALU, BPU and MMU constraints in a single sequence (miniMIPS)
• 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:

• Test template int_exception_branch.rb demonstrating how to mix BPU and ALU constraints (miniMIPS)
• Test template memory_situation2.rb demonstrating how to mix MMU and ALU constraints (miniMIPS)
• 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:

• Example templates for BPU testing (miniMIPS)
• 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 generation of GCC linker scripts for test programs
• 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:

• Improved support for sections in test templates (constructs section {}, section_data {}, section_text {})

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

The new release includes some bugfixes and improvements.

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