Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10768 Klever Feature New High Keep important data on volumes within OpenStack cloud Evgeny Novikov Ilya Shchepetkov Klever - 3.2 Actions
10759 Klever Feature New Urgent Support describing various classes of interaction scenarios within different environment models Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10754 Klever Feature New Urgent Update CPAchecker (SMG) Evgeny Novikov Evgeny Novikov Klever - 3.2 Actions
10753 Klever Feature New High Allow to show/hide comments of particular levels Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10752 Klever Feature New High Add shortcut/button to open eyes Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
10486 Klever Feature New High Develop environment model specification for inode_operations Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10087 Klever Feature New High Get rid of cheats in Scheduler service Evgeny Novikov Evgeny Novikov Klever - 3.2 Actions
10086 Klever Feature New High Do not fail on start up during Controller initialization Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
9795 Klever Feature New High Highlight all occurrences of pointed identifiers Evgeny Novikov Vladimir Gratinskiy Klever - 3.2 Actions
8286 Klever Feature New High Clarify what resource limits are exceeded Evgeny Novikov Ilja Zakharov Klever - 3.2 Actions
10826 Klever Bug New High Klever uploads witnesses very slow Pavel Andrianov Evgeny Novikov Klever - 3.3 Actions
10852 Klever Feature New High Support parallel execution of Weaver Evgeny Novikov Evgeny Novikov Klever - 3.3 Actions
10829 Klever Feature New High Implement new access scheme Evgeny Novikov Vladimir Gratinskiy Klever - 3.3 Actions
10828 Klever Feature New High Suggest new access scheme Evgeny Novikov Ilya Shchepetkov Klever - 3.3 Actions
10827 Klever Feature New High Describe entities and actions on them Evgeny Novikov Vladimir Gratinskiy Klever - 3.3 Actions
5811 TestBase Task New Normal Test data generators for basic arithmetic SIMD instructions Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5725 TestBase Task New Normal Meta-information provider required Alexander Kamkin Artem Kotsynyak TestBase - 0.0 Actions
5352 TestBase Task New Normal Implementation of FpMulHardToNRound Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5351 TestBase Task New Normal Implementation of ResultAdapter for FP.MUL Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5348 TestBase Task New Normal Корректная реализация генератора IntSubExceptionGenerator Alexander Kamkin Alexander Kamkin TestBase - 0.0 Actions
5325 TestBase Task New Normal Sqrt hard-to-round iterator for the nearest rounding needs to be reviewed Alexander Kamkin Alexander Kamkin TestBase - 0.0 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
4674 TestBase Task New Normal Тестовые ситуации Sergey Smolov Artem Kotsynyak TestBase - 0.0 Actions
(26-50/1542) Per page: 25, 50, 100

Also available in: Atom CSV PDF