News

The new release contains the following changes:

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:

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