MicroTESK

The new release contains the following changes:

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

Download: http://forge.ispras.ru/projects/microtesk/files

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

Download: http://forge.ispras.ru/projects/microtesk/files

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

Download: http://forge.ispras.ru/projects/microtesk/files

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

Download: http://forge.ispras.ru/projects/microtesk/files

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

Download: http://forge.ispras.ru/projects/microtesk/files

What's new?

• Updated the TestBase library
• Used the QEMU4V 0.3.3 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