Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7759 TestBase Bug Closed High Avoid using lambda functions Andrei Tatarnikov Alexander Dyumaev 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
5674 MicroTESK Task Rejected Normal Description of test data generation mechanisms (test situation processing, constraint solving) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
5666 MicroTESK Task Closed Urgent Estimate generation speed Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.1 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
7678 MicroTESK Task New Low Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
7603 MicroTESK Bug New Normal List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
5990 MicroTESK Bug New Normal Memory state must be taken into account when generating test data Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 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
7418 MicroTESK Bug Closed High Reset the state of the model before starting generating a new test program fle Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
6911 MicroTESK Bug New Normal The "get_address_of" method must work with all label types. Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.5 Actions
8939 MicroTESK Feature Closed High [autogen] New option 'base-template-path' must be supported. Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.4 Actions
5639 MicroTESK Task Closed High Code review notes (package ru.ispras.unitesk.processor.test.mmu) Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.2 Actions
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) 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
5177 Fortress Task Closed Normal [solver] Implement function templates Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5657 MicroTESK Task Closed High A command line option for random seed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
6194 MicroTESK Bug Rejected Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov Actions
7461 MicroTESK Bug Closed Immediate Block-level prologue and epilogue must stay prologue and epilogue when sequences are mixed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7298 MicroTESK Task Closed Urgent Command-line option to disable simulation on the reference model Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
4014 MicroTESK Bug Closed Normal Concatenation in left hand side expressions 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
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF