2.4 over 2 years late (10/28/2016) Features: multi-PE testing, exception handling, basic documentation 69% 39 issues (26 closed — 13 open) Related issues Bug #7679: New section in ChangeLog required Bug #7680: Error: Failed to load the ru.ispras.microtesk.model.minimips.mmu.sim.Model Bug #7681: README file is incorrect 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: Bug #7690: Exception handler is not handled if it is not the first element in the list of exception describe in test templates Bug #7711: JavaDoc warning on Java 1.8 Bug #7730: [tarmac-logger] missing "<cpu>" tag Bug #7931: solver - error: reference not found (java 1.8) Bug #8061: Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Bug #8455: Test Document Bug #8670: Address 0xffffffffa0002380 is unallocated. Simulation is paused until it is allocated. Bug #8674: Incorrect memory preparator in miniMIPS demo Bug #8694: Parsing an empty *.mmu file causes NullPointerException Bug #8695: Parsing an mmu-file with no mmu declaration causes IllegalArgumentException Bug #8696: Parsing an mmu-file with empty read and write definitions causes IllegalArgumentException Bug #8697: Type mismatch in an mmu file causes NullPointerException Bug #8701: Error in the mode.syntax() method Bug #9314: Undesired behavior of situation('random', :size => 32, :sign_extend => true) Bug #9336: MicroTESK is not able to disassemble euclid binary (RISC-V) Bug #9390: Bug in code allocation Bug #9437: ru.ispras.microtesk.model.minimips.BufferPreparatorTestCase: QEMU4V crashes with general protection error on this test program Feature #7665: assert support Feature #8939: [autogen] New option 'base-template-path' must be supported. Task #4812: Exception handler definition Task #7641: Basic support for multiple-PE testing Task #7644: Utility for Tarmac trace comparison Task #7645: Instruction decoder implementation Task #7646: Structures in nML Task #7649: Iterator-based implementation of MMU path enumeration Task #7655: Documentation describing the overall generation flow Task #7678: Generation of LLVM configuration files from nML specifications Task #7726: Support for binary masks in preparators Task #7729: On-demand memory access path exploration (coverage extraction) Task #8481: Need a way to specify the termination addresss for the test program. Task #8672: Renaming nontaken to nonexecuted in test templates Task #8691: Sign- and zero-extend functions in preparators Task #8693: Construct sizeof(type) Task #8698: Adding makefiles to MicroTESK demos Task #9338: Instruction decoding hints