1.0 open over 13 years late (04/15/2011) 60% 30 issues (18 closed — 12 open) Related issues Bug #2587: Сравнение сообщений после завершения теста Actions Bug #2669: [docs] Add figures to the project description & whitepaper Actions Bug #3590: C++TesK installation fails on OpenSUSE 12.2 x64 Actions Bug #3674: [build] Немного warning`ов Actions Bug #4004: Из build'а пропал скрипт install-eclipse-plugin.sh Actions Bug #4005: удалить пустой README Actions Bug #4138: Проблемы с производительностью у версии CPPTESK, установленной в /auto/vgr/e2k_run/ispras/tools/cpptesk-toolkit Actions Bug #4685: Генератор случайный чисел не очень случайный Actions Bug #4956: [log] Сообщение при удалении реакции по тайм-ауту Actions Feature #1812: Детализация незапланированных реакций Actions Feature #1889: Задание продолжительности тестирования Actions Feature #1900: Вывод трассы в файл Actions User Story #1772: [docs] Имена типов map, list etc в CTESK Actions Task #1121: Изменить поставку исходников CTESK в cpptesk-toolkit-src-*.tar.gz Actions Task #1181: Поддержка Windows Actions Task #1270: Совместное использование с SystemVerilog Actions Task #1387: Включение в поставку libmicrohttpd Actions Task #2081: Билд 1.0.16 Actions Task #2188: Проверка совместимости инструмента с поддерживаемыми тестовыми системами Actions Task #2212: [docs] Задокументировать адаптеры по умолчанию Actions Task #2213: [docs] Английскую документацию делать в wiki Actions Task #2580: Build 1.0.19 Actions Task #2595: Инсталляция плагина Actions Task #2668: [docs] Real-life example(s) of C++TESK model(s) & testbench(es) Actions Task #3661: Soft correctness criteria Actions Task #4121: [build] Стабилизация версии 1.0 Actions Task #4932: [lang][log] Переопределение вывода полей сообщений Actions Task #4955: [lang][core] Способы работы с типами данных uint128_t, uint256_t и т.д. Actions Task #4968: [docs] Описание выдаваемых инструментом сообщений Actions Task #4969: [core] Работа инструмента с timeout=0 Actions
1.1 open 16% 6 issues (1 closed — 5 open) Related issues Feature #1830: [lang][core] Задание частоты запуска сценарных функций по отдельности Actions Task #1828: [lang][core] Implementation of temporal sequences Actions Task #1829: HDL-based coverage Actions Task #1838: [docs] Задокументировать интерфейсы с ядром C++TESK Actions Task #3582: [core] C++TESK as Explicit-State Model Checker Actions Task #8541: [core] Совместное использование с SystemC Actions