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 - Feature #9123 (Closed): calculate DataType for 'BVEXTRACT(i, i, x)' NodeOperation objectshttps://forge.ispras.ru/issues/91232018-07-18T10:16:35ZSergey Smolovsmolov@ispras.ru
<p>For '<abbr title="i, i, x">BVEXTRACT</abbr>' NodeOperation objects, where <em>i</em> is a non-NodeValue object, an attempt to calculate it's DataType causes the following exception:<br /><pre>
java.lang.IllegalStateException: Parameter is not a value: i
at ru.ispras.fortress.expression.NodeOperation.getParams(NodeOperation.java:260)
at ru.ispras.fortress.expression.NodeOperation.getDataType(NodeOperation.java:196)
</pre></p> Fortress - Feature #8665 (Closed): Nodes.BVEXTRACT(Node, Node, Node) convenience methodhttps://forge.ispras.ru/issues/86652018-01-15T08:46:11ZSergey Smolovsmolov@ispras.ruFortress - Task #7772 (Closed): TypeConversion.coerce: transform from MAP to BIT_VECTORhttps://forge.ispras.ru/issues/77722016-11-30T13:31:02ZSergey Smolovsmolov@ispras.ru
<p>Add support for MAP values conversion in TypeConversion.coerce method.</p>
<p>The current use case is to transform "Int -> 0|1" mapping with indices starting from 0, to bit vector value.</p> Fortress - Bug #7557 (Closed): ConstCastTestCase: java.lang.AssertionError: Calculator failed to ...https://forge.ispras.ru/issues/75572016-09-07T16:54:35ZSergey Smolovsmolov@ispras.ru
<p>Probable bug in calculator, because ConstCastTestCase falls upon calling it.</p>
<pre>
Calculator failed to substitute result:
(AND (EQ (POWER y 3) z))
-> (LET () (AND (EQ (POWER y 3) z)))
-> (AND (EQ (POWER y 3) z))
-> (AND (EQ (POWER y 3) z))
java.lang.AssertionError: Calculator failed to substitute result:
(AND (EQ (POWER y 3) z))
-> (LET () (AND (EQ (POWER y 3) z)))
-> (AND (EQ (POWER y 3) z))
-> (AND (EQ (POWER y 3) z))
at org.junit.Assert.fail(Assert.java:88)
at org.junit.Assert.assertTrue(Assert.java:41)
at ru.ispras.fortress.solver.constraint.GenericSolverTestBase.checkResult(GenericSolverTestBase.java:210)
at ru.ispras.fortress.solver.constraint.GenericSolverTestBase.solveAndCheckResult(GenericSolverTestBase.java:174)
at ru.ispras.fortress.solver.constraint.GenericSolverTestBase.runSolverTests(GenericSolverTestBase.java:110)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
</pre> 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 - Bug #6352 (Closed): Transformer.standardize returns 'false' on (AND (EQ a 00) (NOT(EQ ...https://forge.ispras.ru/issues/63522015-10-15T15:10:10ZSergey Smolovsmolov@ispras.ru
<p>The <code>Transformer.standardize</code> method works incorrectly: on (AND (EQ a 00) (NOT (EQ a b 00))) constraint (where a and b are BIT_VECTOR(2)) it returns 'false'.</p>
<p>Use the <code>equalNotEqual</code> test at Transformer jUnit testcase to check that this bug is fixed.</p> Fortress - Task #5985 (Closed): Node ExprUtils.getEquation(Node target, Node value)https://forge.ispras.ru/issues/59852015-05-26T09:34:19ZSergey Smolovsmolov@ispras.ru
<p>return new NodeOperation(StandardOperation.EQ, target, value)</p> Fortress - Task #5802 (Closed): NodeValue newZero(DataType dataType)https://forge.ispras.ru/issues/58022015-04-06T07:41:26ZSergey Smolovsmolov@ispras.ru
<p>A convenience method with the following signature is required:</p>
<p><code>NodeValue newZero(DataType dataType)</code></p>
<p>Methods returns "zero value" of the specified data type.</p>
<p>For integer, real, boolean types it returns 0, 0.0, and <code>false</code> respectively (of course, embedded in NodeValue object).</p>
<p>For bit vector type it returns bit vector that contains only zeros.</p>
<p>For map type it returns map that contains only zeros too.</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>