Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692012-11-16T11:00:13ZOpen-Source Projects
Redmine Fortress - Task #3694 (Closed): Операции сравнения битовых векторовhttps://forge.ispras.ru/issues/36942012-11-16T11:00:13ZSergey Smolovsmolov@ispras.ru
<p>Подразумеваются операции, коды которых указаны в классе EStandardOperation, группа "Predicates over Bitvectors".</p> С++TESK Development Environment - Task #3659 (New): Соответствие полей классов сообщений и сигнал...https://forge.ispras.ru/issues/36592012-11-02T12:26:12ZSergey Smolovsmolov@ispras.ru
<p>Дано:</p>
<p>1) XML-файл формата Task #3653;</p>
<p>2) набор входных и выходных сигналов HDL-модели - получаем с помощью методов из проекта signalsGrouper ( Task <a class="issue tracker-2 status-1 priority-4 priority-default" title="Task: Генерация заготовки тестовой системы по информации об интерфейсе (New)" href="https://forge.ispras.ru/issues/2163">#2163</a>);</p>
<p>Требуется: <br />Разработать инструмент, позволяющий устанавливать соответствие между описанными в XML-файле полями сообщений различных типов и используемыми в них сигналами. Инструмент должен иметь графический интерфейс, язык программирования - Java. По завершении работы необходимо создавать экземпляр соответствующего класса из библиотеки tsprototype проекта C++TESK IDE (см. Task <a class="issue tracker-2 status-5 priority-5 priority-high3 closed" title="Task: source code refactoring (Closed)" href="https://forge.ispras.ru/issues/3654">#3654</a> п.3).</p> С++TESK Development Environment - Task #3654 (Closed): source code refactoringhttps://forge.ispras.ru/issues/36542012-10-31T13:33:52ZSergey Smolovsmolov@ispras.ru
<p>1. Переименовать MessageFields в MessageFieldList</p>
<p>2. В классе Adapter заменить тип структуры соответствия Map<Signal, MessageFields> чем-то другим. Нам будет необходимо впоследствии иметь способ доступа к сигналам, имея на руках множество полей. Map такой возможности лишен.</p>
<p>3. Переделанную в п.2) структуру соответствия также вынести в отдельный класс.</p> Retrascope - Task #3637 (Closed): Пространство состоянийhttps://forge.ispras.ru/issues/36372012-10-30T08:48:39ZSergey Smolovsmolov@ispras.ru
<p>Для определения пространства состояний - собрать все guard'ы, использующие переменные из набора, полученного из предыдущего алгоритма.</p>
<p>Задача выделена из #3598</p> С++TESK Development Environment - Task #3624 (Closed): XML dumping\parsinghttps://forge.ispras.ru/issues/36242012-10-26T09:41:20ZSergey Smolovsmolov@ispras.ru
<p>Разработать Java-классы и методы, реализующие преобразование внутреннего представления в XML (XML-dumper) и обратно (XML-parser). Использовать Java-библиотеки для работы с XML (DOM либо SAX).</p> С++TESK Development Environment - Task #3623 (Closed): Внутреннее представление для прототипов т...https://forge.ispras.ru/issues/36232012-10-26T08:56:57ZSergey Smolovsmolov@ispras.ru
<p>Необходимо разработать библиотеку классов на Java для следующих сущностей:</p>
<p>1) Тип сообщений</p>
<p>Поля класса: имя типа сообщений + набор полей сообщения</p>
<p>2) Поле сообщения</p>
<p>Поля класса: имя поля, разрядость поля, маска поля (см. макрос CPPTESK_DECLARE_MASKED_FIELD)</p>
<p>3) Интерфейс</p>
<p>Поля класса: имя интерфейса, тип интерфейса (входной\выходной), используемый тип сообщений</p>
<p>4) Сигнал аппаратуры</p>
<p>Поля класса: имя сигнала, разрядность сигнала</p>
<p>5) Адаптер интерфейса</p>
<p>Поля класса: интерфейс, структура соответствия.</p>
<p>Структура соответствия устанавливает связь между сигналами аппратуры и полями сообщения. В общем случае, это отношение "многие к многим" (например, одному сигналу можно присвоить и некоторую комбинацию значений полей сообщения, хотя мне лично это кажется не слишком хорошей практикой:-)).</p>
<p>Классы, описывающие данные сущности, должны также включать в себя простые get- и set- методы.</p> Retrascope - Bug #3622 (Closed): DFGElementaryCyclesTest & DFGClusterStatisticsTest - java.lang....https://forge.ispras.ru/issues/36222012-10-26T06:59:35ZSergey Smolovsmolov@ispras.ru
<p>При извлечении элементарных циклов из SCS большого размера (~ 200 вершин) программа падает с ошибкой. Необходимо оптимизировать расходование памяти в реализации алгоритма Джонсона.</p> Retrascope - Bug #3605 (Rejected): [vhdl][parser][cfg] Zamia не обрабатывает пакеты функцийhttps://forge.ispras.ru/issues/36052012-10-22T07:11:31ZSergey Smolovsmolov@ispras.ru
<p>Точнее, не обрабатывает неспосредственно (работает лишь с entity).<br />Возможное решение - если анализируем именно пакет функций, то в runtime создаем вспомогательный HDL-модуль с пустым entity и прописываем в нем вызов интересующей функции из пакета.<br />Видимо, нужно вызывать все функции из пакета.</p> C++TESK Testing ToolKit - Bug #3590 (Closed): C++TesK installation fails on OpenSUSE 12.2 x64https://forge.ispras.ru/issues/35902012-10-15T11:18:40ZSergey Smolovsmolov@ispras.ru
<p>Попробовал установить subj на OpenSUSE 12.2 x64. Системные требования были удовлетворены (в соответствии с C++TESK.InstallationGuide.ru.pdf), скрипт установки запускался с опцией --force-install-veritool (Veritool и Icarus Verilog предварительно установлены не были, подключение к сети, естественно, есть).</p>
<p>По-видимому, Icarus Verilog установился корректно, а Veritool - нет.</p>
<p>Лог установочного скрипта в аттаче.</p> Local Support Project - Bug #3565 (Closed): Перестали приходить уведомления на почту об изменения...https://forge.ispras.ru/issues/35652012-10-10T14:13:56ZSergey Smolovsmolov@ispras.ru
<p>Нужная настройка в учетной записи активна.</p> Local Support Project - Bug #3528 (Closed): Не отображается полный адрес svn-репозиториевhttps://forge.ispras.ru/issues/35282012-10-01T06:01:44ZSergey Smolovsmolov@ispras.ru
<p>Во вкладке "Хранилище" раньше отображался полный url svn-репозитория. Сейчас там, как правило, только гиперссылка "Root".</p> Retrascope - Task #3434 (Closed): Извлечение "протоопераций" из Data Flow Graphhttps://forge.ispras.ru/issues/34342012-09-12T11:03:19ZSergey Smolovsmolov@ispras.ru
<p>1. Предложить и реализовать алгоритм извлечения "протоопераций".</p>
<p>2. Собрать статистику по "протооперациям" (сколько извлекли, какова их "длина", сколько включают GA).</p> Retrascope - Task #3406 (Closed): CFG extraction from guarded atomic actions (GAA) set.https://forge.ispras.ru/issues/34062012-09-05T11:07:26ZSergey Smolovsmolov@ispras.ru
<p>1. Реализация на Java;<br /> 1.1 Визуализация CFG;</p>
<p>2. Апробация на plasma.</p> CTESK - Bug #2494 (New): warning at build loghttps://forge.ispras.ru/issues/24942012-02-24T06:40:28ZSergey Smolovsmolov@ispras.ru
<p>При сборке возникает следующее предупреждение:</p>
<p>gcc -I. -g -ggdb -O0 -fno-inline -D_GLIBCXX_DEBUG -O -DATL_CLONE_DISABLE -DUSE_FOPEN64 -c c_tracer/c_tracer.c -o c_tracer/c_tracer.o<br />c_tracer/c_tracer.c: In function ‘addTraceToFile’:<br />c_tracer/c_tracer.c:117:7: warning: assignment makes pointer from integer without a cast</p>
<p>Сборка завершается корректно, так что это скорее небольшой досадный недочет.</p> С++TESK Development Environment - Task #2224 (Closed): Добавить пункт со сведениями о плагинеhttps://forge.ispras.ru/issues/22242012-01-17T10:24:56ZSergey Smolovsmolov@ispras.ru
<p>Добавить в меню "Help"->"About Eclipse SDK" пункт со сведениями о плагине. Можно сделать по аналогии с плагинами для CTesK, JavaTesK.</p>