Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692014-05-26T05:54:37ZOpen-Source Projects
Redmine Verilog Translator - Task #4964 (Closed): Типизация переменныхhttps://forge.ispras.ru/issues/49642014-05-26T05:54:37ZAlexander Kamkinaskamkin@gmail.com
<p>Для деклараций переменных ввести методы для получения их типа (разрядности).</p>
<ol>
<li><code>boolean isParameterDependent()</code> - проверка зависимости типа от параметров;</li>
<li><code>int getWidth()</code> (и т.п.) - информация о типе;</li>
<li><code>int getWidth(parameters)</code> (и т.п.) - информация о типе.</li>
</ol> Fortress - Feature #4219 (Closed): Схлопывание константных выраженийhttps://forge.ispras.ru/issues/42192013-06-11T16:22:05ZAlexander Kamkinaskamkin@gmail.com
<p>Можно ли вычислять константные выражения при запуске солвера. Дело в том, что у меня используются свои (неполноценные) классы для Value и Variable. Из-за чего происходит NullPointerException.</p>
<p>см. <a class="issue tracker-2 status-5 priority-4 priority-default closed" title="Task: Implementation of replication operation (Closed)" href="https://forge.ispras.ru/issues/4127">#4127</a>.</p> MicroTESK - Task #3958 (Closed): Удалить старый, неиспользуемый кодhttps://forge.ispras.ru/issues/39582013-02-22T07:01:27ZAlexander Kamkinaskamkin@gmail.com
<p>Скоро открываем проект. Нужно вычистить ненужные файлы.</p> MicroTESK - Task #3671 (Closed): Учесть инструкции переходов в шаблонахhttps://forge.ispras.ru/issues/36712012-11-10T07:24:49ZAlexander Kamkinaskamkin@gmail.com
<p>Подумать над схемой генерации программы по шаблону, содержашему ветвления.</p>
<p>Можно считать, что у симулятора есть две функции - (1) вывести инструкции на печать, (2) исполнить инструкцию (этот момент нужно согласовать с Андреем).</p>
<p>Вроде бы сложностей нет. Идем по шаблону, выводим инструкции на печать, исполняем их. Доходим до перехода. В этой точке должно быть известно, куда делается переход (либо указано в тестовой ситуации, либо не указано, но известны значения регистров ...). Если переход не выполняется, то все делается обычным образом. Если переход делается вперед, последующие инструкции выводим, но не исполняем, пока не дойдем до точки перехода; начиная с нее, инструкции и выводятся и исполняются. Если переход назад, то последующие инструкции исполняем, но не выводим.</p>
<p>Важные моменты:<br />1. Слот задержки инструкции перехода. Откуда берется эта информация? (Это к Андрею.)</p>
<p>Не совсем в тему:<br />2. По одному шаблону получается одна программа.<br />3. Для разных запусков (явный параметр - номер запуска) должна происходиться рандомизация.</p> Verilog Translator - Task #3533 (Closed): Убрать отдельное поддерево AST_PARAMETERS дерева AST_MO...https://forge.ispras.ru/issues/35332012-10-02T06:25:45ZAlexander Kamkinaskamkin@gmail.com
<p>Его можно поместить в начало AST_MODULE_ITEMS.</p> С++TESK Development Environment - Task #2058 (Closed): Установка имени файла по умолчанию при зап...https://forge.ispras.ru/issues/20582011-11-30T10:38:32ZAlexander Kamkinaskamkin@gmail.com
<p>Default name = fsm</p> С++TESK Development Environment - Bug #2053 (Closed): Часто при запуске mcc не устанавливается св...https://forge.ispras.ru/issues/20532011-11-30T10:25:09ZAlexander Kamkinaskamkin@gmail.com
<p>Можно добавить задержку и/или прогрепить вывод ps.</p> С++TESK Development Environment - Task #2051 (Closed): Убрать окна сообщений, в которых есть толь...https://forge.ispras.ru/issues/20512011-11-30T10:22:42ZAlexander Kamkinaskamkin@gmail.com
<p>Много нажатий на кнопки.</p> C++TESK Testing ToolKit - Task #1707 (Closed): Унификация опций скриптовhttps://forge.ispras.ru/issues/17072011-08-30T13:20:26ZAlexander Kamkinaskamkin@gmail.com
<p>1. В скрипте install-veritool.sh нет опции --help.<br />2. В скрипте version.sh отсутствие опций эквивалентно установке --version, а в скрипте update.sh отсутствие опций не соответствует никакой опции.<br />3. В скрипте report.sh есть непонятные опции --non-trace-error и --non-trace-fsm. Их лучше переименовать, например в --disable-aspect-{error|fsm}.</p>
<p>После исправлений нужно привести в актуальное состояние описание:<br /><a class="external" href="http://forge.ispras.ru/projects/cpptesk-toolkit/wiki/Command_Line_Utilities">http://forge.ispras.ru/projects/cpptesk-toolkit/wiki/Command_Line_Utilities</a></p> MicroTESK - Task #1687 (Rejected): Хранение ограничений во внешней памятиhttps://forge.ispras.ru/issues/16872011-08-25T14:25:40ZAlexander Kamkinaskamkin@gmail.com
<p>Объекты-ограничение -> XML-представление ограничения<br />XML-представление ограничения -> объект-ограничение</p> C++TESK Testing ToolKit - Task #1525 (Closed): Тесты для проверки билдаhttps://forge.ispras.ru/issues/15252011-07-15T15:39:36ZAlexander Kamkinaskamkin@gmail.com
<p>Цель - проверка совместимости (старые ТС и примеры должны собираться с новой версией библиотеки).</p> Aspectrace - Bug #1413 (Closed): Утечка памяти в функции printNodehttps://forge.ispras.ru/issues/14132011-06-24T07:53:43ZAlexander Kamkinaskamkin@gmail.com
<p>StringBuffer *sb - создается, но не уничтожается.</p> C++TESK Testing ToolKit - Task #1272 (Closed): Установка модуля подсветки синтаксиса VIMhttps://forge.ispras.ru/issues/12722011-05-23T15:13:18ZAlexander Kamkinaskamkin@gmail.com
<p>Нужно написать скрипт для установки модуля подсветки синтаксиса VIM. Сам модуль (точнее, заготовка для него) находится в папке etc/vim. Установка сводится к копированию папки etc/vim/syntax в ~/.vim/syntax и аккуратном добавлении etc/vim/.vimrc в ~/.vimrc.</p>
<p>Скрипт установки модуля подсветки должен вызываться из общего скрипта установки.</p> Aspectrace - Task #1259 (Closed): Шаблоны velocity находятся в одном каталоге с jarhttps://forge.ispras.ru/issues/12592011-05-20T14:30:54ZAlexander Kamkinaskamkin@gmail.com
<p>Можно их спрятать в jar?</p> CTESK - Task #280 (Closed): Функция отключения проверки постусловийhttps://forge.ispras.ru/issues/2802010-06-29T06:41:05ZAlexander Kamkinaskamkin@gmail.com
<p>Для целей отладки тестовых сценариев (проверки того, что графы детерминированы и сильно-связны) удобно иметь функцию отключения постусловий setCheckPostcondition(bool enable).</p>