Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
6025 MicroTESK Bug New Normal Usage of format with signed values Mikhail Chupilko Andrei Tatarnikov MicroTESK - 2.2 Actions
6379 MicroTESK Bug New Normal Using if-then-else in syntax causes an error Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
9170 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov Actions
6329 MicroTESK Bug New Normal java.lang.NullPointerException at ru.ispras.microtesk.mmu.translator.MmuTreeWalkerBase.newAttributeRef(MmuTreeWalkerBase.java:940) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
7401 MicroTESK Bug New Normal int_to_float is not supported for constant expressions Alexander Protsenko Andrei Tatarnikov Actions
5813 MicroTESK Bug New Normal Support of instance call in left part of assignment Mikhail Chupilko Andrei Tatarnikov Actions
7229 MicroTESK Bug New Normal Unsupported assignment to mode Mikhail Chupilko Andrei Tatarnikov Actions
6064 MicroTESK Task New Normal Translator support for exporting symbols in marks Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6223 MicroTESK Task New Normal User-defined template-oriented extensions (plugins) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6345 MicroTESK Task New Normal Support floating-point numbers in trace "". Alexander Protsenko Andrei Tatarnikov Actions
6461 MicroTESK Task New Normal Support for inline comments Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
8186 MicroTESK Task New Normal Full support for 'struct' in nml Alexander Protsenko Andrei Tatarnikov Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
8693 MicroTESK Task New Normal Construct sizeof(type) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
8691 MicroTESK Task New Normal Sign- and zero-extend functions in preparators Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.4 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4814 MicroTESK Task New Normal Refactoring of L-expressions and memory model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5192 MicroTESK Task New Normal Assert constructions to check the model state during and after simulation Andrei Tatarnikov Andrei Tatarnikov Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5596 Fortress Feature New Low Генерация случайных значений, удовлетворяющих определённым условиям Igor Melnichenko Andrei Tatarnikov Fortress - 0.4 Actions
6423 Fortress Task New Low to_real, to_int, is_int operations Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
(1-25/29) Per page: 25, 50

Also available in: Atom CSV PDF