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
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
4693 Fortress Task Closed High [data] Реализации операций над битовыми векторами (BitVector) Andrei Tatarnikov Andrei Tatarnikov Fortress - 0.3 Actions
5819 Fortress Task Closed High Calculator for bit vectors Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5665 Fortress Task Closed Urgent Support for CVC4 Andrei Tatarnikov Artem Kotsynyak Fortress - 0.4 Actions
5463 Fortress Bug Closed High [S-expr] JavaDoc comments are needed Andrei Tatarnikov Artem Kotsynyak Fortress - 0.3 Actions
5460 Fortress Bug Closed High [project] Get rid of warnings Andrei Tatarnikov Artem Kotsynyak 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
5670 MicroTESK Task Closed Normal Examples of test templates using memory-related test situations (hit, miss) Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.3 Actions
5666 MicroTESK Task Closed Urgent Estimate generation speed Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.1 Actions
5403 MicroTESK Task Closed Normal Test sequence generation logic (blocks, combinators, compositors) needs a review Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.2 Actions
7678 MicroTESK Task New Normal Generation of LLVM configuration files from nML specifications Andrei Tatarnikov Alexander Ulyanov MicroTESK - 2.4 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
8481 MicroTESK Task New Urgent Need a way to specify the termination addresss for the test program. Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
8455 MicroTESK Bug Rejected Normal Test Document Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
8061 MicroTESK Bug New Normal Position of all blocks, calls, data etc. in test templates must be tracked to provide better debugging Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Andrei Tatarnikov Actions
7690 MicroTESK Bug Closed Urgent Exception handler is not handled if it is not the first element in the list of exception describe in test templates Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.4 Actions
7628 MicroTESK Bug Closed Immediate Methods 'dist' and 'range' are not supported in data sections Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 Actions
7603 MicroTESK Bug New High List of plug-ins must be stored in etc/settings.xml Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.3 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
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
(1-25/79) Per page: 25, 50, 100

Also available in: Atom CSV PDF