Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-02-03T09:07:36ZOpen-Source Projects
Redmine QEMU4V - Feature #10088 (New): QEMU4V formatted traces for x86 programshttps://forge.ispras.ru/issues/100882020-02-03T09:07:36ZSergey Smolovsmolov@ispras.ruRetrascope Test Suite - Bug #9901 (New): initializationError in some tests after Jenkins updatehttps://forge.ispras.ru/issues/99012019-11-01T08:32:54ZSergey Smolovsmolov@ispras.ru
<p>JDK 11 is used by Jenkins now. It could be the cause of several JUnit test cases falling. Here is an example log:<br /><pre>
java.lang.Exception: The inner class ru.ispras.retrascope.engine.hldd.printer.smv.formula.sample.vcegar.VcegarPjIcram1SmvFormulaPrinterTestCase$TestCase is not static.
at org.junit.runners.BlockJUnit4ClassRunner.validateNoNonStaticInnerClass(BlockJUnit4ClassRunner.java:113)
at org.junit.runners.BlockJUnit4ClassRunner.collectInitializationErrors(BlockJUnit4ClassRunner.java:102)
at org.junit.runners.ParentRunner.validate(ParentRunner.java:355)
at org.junit.runners.ParentRunner.<init>(ParentRunner.java:76)
at org.junit.runners.BlockJUnit4ClassRunner.<init>(BlockJUnit4ClassRunner.java:57)
at org.junit.internal.builders.JUnit4Builder.runnerForClass(JUnit4Builder.java:10)
at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59)
at org.junit.internal.builders.AllDefaultPossibilitiesBuilder.runnerForClass(AllDefaultPossibilitiesBuilder.java:26)
at org.junit.runners.model.RunnerBuilder.safeRunnerForClass(RunnerBuilder.java:59)
at org.junit.internal.requests.ClassRequest.getRunner(ClassRequest.java:26)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.runTestClass(JUnitTestClassExecutor.java:78)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:58)
at org.gradle.api.internal.tasks.testing.junit.JUnitTestClassExecutor.execute(JUnitTestClassExecutor.java:38)
at org.gradle.api.internal.tasks.testing.junit.AbstractJUnitTestClassProcessor.processTestClass(AbstractJUnitTestClassProcessor.java:66)
at org.gradle.api.internal.tasks.testing.SuiteTestClassProcessor.processTestClass(SuiteTestClassProcessor.java:51)
at jdk.internal.reflect.GeneratedMethodAccessor2.invoke(Unknown Source)
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.dispatch.ContextClassLoaderDispatch.dispatch(ContextClassLoaderDispatch.java:32)
at org.gradle.internal.dispatch.ProxyDispatchAdapter$DispatchingInvocationHandler.invoke(ProxyDispatchAdapter.java:93)
at com.sun.proxy.$Proxy5.processTestClass(Unknown Source)
at org.gradle.api.internal.tasks.testing.worker.TestWorker.processTestClass(TestWorker.java:117)
at jdk.internal.reflect.GeneratedMethodAccessor1.invoke(Unknown Source)
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)
</pre></p> QEMU4V - Task #8167 (New): Program flow tracinghttps://forge.ispras.ru/issues/81672017-04-25T14:24:22ZSergey Smolovsmolov@ispras.ru
<p>subj</p> Fortress - Task #7378 (Closed): NodeTransformer: multiple transform rules for a single enum idhttps://forge.ispras.ru/issues/73782016-07-06T15:25:26ZSergey Smolovsmolov@ispras.ru
<p>See this:</p>
<pre><code class="java syntaxhl" data-language="java"><span class="kd">public</span> <span class="kd">class</span> <span class="nc">NodeTransformer</span> <span class="kd">implements</span> <span class="nc">ExprTreeVisitor</span> <span class="o">{</span>
<span class="c1">// TODO use list of rules for enum as priority queue</span>
<span class="kd">private</span> <span class="kd">final</span> <span class="nc">Map</span><span class="o"><</span><span class="nc">Enum</span><span class="o"><?>,</span> <span class="nc">TransformerRule</span><span class="o">></span> <span class="n">ruleset</span><span class="o">;</span>
</code></pre> Retrascope - Task #6449 (New): testbench generator taking test sequences and mappings as inputshttps://forge.ispras.ru/issues/64492015-11-24T13:14:22ZSergey Smolovsmolov@ispras.ru
<p>Engine: Mapping + Test -> Testbench</p> Retrascope - Task #6448 (New): mapping description language + IR + parserhttps://forge.ispras.ru/issues/64482015-11-24T13:12:26ZSergey Smolovsmolov@ispras.ru
<p>Propose a mapping description language (can be an nML-based in some statements), Inner Representation and parser.</p> Fortress - Task #6423 (Rejected): to_real, to_int, is_int operations https://forge.ispras.ru/issues/64232015-11-11T15:37:46ZSergey Smolovsmolov@ispras.ru
<p>Add the following SMT-LIB operations:</p>
<p>to_real: converts one Int argument to Real<br />to_int: converts one Real argument to Int<br />is_int: if argument is Int, return True (Boolean), else return False</p> Fortress - Task #6364 (Rejected): SolverResult: implement equals\hashcode methodshttps://forge.ispras.ru/issues/63642015-10-21T19:33:26ZSergey Smolovsmolov@ispras.ru
<p>Implement equals\hashcode methods for SolverResult class.</p> MicroTESK - Task #5967 (Closed): one directory for all components of distributionhttps://forge.ispras.ru/issues/59672015-05-20T14:01:43ZSergey Smolovsmolov@ispras.ru
<p>It would be suitable to have all the distribution components (binaries, sources archive, javadoc, etc.) in the same directory (as it is in Fortress project. for example) ant pack this directory to the distribution archive.</p> Fortress - Task #5861 (Closed): static boolean containsSingleObject(Collection<?> collection)https://forge.ispras.ru/issues/58612015-04-20T07:15:33ZSergey Smolovsmolov@ispras.ru
<p>Implement a utility method with the following signature:</p>
<pre>
static boolean containsSingleObject(Collection<?> collection)
</pre>
<p>The method returns <code>true</code> when the specified collection contains exactly one element, <code>false</code> otherwise.</p>
<p>The method name can be changed to the one you think is more suitable.</p> Retrascope - Task #5755 (Closed): use Zamia IG visitors & walkershttps://forge.ispras.ru/issues/57552015-03-25T08:48:37ZSergey Smolovsmolov@ispras.ruRetrascope - Bug #5684 (Rejected): computeExpression -> LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGI...https://forge.ispras.ru/issues/56842015-03-04T14:15:28ZSergey Smolovsmolov@ispras.ru
<p>I've tried to add the "example" project to the Retrascope's test suite (in fact, I've tried to uncomment corresponding lines in the VhdlFiles class).<br />Upon "test.vhd" I've got an error.</p>
<p>Tool arguments: src/test/vhdl/example/test.vhd --target test --toplevel test --engine efsm-test-generator</p>
<p>Error log:</p>
<pre>
2015.03.04 17:04:41.337. INFO: EFSM.TestGenerator: starting a new sequence
2015.03.04 17:04:41.338. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: resetting EFSM
2015.03.04 17:04:41.338. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: generating a new input vector
2015.03.04 17:04:41.339. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: resetting the EFSM
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the guarded action has been enabled successfully. Input vector: {events: {CLK}; transaction: {RESET = false}}
2015.03.04 17:04:41.362. INFO: EFSM.TestGenerator.RandomGenerator.WORK.TEST(BEHAVIORAL)_0: the EFSM has been reset successfully
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: processing the events: {CLK}
2015.03.04 17:04:41.363. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: input dump: {RESET = false}
2015.03.04 17:04:41.383. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: initialising the simulator. The reset guarded action: {{CLK}: {predicate: (NOT RESET)}->{{assignment: C[0:0] := false; assignment: C[0:0] := false}}}
2015.03.04 17:04:41.403. INFO: EFSM.Simulator.WORK.TEST(BEHAVIORAL)_0: the reset guard is enabled
2015.03.04 17:15:05.161. ERROR: The exception has been encountered: java.lang.IllegalArgumentException: Uncompatible data types: LOGIC_BOOLEAN vs (MAP LOGIC_INTEGER LOGIC_BOOLEAN)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.computeExpression(EfsmSimulator.java:733)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAssignment(EfsmSimulator.java:678)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.executeAction(EfsmSimulator.java:577)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.initialise(EfsmSimulator.java:301)
at ru.ispras.retrascope.engine.efsm.simulator.EfsmSimulator.processEvents(EfsmSimulator.java:260)
at ru.ispras.retrascope.engine.efsm.generator.test.RandomGenerator.submitVector(RandomGenerator.java:133)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:200)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGenerator.start(EfsmTestGenerator.java:66)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
at ru.ispras.retrascope.basis.ToolChain.start(ToolChain.java:106)
at ru.ispras.retrascope.basis.Engine.start(Engine.java:200)
at ru.ispras.retrascope.Retrascope$Run.start(Retrascope.java:116)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:333)
at ru.ispras.retrascope.Retrascope.main(Retrascope.java:355)
at ru.ispras.retrascope.util.VhdlUtilTest.runRetrascope(VhdlUtilTest.java:148)
at ru.ispras.retrascope.util.VhdlUtilTest.runVhdl(VhdlUtilTest.java:73)
at ru.ispras.retrascope.util.HdlUtilTest.runVhdl(HdlUtilTest.java:94)
at ru.ispras.retrascope.engine.efsm.generator.test.EfsmTestGeneratorVhdlTestCase.generate(EfsmTestGeneratorVhdlTestCase.java:32)
</pre>
<p>The cause is that when <code>x</code> is array of type <code>MAP(x,y)</code>, the <code>x[i]</code> element of array <code>x</code> is of type <code>y</code>, not of type <code>MAP(x,y)</code>.</p> Retrascope - Task #5570 (Closed): [build] build.xml: extract equal code parts from 'test'/'test.s...https://forge.ispras.ru/issues/55702015-01-22T12:35:58ZSergey Smolovsmolov@ispras.ruRetrascope - Task #5548 (Closed): elaborate minimips moduleshttps://forge.ispras.ru/issues/55482015-01-12T12:15:46ZSergey Smolovsmolov@ispras.ru
<p>Here is the full list of MiniMIPS modules that are to be successfully elaborated by the Retrascope tool:</p>
<p>alu.vhd<br />banc.vhd<br />bench_minimips.vhd<br />bus_ctrl.vhd<br />minimips.vhd<br />pack_mips.vhd<br />pps_di.vhd<br />pps_ei.vhd<br />pps_ex.vhd<br />pps_mem.vhd<br />pps_pf.vhd<br />ram.vhd<br />renvoi.vhd<br />rom.vhd<br />syscop.vhd</p> Fortress - Task #5319 (Closed): [expression] Реализовать метод получения коллекции NodeVariable п...https://forge.ispras.ru/issues/53192014-10-07T15:43:00ZSergey Smolovsmolov@ispras.ru
<p>Аргумент метода - объект Node<br />Возвращаемое значение - коллекция объектов NodeVariable.</p>
<p>Метод строит коллекцию объектов NodeVariable, которые содержатся в объекте Node (как листья дерева).</p>