Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6345 MicroTESK Task New Normal Support floating-point numbers in trace "". Alexander Protsenko Andrei Tatarnikov Actions
6223 MicroTESK Task New Normal User-defined template-oriented extensions (plugins) Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.3 Actions
6068 MicroTESK Task New Normal Description of complex situations Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
6064 MicroTESK Task New Normal Translator support for exporting symbols in marks Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5529 Fortress Task New High Использовать префиксы для указания основания в строковом представлении числовых данных Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5311 MicroTESK Task New Normal Shortcuts for getting modes from templates 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
4814 MicroTESK Task New Normal Refactoring of L-expressions and memory model Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4805 TestBase Task New Normal Top-level test situations of instructions Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
(26-38/38) Per page: 25, 50

Also available in: Atom CSV PDF