Project

General

Profile

Actions
Summary

Issues

Filters

Apply Clear

# Tracker Status Priority Subject Author Assignee Target version
9297 Bug New Normal Ошибка сборки cpptesk-toolkit-src-1.0.24-beta-140522 Nikita Chertok Mikhail Chupilko Actions
8541 Task New Normal [core] Совместное использование с SystemC Mikhail Chupilko Mikhail Chupilko 1.1 Actions
4969 Task New Normal [core] Работа инструмента с timeout=0 Alexander Kamkin Mikhail Chupilko 1.0 Actions
4968 Task New Normal [docs] Описание выдаваемых инструментом сообщений Alexander Kamkin Mikhail Chupilko 1.0 Actions
4956 Bug New Normal [log] Сообщение при удалении реакции по тайм-ауту Alexander Kamkin Mikhail Chupilko 1.0 Actions
4955 Task New Normal [lang][core] Способы работы с типами данных uint128_t, uint256_t и т.д. Alexander Kamkin Alexander Kamkin 1.0 Actions
4932 Task Resolved Normal [lang][log] Переопределение вывода полей сообщений Alexander Kamkin Alexander Kamkin 1.0 Actions
4121 Task New Normal [build] Стабилизация версии 1.0 Alexander Kamkin Mikhail Chupilko 1.0 Actions
3674 Bug New Normal [build] Немного warning`ов Alexander Protsenko Alexander Kamkin 1.0 Actions
3582 Task New Normal [core] C++TESK as Explicit-State Model Checker Alexander Kamkin Alexander Kamkin 1.1 Actions
2669 Bug New Normal [docs] Add figures to the project description & whitepaper Alexander Kamkin Alexander Kamkin 1.0 Actions
2668 Task New Normal [docs] Real-life example(s) of C++TESK model(s) & testbench(es) Alexander Kamkin Mikhail Chupilko 1.0 Actions
2213 Task New Normal [docs] Английскую документацию делать в wiki Alexander Kamkin Alexander Kamkin 1.0 Actions
2212 Task New Normal [docs] Задокументировать адаптеры по умолчанию Alexander Kamkin Alexander Kamkin 1.0 Actions
1838 Task New Normal [docs] Задокументировать интерфейсы с ядром C++TESK Alexander Kamkin Alexander Kamkin 1.1 Actions
1830 Feature New Normal [lang][core] Задание частоты запуска сценарных функций по отдельности Igor Melnichenko Alexander Kamkin 1.1 Actions
1828 Task New Normal [lang][core] Implementation of temporal sequences Alexander Kamkin Alexander Kamkin 1.1 Actions
1772 User Story New Normal [docs] Имена типов map, list etc в CTESK Mikhail Chupilko Alexander Kamkin 1.0 Actions
    (1-18/18)

    Also available in: Atom CSV PDF