Project

General

Profile

2.4

10/28/2016

Features: multi-PE testing, exception handling, test engine composition

100%

36 issues   (36 closed — 0 open)

Time tracking
Estimated time 0.00 hour
Spent time 0.00 hour
Issues by
Bug

23/23
Feature

2/2
Task

11/11
Related issues
Bug #7679: New section in ChangeLog required Actions
Bug #7680: Error: Failed to load the ru.ispras.microtesk.model.minimips.mmu.sim.Model Actions
Bug #7681: README file is incorrect Actions
Bug #7685: warning(24): template error: context [/outputFile /parser /genericParser /region__/genericParser__members /region__/genericParser__members] 32:3 no such property or can't access: Actions
Bug #7690: Exception handler is not handled if it is not the first element in the list of exception describe in test templates Actions
Bug #7730: [tarmac-logger] missing "<cpu>" tag Actions
Bug #7931: solver - error: reference not found (java 1.8) Actions
Bug #8061: Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Actions
Bug #8455: Test Document Actions
Bug #8486: Отсутствие связывания констант в smt формулах, генерируемых на основе бинарного кода (команда symexecute). Actions
Bug #8670: Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated. Actions
Bug #8674: Incorrect memory preparator in miniMIPS demo Actions
Bug #8697: Type mismatch in an mmu file causes NullPointerException Actions
Bug #8701: Error in the mode.syntax() method Actions
Bug #9314: Undesired behavior of situation('random', :size => 32, :sign_extend => true) Actions
Bug #9336: MicroTESK is not able to disassemble euclid binary (RISC-V) Actions
Bug #9390: Bug in code allocation Actions
Bug #9395: Symexecute не учитывает неявные преобразования типов в nml моделях Actions
Bug #9437: ru.ispras.microtesk.model.minimips.BufferPreparatorTestCase: QEMU4V crashes with general protection error on this test program Actions
Bug #9450: Неправильная последовательность бит в memory buffer Actions
Bug #9957: TestCase для нескольких шаблонов, запускает всегда один и тот же шаблон Actions
Bug #9963: debug_la_0000.s:105: Error: junk at end of line, first unrecognized character is `d' Actions
Bug #9982: java.lang.IllegalArgumentException: Bit vector sizes do not match: 1 != 6 Actions
Feature #7665: assert support Actions
Feature #8939: [autogen] New option 'base-template-path' must be supported. Actions
Task #4812: Exception handler definition Actions
Task #7641: Basic support for multiple-PE testing Actions
Task #7644: Utility for Tarmac trace comparison Actions
Task #7645: Instruction decoder implementation Actions
Task #7646: Structures in nML Actions
Task #7649: Iterator-based implementation of MMU path enumeration Actions
Task #7655: Documentation describing the overall generation flow Actions
Task #7726: Support for binary masks in preparators Actions
Task #8672: Renaming nontaken to nonexecuted in test templates Actions
Task #8698: Adding makefiles to MicroTESK demos Actions
Task #9338: Instruction decoding hints Actions