Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-04-23T12:19:57ZOpen-Source Projects
Redmine MicroTESK - 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> Verilog Translator - Task #10009 (Closed): README\ChangeLog -> README.md\ChangeLog.mdhttps://forge.ispras.ru/issues/100092019-12-24T15:27:02ZSergey Smolovsmolov@ispras.ru
<p>Rewrite the specified files to Markdown format.</p> Verilog Translator - Task #9904 (Closed): add info for "--library-file" cmdline optionhttps://forge.ispras.ru/issues/99042019-11-06T07:38:16ZSergey Smolovsmolov@ispras.ru
<p>Write a description for this option at project wiki.</p> Verilog Translator - Task #9899 (Closed): VerilogPrinter test cases for QUIP benchmarkshttps://forge.ispras.ru/issues/98992019-10-31T17:53:57ZSergey Smolovsmolov@ispras.ruVerilog 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> 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> Verilog Translator - Task #9771 (Closed): fix 'publishing' block behaviour for Gradle 4.10.3https://forge.ispras.ru/issues/97712019-07-25T08:32:23ZSergey Smolovsmolov@ispras.ru
<p>Now Gradle 4.10.3 (as last release of Gradle 4.x) is in use at wrapper. Here is warning that appears when running the "./gradlew clean assemble --warning-mode all --stacktrace" command.</p>
<p>As part of making the publishing plugins stable, the 'deferred configurable' behavior of the 'publishing {}' block has been deprecated. In Gradle 5.0 the 'enableFeaturePreview('STABLE_PUBLISHING')' flag will be removed and the new behavior will become the default. Please add 'enableFeaturePreview('STABLE_PUBLISHING')' to your settings file and do a test run by publishing to a local repository. If all artifacts are published as expected, there is nothing else to do. If the published artifacts change unexpectedly, please see the migration guide for more details: <a class="external" href="https://docs.gradle.org/4.10.3/userguide/publishing_maven.html#publishing_maven:deferred_configuration">https://docs.gradle.org/4.10.3/userguide/publishing_maven.html#publishing_maven:deferred_configuration</a>.<br /> at org.gradle.api.publish.plugins.PublishingPlugin.determineExtensionClass(PublishingPlugin.java:92)<br />...</p> MicroTESK - Task #7564 (Closed): "How to build MicroTESK" guide for developers in project Wikihttps://forge.ispras.ru/issues/75642016-09-09T14:55:39ZSergey Smolovsmolov@ispras.ruMicroTESK - Task #6108 (Closed): create environment variable(s) for SMT solver(s)https://forge.ispras.ru/issues/61082015-06-23T14:06:27ZSergey Smolovsmolov@ispras.ruMicroTESK - 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> TestBase - Task #4674 (New): Тестовые ситуацииhttps://forge.ispras.ru/issues/46742014-01-20T10:36:58ZSergey Smolovsmolov@ispras.ru
<p>Необходимо вынести функциональность тестовых ситуаций в отдельный компонент. Компонент содержит имя, описание и ограничение.</p> Fortress - Task #4175 (Closed): Добавить параметризованные операцииhttps://forge.ispras.ru/issues/41752013-05-14T11:52:18ZSergey Smolovsmolov@ispras.ru
<p>Необходимо добавить в библиотеку следующие параметризованные операции:</p>
<p>1. ((_ zero_extend i) (_ BitVec m) (_ BitVec m+i))<br /> - ((_ zero_extend i) x) means extend x with zeroes to the (unsigned)<br /> equivalent bitvector of size m+i</p>
<p>2. ((_ sign_extend i) (_ BitVec m) (_ BitVec m+i))<br /> - ((_ sign_extend i) x) means extend x to the (signed) equivalent bitvector<br /> of size m+i</p>
<p>3. ((_ rotate_left i) (_ BitVec m) (_ BitVec m))<br /> - ((_ rotate_left i) x) means rotate bits of x to the left i times</p>
<p>4. ((_ rotate_right i) (_ BitVec m) (_ BitVec m))<br /> - ((_ rotate_right i) x) means rotate bits of x to the right i times</p>
<p>Операции 3 и 4 уже были добавлены в библиотеку, необходимо разработать тесты, проверяющие корректность этого добавления.</p> Fortress - Task #4133 (Closed): ABS, MAX, MIN для Logic-типовhttps://forge.ispras.ru/issues/41332013-04-20T19:50:56ZSergey Smolovsmolov@ispras.ru
<p>Реализовать операции ABS (абсолютное значение), MAX (максимум из двух чисел) и MIN (минимум из двух чисел).<br />Операндами могут быть переменные Logic-типов (bool, int, real).</p> Fortress - Task #3973 (Closed): Реализовать добавление Variable в Constrainthttps://forge.ispras.ru/issues/39732013-02-27T08:50:12ZSergey Smolovsmolov@ispras.ruFortress - Task #3914 (Rejected): function templateshttps://forge.ispras.ru/issues/39142013-02-05T10:34:46ZSergey Smolovsmolov@ispras.ru
<p>Реализовать поддержку шаблонов функций. В зависимости от типа аргументов должны генерироваться корректные функции.</p>