Open-Source Projects: Issues
https://forge.ispras.ru/
https://forge.ispras.ru/favicon.ico?1649012669
2019-12-20T11:57:43Z
Open-Source Projects
Redmine
Castle - Task #9999 (Closed): ChangeLog -> ChangeLog.md
https://forge.ispras.ru/issues/9999
2019-12-20T11:57:43Z
Sergey Smolov
smolov@ispras.ru
<p>Rewrite ChangeLog file to Markdown format.</p>
Castle - Task #9998 (Closed): README -> README.md
https://forge.ispras.ru/issues/9998
2019-12-20T11:57:11Z
Sergey Smolov
smolov@ispras.ru
<p>Rewrite README to Markdown format.</p>
Fortress - Feature #8709 (Closed): 'public static boolean isOperation(final Node node, final T .....
https://forge.ispras.ru/issues/8709
2018-02-08T07:31:05Z
Sergey Smolov
smolov@ispras.ru
Fortress - Feature #8703 (Closed): 'public static boolean isType(final Node node, final DataType ...
https://forge.ispras.ru/issues/8703
2018-02-05T09:52:02Z
Sergey Smolov
smolov@ispras.ru
<p>The method returns <em>true</em> when <em>node</em> has data type from the <em>types</em> array, <em>false</em> otherwise.</p>
Fortress - Feature #8702 (Closed): 'public static NodeValue.newBitVector(final boolean value)' co...
https://forge.ispras.ru/issues/8702
2018-02-05T07:57:19Z
Sergey Smolov
smolov@ispras.ru
Fortress - Feature #8667 (Closed): Nodes.EQ(Node ... nodes) convenience method
https://forge.ispras.ru/issues/8667
2018-01-15T09:10:31Z
Sergey Smolov
smolov@ispras.ru
Fortress - Feature #8665 (Closed): Nodes.BVEXTRACT(Node, Node, Node) convenience method
https://forge.ispras.ru/issues/8665
2018-01-15T08:46:11Z
Sergey Smolov
smolov@ispras.ru
Fortress - Bug #8573 (Closed): missing javadoc
https://forge.ispras.ru/issues/8573
2017-11-14T12:59:32Z
Sergey Smolov
smolov@ispras.ru
<p>When running "./gradlew assemble" I've got the following:</p>
<pre>
/home/ssedai/projects/fortress.git/src/main/java/ru/ispras/fortress/expression/ExprUtils.java:101: warning - Tag @link: can't find Kind in ru.ispras.fortress.expression.Node
/home/ssedai/projects/fortress.git/src/main/java/ru/ispras/fortress/expression/Node.java:41: warning - Tag @link: can't find Kind in ru.ispras.fortress.expression.Node
/home/ssedai/projects/fortress.git/src/main/java/ru/ispras/fortress/transformer/Reducer.java:172: warning - @param argument "engine" is not a parameter name.
/home/ssedai/projects/fortress.git/src/main/java/ru/ispras/fortress/transformer/ValueProvider.java:34: warning - @param argument "variableName" is not a parameter name.
</pre>
Castle - Task #6507 (Closed): build.gradle: get ANTLR jar from server
https://forge.ispras.ru/issues/6507
2016-01-14T08:53:59Z
Sergey Smolov
smolov@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 #4702 (Closed): [expression] Реализовать операцию BVBIT
https://forge.ispras.ru/issues/4702
2014-03-01T09:38:03Z
Sergey Smolov
smolov@ispras.ru
<p>Необходимо реализовать операцию BVBIT. <br />Аргументы операции: битовый вектор bv, целое неотрицательное число n.<br />Операция возвращает значение bv[n], т.е. n-ный бит вектора.<br />Если n >= bv.size, то бросаем Exception.</p>
C++TESK Testing ToolKit - Bug #4005 (Rejected): удалить пустой README
https://forge.ispras.ru/issues/4005
2013-03-15T14:17:10Z
Sergey Smolov
smolov@ispras.ru
<p>Что делает пустой файл README в trunk основного проекта?</p>
C++TESK Testing ToolKit - Bug #4004 (Closed): Из build'а пропал скрипт install-eclipse-plugin.sh
https://forge.ispras.ru/issues/4004
2013-03-14T17:36:57Z
Sergey Smolov
smolov@ispras.ru
<p>Т.е. в trunk проекта он есть, а в сборке не присутствует. <br />Без данного скрипта пропадает возможность установить C++TesK Eclipse plug-in из командной строки.</p>
<p>Просьба починить.</p>
C++TESK Testing ToolKit - Bug #3805 (Closed): Ошибка в QuickReference
https://forge.ispras.ru/issues/3805
2012-12-18T08:19:48Z
Sergey Smolov
smolov@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 x64
https://forge.ispras.ru/issues/3590
2012-10-15T11:18:40Z
Sergey Smolov
smolov@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 log
https://forge.ispras.ru/issues/2494
2012-02-24T06:40:28Z
Sergey Smolov
smolov@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>