Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-10-20T09:49:04ZOpen-Source Projects
Redmine Java SoftFloat - Task #12692 (Feedback): Реализация операций для чисел половинной точности (half ...https://forge.ispras.ru/issues/126922023-10-20T09:49:04ZAlexander Protsenkoprotsenko@ispras.ru
<p>Помимо самих операций, необходимо создать тесты,<br />которые проверяют соответствие библиотеки: <a href="http://www.jhauser.us/arithmetic/SoftFloat.html" class="external">Berkeley SoftFloat - John Hauser</a></p> MicroTESK for MIPS - Bug #12198 (Resolved): Bit vector sizes do not match: 64 != 3.https://forge.ispras.ru/issues/121982023-03-01T07:38:17ZAlexander Protsenkoprotsenko@ispras.ru
<p>Ошибка:<br /><pre>
Optimizing MIR...
list dependencies...
188/945...
********************************************************************************
ATTENTION! An unexpected error has occurred:
java.lang.IllegalArgumentException: Bit vector sizes do not match: 64 != 3.
The program will be terminated. Please contact us at:
microtesk-support@ispras.ru
We are sorry for the inconvenience.
Exception stack:
java.lang.IllegalArgumentException: Bit vector sizes do not match: 64 != 3.
at ru.ispras.fortress.data.types.bitvector.BitVectorMath.checkEqualSize(BitVectorMath.java:1255)
at ru.ispras.fortress.data.types.bitvector.BitVectorMath.transform(BitVectorMath.java:1231)
at ru.ispras.fortress.data.types.bitvector.BitVectorMath.add(BitVectorMath.java:869)
at ru.ispras.microtesk.translator.mir.BvOpcode$1.evalBitVector(BvOpcode.java:27)
at ru.ispras.microtesk.translator.mir.BvOpcode.evalConst(BvOpcode.java:139)
at ru.ispras.microtesk.translator.mir.EvalContext.visit(EvalContext.java:137)
at ru.ispras.microtesk.translator.mir.Instruction$Assignment.accept(Instruction.java:43)
at ru.ispras.microtesk.translator.mir.EvalContext.eval(EvalContext.java:122)
at ru.ispras.microtesk.translator.mir.InlinePass.apply(InlinePass.java:44)
at ru.ispras.microtesk.translator.mir.MirPassDriver.apply(MirPassDriver.java:83)
at ru.ispras.microtesk.translator.mir.MirPassDriver.run(MirPassDriver.java:104)
at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:75)
at ru.ispras.microtesk.translator.mir.MirTransHandler.processIr(MirTransHandler.java:54)
at ru.ispras.microtesk.translator.Translator.processIr(Translator.java:84)
at ru.ispras.microtesk.translator.nml.NmlTranslator.start(NmlTranslator.java:131)
at ru.ispras.microtesk.translator.Translator.translate(Translator.java:201)
at ru.ispras.microtesk.MicroTESK.translate(MicroTESK.java:167)
at ru.ispras.microtesk.MicroTESK.runTask(MicroTESK.java:159)
at ru.ispras.microtesk.MicroTESK.main(MicroTESK.java:84)
********************************************************************************
> Task :translateK64 FAILED
</pre></p>
<p>Нужно внести правки в спецификацию.<br />Сложность состоит в том, что нужно определить это место.</p> MicroTESK for Plasma - Developer Request #12038 (Resolved): обновление плагина PMD в Gradlehttps://forge.ispras.ru/issues/120382022-11-09T11:18:51ZSergey Smolovsmolov@ispras.ru
<p>В настоящее время в Gradle-based системе сборки проекта используется плагин PMD версии 5.9.0. На нынешнем Jenkins он валится с ошибками.<br />Предлагается либо убрать его вовсе, либо обновить до более работоспособной версии 6.21.0</p>
<p>Для корректного обновления нужно внести следующие изменения в файл build.gradle (ниже приведен вывод git diff для аналогичного коммита в другом проекте):<br /><pre>
@@ -164,8 +164,6 @@ dependencies {
testCompile fileTree(include: ['*.jar'], dir: "${project.projectDir}/build/target/lib/jars")
checkstyle 'com.puppycrawl.tools:checkstyle:6.12.1'
- pmd 'net.sourceforge.pmd:pmd-core:5.4.0'
- pmd 'net.sourceforge.pmd:pmd-java:5.4.0'
}
eclipse {
@@ -246,14 +244,11 @@ checkstyle {
}
pmd {
+ consoleOutput = true
ignoreFailures = true
- ruleSets = [ "java-android,java-basic,java-braces,java-clone,java-codesize,java-controversial,"
- + "java-coupling,java-design,java-empty,java-finalizers,java-imports,java-j2ee,"
- + "java-javabeans,java-junit,java-logging-jakarta-commons,java-logging-java,"
- + "java-migrating,java-migrating_to_13,java-migrating_to_14,java-migrating_to_15,"
- + "java-migrating_to_junit4,java-naming,java-optimizations,java-strictexception,"
- + "java-strings,java-sunsecure,java-typeresolution,java-unnecessary,java-unusedcode"]
- ruleSetFiles = files("config/pmd/java/comments.xml")
+ toolVersion = "6.21.0"
+ ruleSets = ["category/java/bestpractices.xml", "category/java/design.xml", "category/java/documentation.xml",
+ "category/java/errorprone.xml", "category/java/performance.xml", "category/java/security.xml"]
}
</pre></p> Java SoftFloat - Bug #11042 (New): Javadoc warningshttps://forge.ispras.ru/issues/110422021-12-02T12:12:23ZSergey Smolovsmolov@ispras.ru
<p>Warnings upon project build:</p>
<pre>
> Task :javadoc
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Conversion.java:41: warning - Tag @see: reference not found: #f32_to_i32(int)
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:622: warning - @param argument "zExpPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:623: warning - @param argument "zSigPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4899: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4899: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4926: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4926: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4975: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:4975: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:5005: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:5005: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6348: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6348: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6375: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6375: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6424: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6424: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6454: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloat.java:6454: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/JSoftFloatUtils.java:122: warning - @param argument "zPtr" is not a parameter name.
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:37: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:37: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:51: warning - invalid usage of tag <
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/Utils.java:51: warning - invalid usage of tag >
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
/home/ssedai/projects/jsoftfloat/src/main/java/ru/ispras/softfloat/jni/Cfloat.java:17: warning - invalid usage of tag &
28 warnings
</pre> Java SoftFloat - Bug #10519 (New): Разобраться в причине разной трактовки стандарта в Java и Berk...https://forge.ispras.ru/issues/105192020-10-08T20:12:30ZAlexander Protsenkoprotsenko@ispras.ru
<pre><code class="java syntaxhl" data-language="java"><span class="n">java</span><span class="o">.</span><span class="na">lang</span><span class="o">.</span><span class="na">AssertionError</span><span class="o">:</span> <span class="nl">Float32:</span> <span class="n">add</span><span class="o">(</span><span class="mi">7</span><span class="n">fc00000</span><span class="o">,</span> <span class="n">ffffffff</span><span class="o">)</span> <span class="nl">expected:</span><span class="o"><-</span><span class="mi">1</span><span class="o">></span> <span class="n">but</span> <span class="nl">was:</span><span class="o"><</span><span class="mi">2143289344</span><span class="o">></span>
<span class="n">at</span> <span class="n">org</span><span class="o">.</span><span class="na">junit</span><span class="o">.</span><span class="na">Assert</span><span class="o">.</span><span class="na">fail</span><span class="o">(</span><span class="nc">Assert</span><span class="o">.</span><span class="na">java</span><span class="o">:</span><span class="mi">89</span><span class="o">)</span>
<span class="n">at</span> <span class="n">org</span><span class="o">.</span><span class="na">junit</span><span class="o">.</span><span class="na">Assert</span><span class="o">.</span><span class="na">failNotEquals</span><span class="o">(</span><span class="nc">Assert</span><span class="o">.</span><span class="na">java</span><span class="o">:</span><span class="mi">835</span><span class="o">)</span>
</code></pre><br />Результат Berkeley SoftFloat: 0xffffffff -1 NaN<br />Результат Java: 0x7fc00000 2143289344 NaN
<p>Необходимо найти правильный вариант в соответствии с IEEE 754.</p> Java SoftFloat - Task #10338 (New): Реализация операций двойной точностиhttps://forge.ispras.ru/issues/103382020-05-17T14:32:21ZAlexander Protsenkoprotsenko@ispras.ru
<p>JavaSoftFloat.Float64.Operation*</p> Java SoftFloat - Bug #10190 (New): Реализация операций одинарной точностиhttps://forge.ispras.ru/issues/101902020-03-27T11:20:59ZAlexander Protsenkoprotsenko@ispras.ru
<p>Помимо самих операций, необходимо создать тесты, которые:<br />1. Проверяют соответствие библиотеки: <a href="http://www.jhauser.us/arithmetic/SoftFloat.html" class="external">Berkeley SoftFloat - John Hauser</a><br />2. Проверка соответствия со стандартным форматом Java Float32 (с соответствующим режимом округления.)</p> Java SoftFloat - Task #10189 (New): Реализация библиотеки Java SoftFloat версии 2https://forge.ispras.ru/issues/101892020-03-27T11:16:32ZAlexander Protsenkoprotsenko@ispras.ru
1. Реализовать части:
<ul>
<li>Half precision</li>
<li>Single precision</li>
<li>Double precision</li>
<li>x86 extended precision</li>
<li>Quad precision</li>
</ul>
<p>2. Написать тесты<br />3. Написать gradle скрипты для создания библиотек различной конфигурации</p> MicroTESK for PowerPC - Bug #10031 (New): WARNING: An illegal reflective access operation has occ...https://forge.ispras.ru/issues/100312020-01-13T11:54:41ZSergey Smolovsmolov@ispras.ru
<p>The following warnings appear in test log:<br /><pre><code class="text syntaxhl" data-language="text">WARNING: An illegal reflective access operation has occurred
WARNING: Illegal reflective access by org.jruby.util.io.ChannelDescriptor (file:/home/ssedai/projects/microtesk-powerpc/build/target/lib/jars/jruby-complete-1.7.25.jar) to method sun.nio.ch.SelChImpl.getFD()
WARNING: Please consider reporting this to the maintainers of org.jruby.util.io.ChannelDescriptor
WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations
WARNING: All illegal access operations will be denied in a future release
</code></pre></p>
<p>OpenJDK 11 is used.</p> MicroTESK for RISC-V - Bug #9845 (Feedback): Fix 40 testshttps://forge.ispras.ru/issues/98452019-10-03T15:38:59ZMikhail Chupilkochupilko@ispras.ru
<p>Jenkins shows 40 tests don't finish correctly. We have to fix it.</p> MicroTESK for RISC-V - Bug #9841 (Feedback): java.lang.NullPointerException at AllocatorEngine.ja...https://forge.ispras.ru/issues/98412019-09-26T12:44:39ZAlexander Protsenkoprotsenko@ispras.ru
<p>Ошибка:<br /><pre>
--- Running Execution from Test Case 5686 (boundary_autogentemplate.rb:246) ----
---------------------------------- Instance 0 ----------------------------------
Execution status: 0x0000000080002878
0x0000000080002878 li a6, 0x7fffffffffffffff
0x0000000080002898 li s11, 0x7fffffffffffffff
0x00000000800028b8 xor a7, a6, s11
------------------ Processing Abstract Sequence (Instance 0) -------------------
********************************************************************************
ATTENTION! An unexpected error has occurred:
java.lang.NullPointerException: null
The program will be terminated. Please contact us at:
microtesk-support@ispras.ru
We are sorry for the inconvenience.
Exception stack:
java.lang.NullPointerException
at ru.ispras.microtesk.test.engine.allocator.AllocatorEngine.allocateUnknownValues(ru/ispras/microtesk/test/engine/allocator/AllocatorEngine.java:303)
at ru.ispras.microtesk.test.engine.allocator.AllocatorEngine.allocateUnknownValues(ru/ispras/microtesk/test/engine/allocator/AllocatorEngine.java:281)
at ru.ispras.microtesk.test.engine.allocator.AllocatorEngine.allocate(ru/ispras/microtesk/test/engine/allocator/AllocatorEngine.java:183)
at ru.ispras.microtesk.test.engine.SequenceProcessor.allocateRegisters(ru/ispras/microtesk/test/engine/SequenceProcessor.java:320)
at ru.ispras.microtesk.test.engine.SequenceProcessor.allocateResources(ru/ispras/microtesk/test/engine/SequenceProcessor.java:309)
at ru.ispras.microtesk.test.engine.SequenceProcessor.expandAbstractSequence(ru/ispras/microtesk/test/engine/SequenceProcessor.java:299)
at ru.ispras.microtesk.test.engine.SequenceProcessor.process(ru/ispras/microtesk/test/engine/SequenceProcessor.java:79)
at ru.ispras.microtesk.test.TemplateProcessor.processPostponedBlock(ru/ispras/microtesk/test/TemplateProcessor.java:406)
at ru.ispras.microtesk.test.TemplateProcessor.processPostponedBlocks(ru/ispras/microtesk/test/TemplateProcessor.java:306)
at ru.ispras.microtesk.test.TemplateProcessor.finish(ru/ispras/microtesk/test/TemplateProcessor.java:194)
at ru.ispras.microtesk.test.template.Template.endMainSection(ru/ispras/microtesk/test/template/Template.java:213)
at jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at RUBY.generate(C:/!microtesk/MicroTESK-RISC-V/microtesk-riscv/microtesk-riscv/build/target/lib/ruby/template.rb:1066)
at RUBY.main(C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\microtesk-riscv\build\target\lib\ruby\microtesk.rb:33)
at org.jruby.RubyHash.each(org/jruby/RubyHash.java:1342)
at RUBY.main(C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\microtesk-riscv\build\target\lib\ruby\microtesk.rb:29)
at RUBY.(root)(C:\!microtesk\MicroTESK-RISC-V\microtesk-riscv\microtesk-riscv\build\target\lib\ruby\microtesk.rb:52)
at ru.ispras.microtesk.RubyRunner.run(ru/ispras/microtesk/RubyRunner.java:62)
at ru.ispras.microtesk.ScriptRunner.run(ru/ispras/microtesk/ScriptRunner.java:43)
at ru.ispras.microtesk.test.TestEngine.generate(ru/ispras/microtesk/test/TestEngine.java:172)
at ru.ispras.microtesk.MicroTESK.generate(ru/ispras/microtesk/MicroTESK.java:284)
at ru.ispras.microtesk.MicroTESK.runTask(ru/ispras/microtesk/MicroTESK.java:131)
at ru.ispras.microtesk.MicroTESK.main(ru/ispras/microtesk/MicroTESK.java:79)
********************************************************************************
</pre></p> Java SoftFloat - Task #6471 (New): Получение значений 16 битовых чисел с плавающей точкойhttps://forge.ispras.ru/issues/64712015-12-03T03:44:13ZAlexander Protsenkoprotsenko@ispras.ru
<p>getValue()</p> Retrascope - Task #4882 (New): Разработка принтеров блок-схем в графические форматыhttps://forge.ispras.ru/issues/48822014-05-05T04:30:37ZAlexander Kamkinaskamkin@gmail.com
<p>Предполагается поддержка следующих форматов:</p>
<ol>
<li><del>Graphviz</del></li>
<li>GraphML</li>
</ol> С++TESK Development Environment - Task #3628 (Open): Описание XML-схемы для прототипирования тест...https://forge.ispras.ru/issues/36282012-10-28T04:52:20ZAlexander Kamkinaskamkin@gmail.com
<p>После проработки XML-формата для прототипирования тестовых систем добавить описание (с комментариями и примерами) в wiki.<br />Лучше это сделать на английском.</p>