Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692019-12-20T11:57:43ZOpen-Source Projects
Redmine Castle - Task #9999 (Closed): ChangeLog -> ChangeLog.mdhttps://forge.ispras.ru/issues/99992019-12-20T11:57:43ZSergey Smolovsmolov@ispras.ru
<p>Rewrite ChangeLog file to Markdown format.</p> Castle - Task #9998 (Closed): README -> README.mdhttps://forge.ispras.ru/issues/99982019-12-20T11:57:11ZSergey Smolovsmolov@ispras.ru
<p>Rewrite README to Markdown format.</p> Castle - Task #6507 (Closed): build.gradle: get ANTLR jar from serverhttps://forge.ispras.ru/issues/65072016-01-14T08:53:59ZSergey Smolovsmolov@ispras.ru
<p>Предлагаю не хранить jar-файл компонента ANTLR непосредственно в репозитории проекта, а подгружать с сервера, как это сделано в Retrascope с библиотекой Antlrworks:</p>
<pre>
dependencies {
compile 'antlr:antlrworks:1.4.3'
...
compile files( "${project.projectDir}/share/jar/fortress.jar"
, ...
)
}
</pre>
<p>Для этого нужно проконсультироваться с Алексеем Демаковым, пусть положит ANTLR на forge.ispras.ru (если его ещё там нет).</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> 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> Fortress - Task #3973 (Closed): Реализовать добавление Variable в Constrainthttps://forge.ispras.ru/issues/39732013-02-27T08:50:12ZSergey Smolovsmolov@ispras.ruFortress - Task #3895 (Closed): Дополнительные операции Veriloghttps://forge.ispras.ru/issues/38952013-01-30T14:16:15ZSergey Smolovsmolov@ispras.ru
<p>Реализовать следующие специфические операции языка Verilog:</p>
<p>1) Редуцированные AND (<code>&</code>), NAND (<code>~&</code>), OR (<code>|</code>), NOR (<code>~|</code>), XOR (<code>^</code>), XNOR (<code>~^</code>) - применяются ко всем разрядам единственного операнда;</p>
<p>2) Идентичность (===), неидентичность (!==);</p>
<p>3) Логические И (&&), ИЛИ (||).</p>
<p>Все указанные операции дают результат с размерностью 1 бит.</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> Fortress - Task #3734 (Closed): Операции сравнения для LOGIC-типовhttps://forge.ispras.ru/issues/37342012-11-29T08:08:02ZSergey Smolovsmolov@ispras.ru
<p>Реализовать операции > (больше), < (меньше), <= (меньше, или равно), >= (больше, или равно).</p> Fortress - Task #3721 (Closed): Дополнительные операцииhttps://forge.ispras.ru/issues/37212012-11-27T12:12:21ZSergey Smolovsmolov@ispras.ru
<p>1. Реализовать операции для Logic-типов - <abbr title="модуль">ABS</abbr>, <abbr title="сложение">ADD</abbr>, <abbr title="деление">DIV</abbr>, <abbr title="вычитание">MINUS</abbr>, MOD (для integer - остаток от деления), MUL (умножение), NEG (отрицание), POS, POWER (ступень), REM (для integer и real - остаток от деления);</p>
<p>2. Реализовать операции для битовых векторов - CONCAT, EQUALS, NEQUALS, XOR, ROL (циклический сдвиг влево), ROR (циклический сдвиг вправо)</p> Fortress - Task #3708 (Closed): Методы makeNegation, makeConjunction, makeDisjunction класса Cons...https://forge.ispras.ru/issues/37082012-11-23T12:30:54ZSergey Smolovsmolov@ispras.ru
<p>1. Реализовать методы makeNegation и makeConjunction класса Constraint.</p>
<p>Сейчас на их месте заглушки.</p>
<p>2. В интерфейсе IConstraint задекларировать, а в классе Constraint - реализовать метод makeDisjunction.</p>
<p>Сигнатура: public IConstraint makeDisjunction(IConstraint a)</p>
<p>Метод возвращает дизъюнкцию двух constraint'ов.</p>
<p>В принципе, метод легко реализовать и самостоятельно посредством методов makeNegation и makeConjunction, <br />но было бы удобно иметь и дизъюнкцию в чистом виде, чтобы не усложнять код там, где это не требуется.</p> Fortress - Task #3694 (Closed): Операции сравнения битовых векторовhttps://forge.ispras.ru/issues/36942012-11-16T11:00:13ZSergey Smolovsmolov@ispras.ru
<p>Подразумеваются операции, коды которых указаны в классе EStandardOperation, группа "Predicates over Bitvectors".</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> 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>