Open-Source Projects

The new release is based on QEMU 5.0.0 and includes general improvements.
The source code can be downloaded from here

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?

• ANTLR utils: fixed the TokenSourceStack class

The library can be downloaded from here

Retrascope 1.1.* distribution packages have been re-uploaded to Files with the build base version having been set.

The new release includes the following changes:

• Migration to Python 3;
• Tool docs are rewritten into Markdown format;
• Build system uses Gradle 4.10.3;
• Bugfixes and improvements.

The source code package can be downloaded here
The complete list of closed issues is available here

• Wrong names for PowerPC registers are fixed

The source code can be downloaded from here

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-powerpc/files

MicroTESK for PowerPC 0.0.* distribution packages have been re-uploaded to https://forge.ispras.ru/projects/microtesk-powerpc/files w/ the build base version having been set.

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-mips64/files

What's new?

• Tool Functions: Updated the MicroTESK core to 2.5.0
• Binary Samples: Added binaries samples w/ their C sources (see the arch/riscv/binaries directory)
• Test and Debug: Used QEMU4V 0.3.4 for running tests

Download: https://forge.ispras.ru/projects/microtesk-riscv/files