Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 Actions
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
4281 MicroTESK Bug Closed High [translator] Support for aliases in memory (aka mem) definitions. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5670 MicroTESK Task Closed Normal Examples of test templates using memory-related test situations (hit, miss) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.3 Actions
5658 MicroTESK Task Closed Normal Need a single entry point for the translator and test generator subsystem Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
5217 Fortress Bug Closed Normal [expression] NodeBinding: hashCode and equals must be implemented Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5177 Fortress Task Closed Normal [solver] Implement function templates Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5176 Fortress Task Closed Normal [expression] Possibility to calculate the expression type Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 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
4283 MicroTESK Task Closed Normal [translator] Support for custom attributes in operations and addressing modes. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4116 MicroTESK Task Closed Normal [model] Lazy memory allocation in memory models Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.1 Actions
4104 MicroTESK Task Closed Normal [translator] Reset VAR values after an instruction call Andrei Tatarnikov Andrei Tatarnikov 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
5671 MicroTESK Bug Rejected Urgent Robustness of test template processing logic must be improved Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
7269 MicroTESK Bug Rejected High Returning from an exception in the last instruction in a test case Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5659 MicroTESK Bug Rejected High Function 'trace' should accept addressing modes as arguments Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5650 MicroTESK Bug Rejected High Exception when no test situation is specified. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4900 MicroTESK Task Rejected High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
8455 MicroTESK Bug Rejected Normal Test Document Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
4161 MicroTESK Bug Rejected Normal Observing the design state via addressing modes Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
(51-75/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF