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:
- 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
The new release contains the following changes:
- Support for configuration files describing relations between revisions
- Support for operation templates in nML
- Support for new nML operators:
is_type, type_of, and size_of
- Support for bitfields in MMU constraints (test templates)
- 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 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