What's new?
- Introduced new internal representation, so-called MIR (Middle-level [or MicroTESK] IR)
- Redesigned the constraint generator (for mark-based situations)
- Redesigned the symbolic executor (for binary code analysis)
- Unified the directives (alignment, data definition, and labels) for
.text
and .data
sections:
- Enabled a possibility to define data in
.text
- Implemented new directives:
.balign
, .p2align
, and .option
- Refactored the code/data allocation logic
- Implemented a simple instruction-level coverage tracker (experimental)
- Used the QEMU4V 0.3.4 simulator for running tests
Download: http://forge.ispras.ru/projects/microtesk/files
What's new?
- Supported block-level register allocation constraints
- Updated the register allocation engine
- Changed mmuSL interpretation: structures' fields are listed from upper to lower bits
Download: http://forge.ispras.ru/projects/microtesk/files
What's new?
- Supported separate-file sections: it is useful for boot generation
- Supported the `decode` attribute of nML primitives
- Enabled bit selection for non-immediate arguments in the decoder generator
Download: 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