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> Fortress - Task #7383 (Closed): boolean isOperation(final Node expr, final T... opId)https://forge.ispras.ru/issues/73832016-07-08T15:25:13ZSergey Smolovsmolov@ispras.ru
<p>Implement a convenience method that checks either the specified Node object is an operation of one of the specified enum id.</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 #5993 (Closed): boolean ExprUtils.isKind(Node.Kind kind, Node ... nodes)https://forge.ispras.ru/issues/59932015-05-28T08:23:38ZSergey Smolovsmolov@ispras.ru
<p>The methods returns <code>true</code> when all the <code>nodes</code> are of the specified <code>kind</code>; <code>false</code> otherwise.</p> Fortress - Task #5907 (Closed): boolean areOfType(DataTypeId id, Node ... nodes)https://forge.ispras.ru/issues/59072015-05-12T15:28:32ZSergey Smolovsmolov@ispras.ru
<p>The method checks that all the <code>Node</code> elements of the specified array are of the specified data type id.</p>
<p>Returns <code>true</code> when all the array elements are of the specified data type id, <code>false</code> otherwise.</p> Fortress - Task #5462 (Closed): [arrays] arrays initialization is inconvenienthttps://forge.ispras.ru/issues/54622014-12-04T07:02:17ZSergey Smolovsmolov@ispras.ru
<p>There is only one way for array to be initialized - by constructing SMT-LIB strings like "((key_1:value_1)...(key_n:value_n))".</p>
<p>It is inconvenient because an additional work is needed here to translate an array into such string format.</p>
<p>More suitable methods are needed here (for example, look at methods for LOGIC_INTEGER/LOGIC_BOOLEAN types an so on).</p> Fortress - Bug #5461 (Closed): [arrays] Insufficient arrays supporthttps://forge.ispras.ru/issues/54612014-12-04T06:57:34ZSergey Smolovsmolov@ispras.ru
<p>Реализованная в проекте поддержка массивов имеет два существенных ограничения.</p>
<p>1) radix элементов массива должен совпадать с radix индексов;</p>
<p>2) метод getTypeRadix для MAP всегда возвращает 10.</p>
<p>Эти ограничения, в частности, не позволяют создавать массивы битовых векторов (очень распространенный объект в HDL-описаниях), а также получить для них radix элементов массива.</p>
<p>Проблема 1) частично решена ревизией r715 (теперь все массивы имеют radix=10 для индексов - см. блок TODO), что позволяет успешно обрабатывать код HDL-описаний. Если решение устраивает - можно блок TODO удалить. Если есть необходимость создавать массивы, у которых radix индексов не всегда равен 10, то нужно эту возможность учитывать.</p> Fortress - Bug #5453 (Closed): [arrays] Unexpected solver output: " (INSTQUEUE ((as const (Array ...https://forge.ispras.ru/issues/54532014-11-27T15:46:10ZSergey Smolovsmolov@ispras.ru
<p>При анализе HDL-описаний инструментом Retrascope иногда возникает ошибка со следующим логом:</p>
<p>[log]</p>
<p>java.lang.AssertionError: Unexpected solver output: " (INSTQUEUE ((as const (Array Int Int)) 0))" <br /> at ru.ispras.fortress.solver.engine.z3.Z3TextSolver.solve(Z3TextSolver.java:136)<br /> at ru.ispras.fortress.solver.constraint.ConstraintUtils.solve(ConstraintUtils.java:69)<br /> at ru.ispras.fortress.expression.ExprUtils.isSAT(ExprUtils.java:303)<br /> at ru.ispras.fortress.expression.ExprUtils.areCompatible(ExprUtils.java:288)</p>
<p>[/log]</p>
<p>Ошибка плавающая, т.е. пока не удалось так подобрать аргументы программы, чтобы сделать её воспроизводимой.</p> Fortress - Task #4133 (Closed): ABS, MAX, MIN для Logic-типовhttps://forge.ispras.ru/issues/41332013-04-20T19:50:56ZSergey Smolovsmolov@ispras.ru
<p>Реализовать операции ABS (абсолютное значение), MAX (максимум из двух чисел) и MIN (минимум из двух чисел).<br />Операндами могут быть переменные Logic-типов (bool, int, real).</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> 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> 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>