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> QEMU4V - Task #12282 (New): migrate to QEMU 8.0.0https://forge.ispras.ru/issues/122822023-03-28T13:46:26ZSergey Smolovsmolov@ispras.ru
<p><a class="external" href="https://wiki.qemu.org/Planning/8.0">https://wiki.qemu.org/Planning/8.0</a></p> Retrascope Test Suite - Task #11018 (New): Verilog duplicate removinghttps://forge.ispras.ru/issues/110182021-11-27T14:19:22ZSergey Smolovsmolov@ispras.ru
<p>Remove Verilog modules that appear in two or more test collections (Texas-97, VCEGAR or Verilog2SMV).</p> Retrascope - Task #10988 (New): lowercase debug messageshttps://forge.ispras.ru/issues/109882021-10-22T15:20:38ZSergey Smolovsmolov@ispras.ruMicroTESK - Task #10304 (New): deprecation warnings via compilationhttps://forge.ispras.ru/issues/103042020-04-23T12:19:57ZSergey Smolovsmolov@ispras.ru
<pre>
> Task :compileJava
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/SysUtils.java:122: warning: [deprecation] newInstance() in Class has been deprecated
return cl.loadClass(className).newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/SysUtils.java:148: warning: [deprecation] newInstance() in Class has been deprecated
return (Plugin) pluginClass.newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked method invocation: method copyAll in class SharedObject is applied to given types
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends SharedObject<T> declared in method <T>copyAll(List<T>)
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked conversion
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends SharedObject<T> declared in method <T>copyAll(List<T>)
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorNitems.java:78: warning: [unchecked] unchecked conversion
return SharedObject.copyAll((List) value);
^
required: List<T>
found: List
where T is a type-variable:
T extends Object declared in class GeneratorNitems
/srv/****/workspace/MicroTESK/src/main/java/core/ru/ispras/microtesk/test/sequence/GeneratorConfig.java:179: warning: [deprecation] newInstance() in Class has been deprecated
return type.newInstance();
^
where T is a type-variable:
T extends Object declared in class Class
6 warnings
</pre> Retrascope - Task #10133 (New): use '-coi' model checker optionhttps://forge.ispras.ru/issues/101332020-02-22T15:51:39ZSergey Smolovsmolov@ispras.ru
<p>The NuSMV model checker has the followingcommand line option:<br /><pre>
-coi
enables cone of influence reduction
</pre></p>
<p>and so does nuXmv. This option can help in SMV model checking.</p>
<p>Try to enable it in our configuration scripts for NuSMV\nuXmv and check the results.</p> Retrascope - Task #10058 (New): User documentationhttps://forge.ispras.ru/issues/100582020-01-20T14:22:42ZSergey Smolovsmolov@ispras.ru
<p>Getting Started, User Guide in PDF.</p> QEMU4V - Task #9986 (New): check if QEMU4V features can be implemented as TCG pluginhttps://forge.ispras.ru/issues/99862019-12-13T13:44:19ZSergey Smolovsmolov@ispras.ru
<p>TCG Plugins are a new feature since 4.2 that provide the ability to run instrumentation experiments on code. They are capable for doing passive monitoring of every instruction and memory access made by the system.</p>
<p><a class="external" href="https://wiki.qemu.org/Features/TCGPlugins">https://wiki.qemu.org/Features/TCGPlugins</a></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> Verilog Translator - Task #9859 (New): modify "ERROR: [Internal] null" line at error loghttps://forge.ispras.ru/issues/98592019-10-10T13:02:17ZSergey Smolovsmolov@ispras.ru
<p>Sometimes when VeriTrans crashes it produces the following string in it's log:<br /><pre>
ERROR: [Internal] null
</pre></p>
<p>It seems non-informative and should be either reformulated or removed.</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> Verilog Translator - Task #9790 (New): external names for unnamed generate blockshttps://forge.ispras.ru/issues/97902019-08-15T13:14:15ZSergey Smolovsmolov@ispras.ru
<p>12.4.3 External names for unnamed generate blocks<br />Although an unnamed generate block has no name that can be used in a hierarchical name, it needs to have a<br />name by which external interfaces can refer to it. A name will be assigned for this purpose to each unnamed<br />generate block as described in the next paragraph.<br />Each generate construct in a given scope is assigned a number. The number will be 1 for the construct that<br />appears textually first in that scope and will increase by 1 for each subsequent generate construct in that<br />scope. All unnamed generate blocks will be given the name “genblk<n>” where <n> is the number assigned<br />to its enclosing generate construct. If such a name would conflict with an explicitly declared name, then<br />leading zeroes are added in front of the number until the name does not conflict.<br />NOTE—Each generate construct is assigned its number as described in the previous paragraph even if it does not<br />contain any unnamed generate bocks.</p> Retrascope IDE - Task #9764 (New): migrate to Eclipse 2019https://forge.ispras.ru/issues/97642019-07-22T13:37:19ZSergey Smolovsmolov@ispras.ruRetrascope Test Suite - Task #9670 (New): add 'ar.v' module to the test suite when SVA support wi...https://forge.ispras.ru/issues/96702019-05-22T11:24:19ZSergey Smolovsmolov@ispras.ru
<p>See <strong>Ver2SmvBenchmarks</strong> test class.</p>