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> 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.ruFortress - Task #7846 (Rejected): 'Transformer.reduce(Transformer.substitute(expression, name, te...https://forge.ispras.ru/issues/78462017-01-12T13:26:18ZSergey Smolovsmolov@ispras.ru
<p>A convenience method that performs substitution and then reduces the result.</p> Retrascope IDE - Task #6988 (New): [efsm][visualizator][zest] "organic" layout for EFSM modelshttps://forge.ispras.ru/issues/69882016-03-22T16:14:38ZSergey Smolovsmolov@ispras.ruRetrascope IDE - Task #5702 (New): [tool] create Retrascope iconhttps://forge.ispras.ru/issues/57022015-03-11T08:35:21ZSergey Smolovsmolov@ispras.ru
<p>Create the Retrascope icon & use it instead of the default one.</p> Retrascope IDE - Bug #5547 (New): save Retrascope result not to ECLIPSE_HOME folderhttps://forge.ispras.ru/issues/55472015-01-05T19:24:18ZSergey Smolovsmolov@ispras.ru
<p>While using Retrascope IDE Configurator menu, engines that generate output file can be selected (like test-xml-printer, which generates test.xml file by default).<br />But if the full path to the output file is not specified, the Retrascope IDE saves output file to the ECLIPSE_HOME folder. Which causes an error, for example, in Windows 7 OS, where Eclipse IDE can be installed to the protected-for-writing folder like C:\Program Files.</p> Retrascope IDE - Task #5546 (New): [log] print Retrascope log to Eclipse loghttps://forge.ispras.ru/issues/55462015-01-05T19:18:15ZSergey Smolovsmolov@ispras.ru
<p>Print the Retrascope output to Eclipse IDE log panel.</p> Retrascope IDE - Task #5251 (New): [tool][configurator] Сохранение конфигурацийhttps://forge.ispras.ru/issues/52512014-09-05T07:59:53ZSergey Smolovsmolov@ispras.ru
<p>При каждом вызове меню "Configure and Run" (в том числе в рамках одной сессии работы с IDE) введенные с его помощью параметры (задействованные Engine, аргументы командной строки) сбрасываются.<br />Нужно их сохранять (в том числе и вне сессий работы с IDE).</p>