Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692015-11-04T08:18:33ZOpen-Source Projects
Redmine Local Support Project - Bug #6394 (New): Проект HDL Retrascope: на 17-дюймовом мониторе не масшта...https://forge.ispras.ru/issues/63942015-11-04T08:18:33ZSergey Smolovsmolov@ispras.ru
<p>В проекте HDL Retrascope при заходе через браузеры Firefox, Opera, IE не масштабируется таблица Задачи.<br />В других проектах на том же мониторе такая проблема не наблюдается.</p> Fortress - Task #5576 (Closed): Сalculate data type of expression with BVCONCAThttps://forge.ispras.ru/issues/55762015-01-26T08:55:48ZSergey Smolovsmolov@ispras.ru
<p>Input data: the expression with BVCONCAT operation</p>
<p>The desired result: the expression data type</p>
<p>Actual result: DataType.UNKNOWN</p> Verilog Translator - Task #5455 (Closed): устранить зависимость от ANTLRWorkshttps://forge.ispras.ru/issues/54552014-11-28T12:34:58ZSergey Smolovsmolov@ispras.ru
<p>Необходимо устранить зависимость инструмента от библиотеки ANTLRWorks. Будет правильнее, если инструмент будет зависеть от ANTLR, а не от GUI-среды, предоставляющей средства редактирования грамматик.<br />Сам jar-архив с ANTLRWorks в проекте можно оставить, если хочется его постоянно иметь под рукой.</p> Java SoftFloat - Bug #5385 (Closed): Странная структура директорий проектаhttps://forge.ispras.ru/issues/53852014-10-24T07:55:28ZSergey Smolovsmolov@ispras.ru
<p>В репозитории проекта замечена папка jsoftfloat, находящаяся на том же уровне вложенности, что и традиционные branches, tags, trunk.<br />Это запланированное явление, или результат ошибки?</p> TestBase - Task #4674 (New): Тестовые ситуацииhttps://forge.ispras.ru/issues/46742014-01-20T10:36:58ZSergey Smolovsmolov@ispras.ru
<p>Необходимо вынести функциональность тестовых ситуаций в отдельный компонент. Компонент содержит имя, описание и ограничение.</p> Retrascope - Task #4580 (Closed): Поместить проект MiniMIPS в share/vhdlhttps://forge.ispras.ru/issues/45802013-11-07T14:25:58ZSergey Smolovsmolov@ispras.ru
<p>Проект доступен тут:</p>
<p><a class="external" href="http://opencores.org/project,minimips">http://opencores.org/project,minimips</a></p> Retrascope - Task #4337 (Closed): реализовать заглушки для методов преобразования в ограниченияhttps://forge.ispras.ru/issues/43372013-07-11T11:43:43ZSergey Smolovsmolov@ispras.ru
<p>1. Реализовать интерфейс ISymbolic</p>
<p>2. В классах, реализующих данный интерфейс (CFG, Node, что-то ещё?), создать заглушки для соответствующих методов.</p> C++TESK Testing ToolKit - Bug #4005 (Rejected): удалить пустой READMEhttps://forge.ispras.ru/issues/40052013-03-15T14:17:10ZSergey Smolovsmolov@ispras.ru
<p>Что делает пустой файл README в trunk основного проекта?</p> Retrascope - Developer Request #3979 (Closed): Реструктурирование проектаhttps://forge.ispras.ru/issues/39792013-03-01T09:58:46ZSergey Smolovsmolov@ispras.ru
<p>Сейчас в trunk находятся две папки, соответствующие двум проектам. Это неудобно - проект-то теперь один.</p>
<p>Предлагаю провести следующие преобразования:</p>
<p>1) Объединить содержимое папок efsm и gaa в папку retrascope.</p>
<p>2) Проверить работопособность Ant скрипта сборки build.xml, при необходимости - поправить его.</p> Fortress - Task #3973 (Closed): Реализовать добавление Variable в Constrainthttps://forge.ispras.ru/issues/39732013-02-27T08:50:12ZSergey Smolovsmolov@ispras.ruС++TESK Development Environment - Task #3759 (Feedback): Разработать демонстрационный пример для ...https://forge.ispras.ru/issues/37592012-12-06T10:40:54ZSergey Smolovsmolov@ispras.ru
<p>1. Программа создает файл Fields.xml в формате, описанном тут: #3653 (пример корректного файла прикреплен к тикету)</p>
<p>Файл Fields.xml заполняется информацией о типах сообщений с указанием их полей. Представляется разумным взять какую-нибудь тестовую систему из числа примеров из дистрибутива C++TesK Testing ToolKit, взять из неё некоторый тип сообщений и для него создать XML-файл. Особенность этого файла заключается в том, что для выбранного типа сообщений в файл должны записываться данные обо ВСЕХ его полях.</p>
<p>2. В программе вручную формируется объект SignalsFieldsMapping.</p>
<p>При этом устанавливается соответствие с сигналами только для тех полей сообщений, которые присутствуют в Fields.xml. <br />Опять-таки, объект нужно создавать, основываясь на том, как УЖЕ сопоставлены поля сообщений и сигналы в коде выбранной тестовой системы из поставки.</p>
<p>3. В консоль выводится список сигналов модуля аппаратуры, присутствующих в объекте.</p>
<p>В комментарии к демонстрационному примеру указать, какой тестовой системе он соответствует.</p> С++TESK Development Environment - Task #3754 (Closed): флаг incomparable в полях сообщенийhttps://forge.ispras.ru/issues/37542012-12-05T12:38:00ZSergey Smolovsmolov@ispras.ru
<p>В класс типа сообщений MessageType добавить boolean поле uncomparable, а также getter\setter для него. Значение по умолчанию - false.</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> Retrascope - Task #3637 (Closed): Пространство состоянийhttps://forge.ispras.ru/issues/36372012-10-30T08:48:39ZSergey Smolovsmolov@ispras.ru
<p>Для определения пространства состояний - собрать все guard'ы, использующие переменные из набора, полученного из предыдущего алгоритма.</p>
<p>Задача выделена из #3598</p> Local Support Project - Bug #3565 (Closed): Перестали приходить уведомления на почту об изменения...https://forge.ispras.ru/issues/35652012-10-10T14:13:56ZSergey Smolovsmolov@ispras.ru
<p>Нужная настройка в учетной записи активна.</p>