Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
7534 MicroTESK Task Closed High Configuration option to manage reservation of explicitly specified registers Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7012 MicroTESK Task Closed High Implement means of managing the use of registers in a test program Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6973 MicroTESK Task Closed High Support for atomic sequences that will never be interrupted/reordered by a compositor/permutator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5716 MicroTESK Task Closed High Implement the possibility to process template code multiple times (e.g. atomic (:repeat => N) {}) Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5657 MicroTESK Task Closed High A command line option for random seed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
5639 MicroTESK Task Closed High Code review notes (package ru.ispras.unitesk.processor.test.mmu) Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.2 Actions
5350 MicroTESK Task Closed High Labels in the text of instruction calls Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
5312 TestBase Task Closed High TestBase.executeQuery should return some status description Andrei Tatarnikov Artem Kotsynyak TestBase - 0.0 Actions
4900 MicroTESK Task Rejected High Printing information on the model should be possible Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
8481 MicroTESK Task New Normal Need a way to specify the termination address for the test program Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
5674 MicroTESK Task Rejected Normal Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 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
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 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
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
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
3988 MicroTESK Task Rejected Normal Support for forward definitions in the nML translator Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
(51-75/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF