⚲
Project
General
Profile
Sign in
Home
Projects
Help
Search
:
CTESK
All Projects
CTESK
Overview
Activity
Roadmap
Issues
Spent time
Gantt
Calendar
News
Documents
Wiki
Files
Repository
2.9
open
0%
7 issues
(0 closed —
7 open
)
Time tracking
Estimated time
0
.00
hour
Spent time
0
.00
hour
Issues by
Tracker
Status
Priority
Author
Assignee
Category
Bug
0/3
Feature
0/3
Task
0/1
Related issues
Bug #300
: Атомарность работы со ссылками
Actions
Bug #517
: Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END.
Actions
Bug #535
: Не регистрируется ошибка SERIALIZATION_FAILED.
Actions
Feature #74
: Определение пост-покрытий
Actions
Feature #501
: Управление памятью для локальных массивов спецификационных ссылок
Actions
Feature #502
: Определить поведение specification typedef для случая базового спецификационного типа
Actions
Task #498
: Добавить синхронизацию изменения счетчика ссылок на объект
Actions
Loading...