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 #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 #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 #9251 (Closed): calculate type of index for bit-vector arrayshttps://forge.ispras.ru/issues/92512018-08-29T13:16:51ZSergey Smolovsmolov@ispras.ru
<p>Now the index type for bit vector array variables is set to 32-bit.<br />It should be calculated more precisely.</p> Verilog Translator - Task #8982 (New): "for" loop unrollinghttps://forge.ispras.ru/issues/89822018-06-21T07:36:49ZSergey Smolovsmolov@ispras.ru
<p>The problem is related to undefined number of iterations of "for" loops.<br />In Retrascope it comes to the necessity to calculate it with the help of the external SMT solver.</p> Verilog Translator - Task #7725 (Closed): bitvector arrays supporthttps://forge.ispras.ru/issues/77252016-11-14T13:20:41ZSergey Smolovsmolov@ispras.ruMicroTESK - Task #7564 (Closed): "How to build MicroTESK" guide for developers in project Wikihttps://forge.ispras.ru/issues/75642016-09-09T14:55:39ZSergey Smolovsmolov@ispras.ruRetrascope - Task #5526 (Rejected): Retrascope engines configurationhttps://forge.ispras.ru/issues/55262014-12-24T14:34:26ZSergey Smolovsmolov@ispras.ru
<p>Implement a registration of external engines by addition of their class names to special configuration file.<br />Use classloader to registering them into main class.</p> Verilog Translator - Task #5455 (Closed): устранить зависимость от ANTLRWorkshttps://forge.ispras.ru/issues/54552014-11-28T12:34:58ZSergey Smolovsmolov@ispras.ru
<p>Необходимо устранить зависимость инструмента от библиотеки ANTLRWorks. Будет правильнее, если инструмент будет зависеть от ANTLR, а не от GUI-среды, предоставляющей средства редактирования грамматик.<br />Сам jar-архив с ANTLRWorks в проекте можно оставить, если хочется его постоянно иметь под рукой.</p> Retrascope - Task #5258 (Closed): [basis] Обработка циклических зависимостей разных Enginehttps://forge.ispras.ru/issues/52582014-09-09T05:58:43ZSergey Smolovsmolov@ispras.ru
<p>В Retrascope стали появляться Engine, имеющие циклические зависимости по Entity.<br />Это означает, что можно найти пару Engine, таких, что output type одного является input type для другого и обратно.</p>
<p>Запуск инструмента, в котором зарегистрирована хотя бы одна пара таких Engine, приводит к ошибке:</p>
<p><code>java.lang.IllegalArgumentException: Addition of engine 'xml-test-parser' causes a cycle dependency</code></p>
<p>Необходимо корректно разрешать такие зависимости при построении последовательности вызовов Engine.<br />Возможный вариант такой: строить кратчайший путь между двумя вершинами в графе зависимостей Engine (проходить циклы не более чем один раз).</p> Retrascope - Task #5249 (Closed): [basis] Настройка Retrascope для работы с SMT-решателямиhttps://forge.ispras.ru/issues/52492014-09-04T10:32:33ZSergey Smolovsmolov@ispras.ru
<p>Для корректного взаимодействия с SMT-решателями через библиотеку Fortress необходимо в инструменте Retrascope определять путь к исполняемому файлу (Environment.setSolverPath(String path)).</p>
<p>Такую настройку нужно однократно проделывать при каждом запуске Retrascope.</p> Retrascope - Task #5247 (Closed): [basis] Набор идентификаторов Engine как опция командной строки...https://forge.ispras.ru/issues/52472014-09-03T05:37:09ZSergey Smolovsmolov@ispras.ru
<p>Реализовать опцию командной строки для исполняемого модуля Retrascope.<br />Опция содержит набор идентификаторов Engine. <br />На основе указанного набора значений исполняемый модуль должен построить последовательность вызовов Engine и выполнить их в указанном порядке, либо сообщить, что такой последовательности нет.<br />Необходимо сообщать о некорректных идентификаторах Engine.</p> Retrascope - Task #4946 (Closed): [basis][log] Ведение лога для нескольких логгеровhttps://forge.ispras.ru/issues/49462014-05-22T06:55:44ZSergey Smolovsmolov@ispras.ru
<p>В случае, если в Engine используется <strong>стандартный</strong> логгер, то не нужно создавать для него отдельный *.lck-файл, который сохраняется даже после завершения работы Retrascope.<br />Сейчас единичный пуск инструмента порождает большое количество *.lck-файлов, не несущих никакой полезной информации.</p>
<p>Все стандартные логгеры должны помещать свои сообщения в общий log-файл, если выставлена соответствующая опция логирования.</p>
<p>Если в Engine используется <strong>нестандартный</strong> логгер, то сообщения логгера можно сохранять в отдельный файл.</p> Retrascope - Task #4945 (Closed): [basis][log] Опция логирования https://forge.ispras.ru/issues/49452014-05-22T06:49:41ZSergey Smolovsmolov@ispras.ru
<p>Предлагаю ввести специальную опцию для Retrascope, активирующую сохранение логгером сообщений в файл.<br />По умолчанию предлагаю данную опцию выключать - пусть логгер в таком случае пишет свои сообщения только в консоль.</p>
<p>Формат опции: <имя флага> <имя файла, куда будет сохранен лог></p>
<p>Если имя файла не указано, то использовать какое-нибудь стандартное (например retrascope.log)</p>