Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5654 MicroTESK Task Closed Urgent [template] User-defined seed for random generation Andrei Tatarnikov Andrei Tatarnikov Actions
5650 MicroTESK Bug Rejected High Exception when no test situation is specified. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5542 MicroTESK Bug Closed High Creating instances of modes and ops: validity checks for arguments are needed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5514 MicroTESK Bug Closed High The implementation of 'coerce' needs a review Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5344 MicroTESK Task Closed Urgent Metamodel should provide information on argument types and whether they are in or out arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov Actions
4996 MicroTESK Bug Closed Normal [translator] It should be possible to define the "instruction" operation (root) as an OR rule Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4900 MicroTESK Task New High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4281 MicroTESK Bug Closed High [translator] Support for aliases in memory (aka mem) definitions. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4161 MicroTESK Bug New Normal Observing the design state via addressing modes Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4109 MicroTESK Bug Closed Urgent [template] Update needed: Test templates do not work after changes in Java. Andrei Tatarnikov Andrei Tatarnikov Actions
4104 MicroTESK Task Closed Normal [translator] Reset VAR values after an instruction call Andrei Tatarnikov Andrei Tatarnikov Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4015 MicroTESK Bug Closed Normal [translator] Shift and Rotate operations: negative distance Andrei Tatarnikov Andrei Tatarnikov Actions
4014 MicroTESK Bug Closed Normal Concatenation in left hand side expressions Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
3996 MicroTESK Bug Closed Normal [translator] Support for long types (64-bit) in expressions Andrei Tatarnikov Andrei Tatarnikov Actions
3995 MicroTESK Bug Closed Normal [translator] Support for bitfields using non-constant expressions Andrei Tatarnikov Andrei Tatarnikov Actions
3988 MicroTESK Task Rejected Normal Support for forward definitions in the nML translator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5708 MicroTESK Bug Closed Immediate MicroTESK build fails: SsaAssembler - symbol Changes is not defined Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.1 Actions
5672 MicroTESK Task Closed Urgent Support for UNPREDICTED and UNDEFINED Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.2 Actions
5676 MicroTESK Task Closed Urgent [generator] Random generation - weighting / biasing distribution Andrei Tatarnikov Actions
7759 TestBase Bug Closed High Avoid using lambda functions Andrei Tatarnikov Alexander Dyumaev Actions
(51-75/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF