Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-05-17T08:59:10ZOpen-Source Projects
Redmine Trace Matcher - Task #12415 (New): use venv to build the toolhttps://forge.ispras.ru/issues/124152023-05-17T08:59:10ZSergey Smolovsmolov@ispras.ru
<p>Now Gradle-based build system uses external pyinstaller. It would be better to create virtual environment (venv) for that task.</p> Verilog Translator - Feature #10290 (New): SystemVerilog supporthttps://forge.ispras.ru/issues/102902020-04-20T07:30:43ZSergey Smolovsmolov@ispras.ruQEMU4V - Feature #10088 (New): QEMU4V formatted traces for x86 programshttps://forge.ispras.ru/issues/100882020-02-03T09:07:36ZSergey Smolovsmolov@ispras.ruFortress - Task #10001 (Rejected): SMT-LIBv2 benchmarkshttps://forge.ispras.ru/issues/100012019-12-20T12:41:49ZSergey Smolovsmolov@ispras.ru
<p>Collection of SMT-LIBv2 constraints that were generated by formal verification tools (Retrascope, MicroTESK) + JUnit test cases that solve them.</p> MicroTESK for Plasma - Task #9889 (Resolved): rm deprecated 'findbugs' plugin from Gradle build s...https://forge.ispras.ru/issues/98892019-10-24T10:21:41ZSergey Smolovsmolov@ispras.ru
<p>Building process fails on Jenkins now:<br /><pre>
> Task :findbugsTest
The following errors occurred during analysis:
Cannot open codebase filesystem:/var/lib/****/.gradle/caches/modules-2/files-2.1/microtesk/microtesk/2.4.44-beta-SNAPSHOT/692befca4eac5612da03471e30156d6bfc376951/microtesk-2.4.44-beta-SNAPSHOT.tar.gz
java.io.IOException: Wrong magic bytes of 1f8b0800 for zip file /var/lib/****/.gradle/caches/modules-2/files-2.1/microtesk/microtesk/2.4.44-beta-SNAPSHOT/692befca4eac5612da03471e30156d6bfc376951/microtesk-2.4.44-beta-SNAPSHOT.tar.gz of 37398687 bytes
At edu.umd.cs.findbugs.classfile.impl.ZipFileCodeBase.<init>(ZipFileCodeBase.java:87)
At edu.umd.cs.findbugs.classfile.impl.ZipCodeBaseFactory.makeZipCodeBase(ZipCodeBaseFactory.java:39)
At edu.umd.cs.findbugs.classfile.impl.ClassFactory.createFilesystemCodeBase(ClassFactory.java:121)
At edu.umd.cs.findbugs.classfile.impl.FilesystemCodeBaseLocator.openCodeBase(FilesystemCodeBaseLocator.java:77)
At edu.umd.cs.findbugs.classfile.impl.ClassPathBuilder.processWorkList(ClassPathBuilder.java:607)
At edu.umd.cs.findbugs.classfile.impl.ClassPathBuilder.build(ClassPathBuilder.java:226)
At edu.umd.cs.findbugs.FindBugs2.buildClassPath(FindBugs2.java:677)
At edu.umd.cs.findbugs.FindBugs2.execute(FindBugs2.java:218)
At org.gradle.api.plugins.quality.internal.findbugs.FindBugsExecuter.runFindbugs(FindBugsExecuter.java:39)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
At java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
At java.base/java.lang.reflect.Method.invoke(Method.java:566)
At org.gradle.process.internal.worker.request.WorkerAction.run(WorkerAction.java:101)
At org.gradle.process.internal.worker.request.WorkerAction.runThenStop(WorkerAction.java:84)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
At java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
At java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
At java.base/java.lang.reflect.Method.invoke(Method.java:566)
At org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:35)
At org.gradle.internal.dispatch.ReflectionDispatch.dispatch(ReflectionDispatch.java:24)
At org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:155)
At org.gradle.internal.remote.internal.hub.MessageHubBackedObjectConnection$DispatchWrapper.dispatch(MessageHubBackedObjectConnection.java:137)
At org.gradle.internal.remote.internal.hub.MessageHub$Handler.run(MessageHub.java:404)
At org.gradle.internal.concurrent.ExecutorPolicy$CatchAndRecordFailures.onExecute(ExecutorPolicy.java:63)
At org.gradle.internal.concurrent.ManagedExecutorImpl$1.run(ManagedExecutorImpl.java:46)
At java.base/java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1128)
At java.base/java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:628)
At org.gradle.internal.concurrent.ThreadFactoryImpl$ManagedThreadRunnable.run(ThreadFactoryImpl.java:55)
At java.base/java.lang.Thread.run(Thread.java:834)
Error scanning ru/ispras/microtesk/model/plasma/BubbleSortTestCase for referenced classes
...
</pre></p>
<p>To fix the issue, remove deprecated 'findbugs' plug-in and all it's usages from 'build.gradle' script.</p> Retrascope IDE - Task #9888 (New): complete migration from Ant to Gradle build systemhttps://forge.ispras.ru/issues/98882019-10-23T07:57:47ZSergey Smolovsmolov@ispras.ru
<p>The project repository contains both Ant and Gradle build scripts. Ant-based build system is outdated and should be completely substituted by the Gradle-based one.</p> Retrascope IDE - Bug #9816 (New): Retrascope IDE does not appear in "Installed Software" menuhttps://forge.ispras.ru/issues/98162019-09-09T09:08:34ZSergey Smolovsmolov@ispras.ru
<p>The plugin does not appear in Help->About Eclipse IDE->Installed Software menu</p> Retrascope IDE - Task #9815 (New): uninstaller for Retrascope IDEhttps://forge.ispras.ru/issues/98152019-09-09T09:07:51ZSergey Smolovsmolov@ispras.ru
<p>The Retrascope IDE should be able to be uninstalled via Help->About Eclipse IDE->Installed Software menu</p> Retrascope IDE - Task #9810 (New): Gradle build systemhttps://forge.ispras.ru/issues/98102019-09-04T15:24:33ZSergey Smolovsmolov@ispras.ru
<p>All the Retrascope-related projects and Retrascope itself use Gradle as a basic build system.</p>
<p>The IDE should use it too to simplify *.jar dependencies uploading and synchronization.</p> Retrascope IDE - Task #9764 (New): migrate to Eclipse 2019https://forge.ispras.ru/issues/97642019-07-22T13:37:19ZSergey Smolovsmolov@ispras.ruRetrascope RISC-V Benchmark - Bug #9478 (New): ERROR: retrascope-riscv\src\main\verilog\rocket-ch...https://forge.ispras.ru/issues/94782019-02-06T10:20:27ZSergey Smolovsmolov@ispras.ru
<p>The <strong>ru.ispras.verilog.parser.sample.RocketChipTestDriverVerilogPrinterTestCase</strong> test case falls with the following error:<br /><pre>
ERROR: L:\work\retrascope-riscv\src\main\verilog\rocket-chip\src\main\resources\vsrc\TestDriver.v line 28:6 mismatched input 'unsigned' expecting LPAREN
ERROR: L:\work\retrascope-riscv\src\main\verilog\rocket-chip\src\main\resources\vsrc\TestDriver.v line 31:4 missing KW_BEGIN at 'void'
ERROR: [Internal] null
</pre><br />The related Verilog code is as follows:<br /><pre><code class="text syntaxhl" data-language="text">int unsigned rand_value;
</code></pre></p> MicroTESK - Task #9217 (Closed): Use 'ru.ispras.castle.codegen' package classes from Castlehttps://forge.ispras.ru/issues/92172018-08-13T08:41:43ZSergey Smolovsmolov@ispras.ru
<p>Some classes were copied from 'ru.ispras.microtesk.codegen' package (MicroTESK) to 'ru.ispras.castle.codegen' package (Castle) with small changes.<br />To avoid code duplication, Castle should be used in MicroTESK.</p> Veritool - Bug #9184 (New): ERROR: Unable to read config file: /usr/lib/x86_64-linux-gnu/ivl/veri...https://forge.ispras.ru/issues/91842018-08-01T13:04:10ZSergey Smolovsmolov@ispras.ru
<p>Running the tool on the attached Verilog module with such parameters, as '--c --module=blocks --clk=clk --rst=rst --all blocks.v', causes the following error trace:<br /><pre>
ERROR: Unable to read config file: /usr/lib/x86_64-linux-gnu/ivl/veritool.conf
: error: target_design entry point is missing.
error: Code generator failure: -2
veritool failed
</pre></p> Retrascope Test Suite - Bug #9012 (Closed): VisBufferAllocVerilogPrinterTestCase: java.lang.Illeg...https://forge.ispras.ru/issues/90122018-06-27T09:16:02ZSergey Smolovsmolov@ispras.ru
<pre>
java.lang.IllegalArgumentException
at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:38)
at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:95)
at ru.ispras.verilog.parser.processor.VerilogExprTransformer$1.apply(VerilogExprTransformer.java:144)
at ru.ispras.fortress.transformer.NodeTransformer.applyRule(NodeTransformer.java:166)
at ru.ispras.fortress.transformer.NodeTransformer.onOperationEnd(NodeTransformer.java:226)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:173)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visitOperation(ExprTreeWalker.java:160)
at ru.ispras.fortress.expression.ExprTreeWalker.visitNode(ExprTreeWalker.java:123)
at ru.ispras.fortress.expression.ExprTreeWalker.visit(ExprTreeWalker.java:93)
at ru.ispras.fortress.transformer.NodeTransformer.walk(NodeTransformer.java:54)
at ru.ispras.fortress.transformer.Transformer.transform(Transformer.java:230)
at ru.ispras.verilog.parser.processor.VerilogExprTransformer.transform(VerilogExprTransformer.java:62)
at ru.ispras.verilog.parser.elaborator.VerilogTransformer.transform(VerilogTransformer.java:159)
at ru.ispras.verilog.parser.elaborator.VerilogTransformer.transform(VerilogTransformer.java:170)
at ru.ispras.verilog.parser.elaborator.VerilogTransformer.transform(VerilogTransformer.java:189)
at ru.ispras.verilog.parser.elaborator.VerilogTransformer.onAssignStatementBegin(VerilogTransformer.java:78)
at ru.ispras.verilog.parser.walker.VerilogNodeVisitor$3.onBegin(VerilogNodeVisitor.java:265)
at ru.ispras.verilog.parser.walker.VerilogNodeVisitor.onBegin(VerilogNodeVisitor.java:700)
at ru.ispras.verilog.parser.core.TreeWalker.onBegin(TreeWalker.java:100)
at ru.ispras.verilog.parser.core.TreeWalker.start(TreeWalker.java:79)
at ru.ispras.verilog.parser.elaborator.VerilogTransformer.run(VerilogTransformer.java:53)
at ru.ispras.verilog.parser.elaborator.VerilogVariableSubstitutor.transform(VerilogVariableSubstitutor.java:44)
at ru.ispras.verilog.parser.elaborator.VerilogInstantiator.instantiateProcess(VerilogInstantiator.java:88)
at ru.ispras.verilog.parser.elaborator.VerilogDesign$1$1.next(VerilogDesign.java:185)
at ru.ispras.verilog.parser.elaborator.VerilogDesign$1$1.next(VerilogDesign.java:173)
at ru.ispras.verilog.parser.sample.VerilogDesignPrinter.start(VerilogDesignPrinter.java:36)
at ru.ispras.verilog.parser.VerilogDesignBackends.start(VerilogDesignBackends.java:56)
at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:169)
at ru.ispras.verilog.parser.sample.VerilogPrinter.main(VerilogPrinter.java:45)
at ru.ispras.verilog.parser.sample.VerilogPrinterTest.runTest(VerilogPrinterTest.java:49)
</pre> QEMU4V - Task #8167 (New): Program flow tracinghttps://forge.ispras.ru/issues/81672017-04-25T14:24:22ZSergey Smolovsmolov@ispras.ru
<p>subj</p>