MicroTESK

The new release contains the following changes:

• Support for separate-file sections (useful for boot generation)
• Support for the 'decode' attribute of nML primitives (experimental)
• Decoder generator: enabling bit selection for non-immediate arguments
• Bug fixes and code improvements

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

The new release contains the following changes:

• Templates: the nitems generator was established
• Templates: blocks with no attributes are now allowed (block {})
• Code generation facilities moved to the Castle library
• Bug fixes and code 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 template facilities: support for addressing modes (registers) in printing functions (such as trace)
• Improved template facilities: support for the _SLL operation with dynamic immediate values
• Improved register allocation: support for the retain attribute

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 floating-point types in data sections
• Support for formatted printing of values in data sections
• Support for register reservation
• Support for basic operations (_AND, _OR, _XOR, _ADD, _SUB, _PLUS, _MINUS, _NOT) with dynamic immediate values in test templates
• Improved register allocation strategies
• New permutator exhaustive (aliased as full)
• Support for i386 in x86 specifications
• Support for the NASM and GNU assembler in x86 specifications and test templates
• miniMIPS test programs are compiled with the GNU assembler and simulated in QEMU
• x86 test programs are compiled with the GNU and NASM assemblers and simulated in QEMU
• New option --model-name to allow building several ISA models from the same specifications
• New option --base-template-path for automated template generation
• Bug fixes and code 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 automated generation of test templates
• Templates: methods rev_id and is_rev to get information on revisions supported by the model
• Templates: support for global labels (the global_label method)
• Templates: support for numeric labels
• Templates: support for weak symbols (the weak method)
• Templates: new method set_default_mode_allocator(allocator)
• Templates: runtime methods to trace the state of registers and memory (instead of hand-written observers)
• Number of bug fixes and code 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 data iterator functionality was implemented
• New demo template testdata.rb (miniMIPS) demonstrating test data iterator
• Refactoring in generation logic
• Some general code improvements

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

The new release contains the following changes:

• Enhancements in the branch engine
• Refactoring in the memory engine
• New demo specifications and templates: Vmem ISA aimed to demonstrate the facilities of the memory engine
• Changes in the nML language translator: special constructs to specify label-based instruction operands
• Improvements in the simulator: correct handling of jump instructions
• Improvements in the symbolic executor: correct SMT-formulae
• Other 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 fix in engine for constraint-based test data generation

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

The new release contains the following changes:

• Enhancements in the branch engine
• 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 excluded elements in revision configuration files
• Bug fixes and general improvements

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