Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
4016 MicroTESK Task New Normal The nML Language Reference Alexander Kamkin Andrei Tatarnikov Actions
3993 MicroTESK Task New Normal Description of the nML translator Alexander Kamkin Andrei Tatarnikov Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Andrei Tatarnikov MicroTESK - 2.2 Actions
4161 MicroTESK Bug New Normal Observing the design state via addressing modes 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
5301 MicroTESK Task New Normal Description of the Java template interface Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
4804 TestBase Task New Normal Manual description of test situations in Java and XML Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
7561 Fortress Task New Normal ISampleConstraint: 'getExpectedVariables' returns value that is ignored in jUnit tests Sergey Smolov Andrei Tatarnikov Fortress - 0.4 Actions
5193 MicroTESK Feature New Low Test templates in Python Andrei Tatarnikov Andrei Tatarnikov 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
6261 MicroTESK Bug New Low write method (segment) Alexander Protsenko Andrei Tatarnikov Actions
4778 TestBase Task Open Urgent Low-level interface for adding test situations (named constraints) Alexander Kamkin Andrei Tatarnikov TestBase - 0.0 Actions
5428 MicroTESK Task Open High Stabilization of source code representation Alexander Kamkin Andrei Tatarnikov MicroTESK - 2.2 Actions
5421 Fortress Task Open Normal Utility methods on expression nodes Artem Kotsynyak Andrei Tatarnikov Fortress - 0.4 Actions
5377 Fortress Feature Open Normal Не поддерживается работа с несколькими CalculatorEngine Alexander Kamkin Andrei Tatarnikov Fortress - 0.4 Actions
(51-69/69) Per page: 25, 50, 100

Also available in: Atom CSV PDF