Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692013-07-16T11:58:10ZOpen-Source Projects
Redmine Retrascope - Bug #4358 (Closed): Внести исправления в представление CGA и методы их извлеченияhttps://forge.ispras.ru/issues/43582013-07-16T11:58:10ZSergey Smolovsmolov@ispras.ru
<p>1. CGA=GA + clock-like variable</p>
<p>2. Action не является атомарным, может содержать более одного утверждения.</p> Retrascope - Bug #4357 (Closed): [cfg][transformer][cgaa] Внести исправления в методы извлечения ...https://forge.ispras.ru/issues/43572013-07-16T11:56:01ZSergey Smolovsmolov@ispras.ru
<p>1. Каждая clock-like variable должна быть представлена в списке чувствительности соответствующего процесса;</p>
<p>2. clock-like variable не обладает значением, есть только передний\задний фронты.</p> Fortress - Bug #4221 (Closed): performConstant: public -> privatehttps://forge.ispras.ru/issues/42212013-06-13T06:46:49ZSergey Smolovsmolov@ispras.ru
<p>Метод предназначен для внутренней оптимизации операций - схлопывания константных выражений. Он должен быть приватным.</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> C++TESK Testing ToolKit - Bug #4004 (Closed): Из build'а пропал скрипт install-eclipse-plugin.shhttps://forge.ispras.ru/issues/40042013-03-14T17:36:57ZSergey Smolovsmolov@ispras.ru
<p>Т.е. в trunk проекта он есть, а в сборке не присутствует. <br />Без данного скрипта пропадает возможность установить C++TesK Eclipse plug-in из командной строки.</p>
<p>Просьба починить.</p> Retrascope - Bug #3980 (Closed): ru.ispras.retrascope.cfg.lib.examples.FIFOExample.java compilati...https://forge.ispras.ru/issues/39802013-03-01T11:04:21ZSergey Smolovsmolov@ispras.ru
<p>В конструкторе FIFOExample() передается неопределенный параметр num.</p>
<p>Пока я просто закомментировал данную строку и поставил TODO, но если это какая-то недоделка, то нужно её исправить.</p> C++TESK Testing ToolKit - Bug #3805 (Closed): Ошибка в QuickReferencehttps://forge.ispras.ru/issues/38052012-12-18T08:19:48ZSergey Smolovsmolov@ispras.ru
<p>Файл C++TESK.QuickReference.ru.pdf, страница 10:</p>
<p>"CPPTESK_CONT_CAST_MESSAGE(класс_сообщения)."</p>
<p>Видимо, нужно исправить на</p>
<p>"CPPTESK_CONST_CAST_MESSAGE(класс_сообщения)."</p> С++TESK Development Environment - Bug #3757 (Closed): Добавить jar-ник SWT в проект com.unitesk....https://forge.ispras.ru/issues/37572012-12-05T15:52:22ZSergey Smolovsmolov@ispras.ru
<p>Сейчас проект не собирается, т.к. в workspace отсутствует проект org.eclipse.swt. <br />Yужно не таскать за собой кучу чужих исходников, а заменить их jar'ом. Последний положить в проект, в папку share.</p> С++TESK Development Environment - Bug #3717 (Closed): Переименовать com.unitesk.cpptesk.ide.proto...https://forge.ispras.ru/issues/37172012-11-26T08:08:01ZSergey Smolovsmolov@ispras.ru
<p>ir = inner representation</p>
<p>Или com.unitesk.cpptesk.ide.prototype.tsr, tsr = test system representation</p>
<p>presentation - это все же скорее представление как показ, презентация, чем то, что мы в данном случае под ним понимаем.</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> 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>