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