Project

General

Profile

2.2

closed

03/22/2015

Features: coverage extraction, integration with TestBase, documentation generator

100%

112 issues   (112 closed — 0 open)

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

34/34
Feature

2/2
Task

76/76
Related issues
Bug #4014: Concatenation in left hand side expressions Actions
Bug #4161: Observing the design state via addressing modes Actions
Bug #5514: The implementation of 'coerce' needs a review Actions
Bug #5542: Creating instances of modes and ops: validity checks for arguments are needed Actions
Bug #5650: Exception when no test situation is specified. Actions
Bug #5659: Function 'trace' should accept addressing modes as arguments Actions
Bug #5668: Issues with large memory addresses (48 and 64 bits) must be fixed Actions
Bug #5671: Robustness of test template processing logic must be improved Actions
Bug #5675: Processing of wrong test model Actions
Bug #5679: Bug in test data generation Actions
Bug #5973: Usage of 64-bit constants raises exceptions in jruby Actions
Bug #5976: Shifted bit vector should be of the same size that was a source one Actions
Bug #5977: Usage of imm values in constraint-driven test generation Actions
Bug #5987: Handling situations when TestBase fails to generate test data (e.g. constraint is UNSAT) Actions
Bug #6011: Concatenation of bit vectors with 64-bit result Actions
Bug #6020: The DIV operation cannot be performed for Type.CARD(64) and Type.CARD(64) operands. Actions
Bug #6035: Superfluous initialization code Actions
Bug #6057: Assignment of instruction arguments Actions
Bug #6085: MicroTESK 2.2.6 news + closed bugs Actions
Bug #6086: Basic comments in newly created sources Actions
Bug #6088: The use of depricated methods Actions
Bug #6096: Cannot cast ru.ispras.microtesk.test.sequence.iterator.SingleValueIterator to ru.ispras.microtesk.test.TestSequence Actions
Bug #6106: zero opcodes for instructions in Tarmac log Actions
Bug #6111: Labels are not printed Actions
Bug #6112: Labels are not unique Actions
Bug #6113: org.jruby.exceptions.RaiseException: (ArgumentError) wrong number of arguments Actions
Bug #6125: Concrete calls should be supplied with correct addresses Actions
Bug #6159: Checker produces the incorrect constraint for a memory access structure Actions
Bug #6160: VAAddrNotEqualPAAddrNotEqualDTLBTagNotReplacedJTLBTagNotEqualL1TagReplacedMEMIndexNotEqual is UNSAT Actions
Bug #6169: ERROR (SEMANTIC): "sets is not a constant integer expression." Actions
Bug #6170: ERROR (SEMANTIC): "sets (=35184372088832) is beyond the allowed integer value range." Actions
Bug #6217: The == operator is not supported for the LOGIC_BOOLEAN type Actions
Bug #6234: MicroTESK does not simulate checking code Actions
Bug #6241: Generated assembler files contain tab-only lines Actions
Feature #5969: Support of usage of function (method) evaluation result in op.syntax Actions
Feature #6154: Directive for instructions replacement Actions
Task #3278: Работающий прототип для miniMIPS Actions
Task #3738: Wiki documentation of the template description language Actions
Task #3988: Support for forward definitions in the nML translator Actions
Task #4151: Путаница в параметрах шаблонов комбинаторов и композиторов Actions
Task #4252: Test coverage extraction Actions
Task #4646: Handling Java keywords Actions
Task #4810: Combinatorial test program generation based on test templates with branch instructions Actions
Task #4814: Refactoring of L-expressions and memory model Actions
Task #4866: Instruction interface methods for checking whether an instruction is branch Actions
Task #4900: Printing information on the model should be possible Actions
Task #5301: Description of the Java template interface Actions
Task #5344: Metamodel should provide information on argument types and whether they are in or out arguments Actions
Task #5350: Labels in the text of instruction calls Actions
Task #5403: Test sequence generation logic (blocks, combinators, compositors) needs a review Actions
Task #5435: An architecture validator engine is required Actions
Task #5639: Code review notes (package ru.ispras.unitesk.processor.test.mmu) Actions
Task #5658: Need a single entry point for the translator and test generator subsystem Actions
Task #5672: Support for UNPREDICTED and UNDEFINED Actions
Task #5673: Memory scalability for large memory ranges (address space for 48 and 64 bit addresses) Actions
Task #5674: Description of test data generation mechanisms (test situation processing, constraint solving) Actions
Task #5697: Controlling register dependencies in test templates Actions
Task #5698: Data file generation Actions
Task #5720: Aliases for arrays of registers Actions
Task #5721: Usage of register indexes in operation action block call Actions
Task #5732: ISA reference manual generation Actions
Task #5747: Simple infinite loop detection Actions
Task #5752: Support for macro Actions
Task #5753: Support for the repeatition operation Actions
Task #5769: Code review Actions
Task #5785: Too much diagnostics on misprintings Actions
Task #5915: Configuration file and command line options Actions
Task #5924: Automatic marks insertion for exceptions Actions
Task #5933: Printing test generation statistics Actions
Task #5955: Architecture-dependent configuration Actions
Task #5958: Checking addresses using memory region specs Actions
Task #5967: one directory for all components of distribution Actions
Task #5978: Options related to splitting instruction stream into parts Actions
Task #5980: Referring to normal branches (paths with no exceptions, unpredicted, etc.) Actions
Task #5986: Addresses in ConcreteCall and TestSequence Actions
Task #5996: Options for turning on/off comments Actions
Task #5999: Randomization of operands of instructions with unspecified situations Actions
Task #6001: MicroTESK should report an error if no preparator is specified Actions
Task #6024: Option for specifying arch directories Actions
Task #6028: Mark explicitly specified registers (addressing modes) as 'used' Actions
Task #6030: Support for specifying implementation-defined behavior Actions
Task #6037: Template functions for setting up indentToken and separatorToken Actions
Task #6052: Multiple preparators per mode (index range, value mask, etc.) Actions
Task #6054: Interface method for checking whether an instruction is capable of throwing an exception Actions
Task #6066: Support for adding user-defined Java code Actions
Task #6068: Description of complex situations Actions
Task #6070: Processing of complex situations Actions
Task #6073: Implicitly inserted marks Actions
Task #6087: Suggestion for the Solver interface Actions
Task #6089: Support for data streams in test templates Actions
Task #6092: Extension of the Solver interface Actions
Task #6103: Call.getTargetLabel method wanted Actions
Task #6104: getDelaySlotSize method wanted Actions
Task #6108: create environment variable(s) for SMT solver(s) Actions
Task #6117: Test case-level prologue and epilogue Actions
Task #6119: Tracking addresses in indirect branches (label propagation, address arithmetic, etc.) Actions
Task #6121: Support for basic preprocessor constructs Actions
Task #6136: Checking UNPREDICATED behavior during simulation Actions
Task #6140: Call's methods isLoad() and isStore() Actions
Task #6142: Call's method getBlockSize() Actions
Task #6148: Specification of 'no-touch' and 'share' zones of memory Actions
Task #6161: Standard (abstract sequence-based) MMU template representation Actions
Task #6165: Guard specification for view devices Actions
Task #6167: Support for the 'width' attribute of addresses Actions
Task #6171: Introduce address attributes Actions
Task #6187: Support for address object declaration Actions
Task #6189: Support for page table declaration Actions
Task #6203: Support for LET in MMU specification language Actions
Task #6205: Support for STRUCT in MMU specification language Actions
Task #6207: Support for MARK in MMU specification language Actions
Task #6214: Overriding configuration options from templates Actions
Task #6218: Add a reference to DataManager to EngineContext Actions