Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5775 Fortress Bug Closed Normal BitVector.longValue returns incorrect values Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.4 Actions
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5217 Fortress Bug Closed Normal [expression] NodeBinding: hashCode and equals must be implemented Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5176 Fortress Task Closed Normal [expression] Possibility to calculate the expression type Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed 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
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5657 MicroTESK Task Closed High A command line option for random seed Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak 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
6194 MicroTESK Bug Rejected Normal Automated extraction of addressable unit size Andrei Tatarnikov Andrei Tatarnikov Actions
7251 MicroTESK Bug Rejected High A warning or error is needed when a value is truncated Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.5 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
5639 MicroTESK Task Closed High Code review notes (package ru.ispras.unitesk.processor.test.mmu) Andrei Tatarnikov Alexander Protsenko MicroTESK - 2.2 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
7463 MicroTESK Bug Closed Urgent Correct processing of block structures and code in the root of pre, post and run methods Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
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
(1-25/76) Per page: 25, 50, 100

Also available in: Atom CSV PDF