News

The new release contains the following changes:

Floating-point operations:
- Updated JSoftFloat library version to 1.1.0
- Added the `toUInteger()`, `fromUInteger()` methods to the `Floatx` class
- Fixed the implementation of some methods in the `Float64Operations`, `Float32Operations`, and `Float16Operations` classes

The new release contains the following changes:

The new release contains the following changes:

Oracle tool:
- Added option to use masks when comparing registers
- Updated diagnostic messages

The new release contains the following changes:

Added the tool for list the model operations.
To use enter the command: `--list-operations <model name>`
Oracle tool:
- Refactoring the tool settings and options
Trace adapter tool:
- Refactoring the tool structure

The new release contains the following changes:

nML:
- Language extension: recursive functions
MIR:
- Extended the intrinsic instruction set
- Experimental support for path constraint generation for MIR programs
Symbolic executor:
- Support generating SMT-LIB constraints in functional style
- Experimental support for extraction of the CFG of a binary program
Experimental `all_paths` generator
Disassembler:
- Fixed issues with decoding of mixed-size instruction streams
- Performance improvements due to removal of excessive memory allocation in decoders
Added the trace adapter tool for collecting execution trace
(see https://forge.ispras.ru/projects/microtesk/wiki/Trace_adapter)
Added the oracle tool for checking test execution traces
(see https://forge.ispras.ru/projects/microtesk/wiki/Oracle)
Used the QEMU4V 0.3.6 simulator for running tests
(see https://forge.ispras.ru/projects/qemu4v)
Bug fixes and code improvements

What's new?

Fixed the TokenSourceStack class and moved it to the Castle 0.1.4 library (see https://forge.ispras.ru/projects/castle)
Rearranged the documentation
- Moved the documentation sources into a separate project (see https://forge.ispras.ru/projects/microtesk-docs)
- Added the installation guide into the distribution package
Modified the mmuSL code generation scheme
Added a boot section to the miniMIPS test templates
Fixed a number of long-lived bugs
Used the QEMU4V 0.3.5 simulator for running tests

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)
- Introduced a new option --coverage-log for tracking test coverage
- Enabled a possibility to generate test coverage reports in Aspectrace format (see https://forge.ispras.ru/projects/aspectrace)
Used the QEMU4V 0.3.4 simulator for running tests

What's new?

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