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 #5447 (Closed): [transformer][ruleset] стандартизация константных выражений вида ...https://forge.ispras.ru/issues/54472014-11-25T14:57:59ZSergey Smolovsmolov@ispras.ru
<p>Предлагается добавить ещё такие правила в стандартный набор:</p>
<p>x EQ y -> false<br />x EQ x -> true</p>
<p>где x и y - разные константы(NodeValue).</p> Fortress - Bug #5425 (Closed): [expression] java.lang.IllegalArgumentException: Expression is not...https://forge.ispras.ru/issues/54252014-11-12T20:29:04ZSergey Smolovsmolov@ispras.ru
<p>Дано: объект NodeOperation вида (BVEXTRACT D_IN 0 0), где D_IN - объект NodeVariable типа BIT_VECTOR (длины 9).</p>
<p>При попытке создать из него и прочих NodeOperation конъюнкцию с помощью метода ExprUtils.getConjunction возникает ошибка:</p>
<p>2014.11.12 23:21:04.076. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Expression is not a condition: (BVEXTRACT D_IN 0 0)<br /> at ru.ispras.fortress.expression.ExprUtils.checkAllConditions(ExprUtils.java:378)<br /> at ru.ispras.fortress.expression.ExprUtils.getConjunction(ExprUtils.java:189)<br />...</p>
<p>Причина ошибки состоит в том, что для данного выражения метод getDataType() возвращает UNKNOWN, хотя тут чистой воды BOOLEAN.</p> Fortress - Task #5424 (Closed): [transformer][ruleset] дополнительные правила стандартизацииhttps://forge.ispras.ru/issues/54242014-11-12T17:23:06ZSergey Smolovsmolov@ispras.ru
<p>Возникла острая необходимость в реализации следующих правил:</p>
<p>(and true e) -> e<br />(and false e) -> false<br />(or true e) -> true<br />(or false e) -> e</p>
<p>где e - булевская переменная</p> Fortress - Task #5419 (Closed): [transformer][ruleset] реализовать правило expr==false -> NOT(exp...https://forge.ispras.ru/issues/54192014-11-12T07:07:51ZSergey Smolovsmolov@ispras.ru
<p>Правила, описанные в классе ru.ispras.fortress.transformer.ruleset.Predicate, преобразуют только операции.<br />Предлагается добавить ещё одно правило "канонизации", преобразующее значения:</p>
<p>выражение expr==false преобразовывать в !(expr == true).</p>
<p>Правило нужно включить в стандартный набор.</p> Fortress - Task #5229 (Closed): [transformer] Упрощение выражений с LOGIC_BOOLEANhttps://forge.ispras.ru/issues/52292014-08-29T11:57:13ZSergey Smolovsmolov@ispras.ru
<p>Сейчас в Fortress реализовано упрощение выражений, использующих только значения типа LOGIC_INTEGER.</p>
<p>Необходимо реализовать упрощение (Transformer.reduce) выражений, использующих значения типа LOGIC_BOOLEAN.</p>
<p>Для этого можно реализовать класс StandardOperationsBoolean (по аналогии с классом StandardOperationsInt) и зарегистрировать в классе Calculator.</p> Fortress - Bug #4813 (Closed): [solver][constraint] Невозможно создавать тривиальные ограниченияhttps://forge.ispras.ru/issues/48132014-04-02T09:50:44ZSergey Smolovsmolov@ispras.ru
<p>Средствами Fortress нельзя сформировать следующий код на SMT-LIB:</p>
<p><code>(assert true)<br />(check-sat)<br />(exit)</code></p>
<p>Это происходит потому, что для создания Constraint требуется явно указать задействованные в нем переменные (которых в данном примере нет).</p>
<p>Необходимо поддерживать создание таких тривиальных ограничений.</p> Fortress - Task #4713 (New): SMT-LIB structureshttps://forge.ispras.ru/issues/47132014-03-17T06:59:53ZSergey Smolovsmolov@ispras.ru
<p>Реализовать поддержку структур (record) как типа данных языка SMT-LIB.</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>