Open-Source Projects: Issueshttps://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692023-03-21T13:01:33ZOpen-Source Projects
Redmine Trace Matcher - Bug #12246 (Resolved): Ошибка при сборке проекта traceutils-src-0.1.9-beta-200116https://forge.ispras.ru/issues/122462023-03-21T13:01:33ZAlexander Protsenkoprotsenko@ispras.ru
<p>Использовалась инструкция:<br /><a class="external" href="https://forge.ispras.ru/projects/traceutils/wiki/Installation_Guide">https://forge.ispras.ru/projects/traceutils/wiki/Installation_Guide</a></p>
<p>Использовалась ВМ с ubuntu-20.04.4-desktop-amd64.</p>
<p>При выполнении команды:<br /><pre>
pyinstaller traceutils/trace_matcher.py -n traceutils --add-data 'LICENSE:.' --add-data 'README:.' -p traceutils/:traceutils/record/ -d
</pre></p>
<p>Появилась следующая ошибка:<br /><pre>
alexander@alexander:~/Microtesk/traceutils-src-0.1.9-beta-200116$ pyinstaller traceutils/trace_matcher.py -n traceutils --add-data 'LICENSE:.' --add-data 'README:.' -p traceutils/:traceutils/record/ -d
usage: pyinstaller [-h] [-v] [-D] [-F] [--specpath DIR] [-n NAME] [--add-data <SRC;DEST or SRC:DEST>]
[--add-binary <SRC;DEST or SRC:DEST>] [-p DIR] [--hidden-import MODULENAME]
[--collect-submodules MODULENAME] [--collect-data MODULENAME] [--collect-binaries MODULENAME]
[--collect-all MODULENAME] [--copy-metadata PACKAGENAME] [--recursive-copy-metadata PACKAGENAME]
[--additional-hooks-dir HOOKSPATH] [--runtime-hook RUNTIME_HOOKS] [--exclude-module EXCLUDES]
[--splash IMAGE_FILE] [-d {all,imports,bootloader,noarchive}] [--python-option PYTHON_OPTION] [-s]
[--noupx] [--upx-exclude FILE] [-c] [-w]
[-i <FILE.ico or FILE.exe,ID or FILE.icns or Image or "NONE">] [--disable-windowed-traceback]
[--version-file FILE] [-m <FILE or XML>] [--no-embed-manifest] [-r RESOURCE] [--uac-admin]
[--uac-uiaccess] [--win-private-assemblies] [--win-no-prefer-redirects] [--argv-emulation]
[--osx-bundle-identifier BUNDLE_IDENTIFIER] [--target-architecture ARCH]
[--codesign-identity IDENTITY] [--osx-entitlements-file FILENAME] [--runtime-tmpdir PATH]
[--bootloader-ignore-signals] [--distpath DIR] [--workpath WORKPATH] [-y] [--upx-dir UPX_DIR] [-a]
[--clean] [--log-level LEVEL]
scriptname [scriptname ...]
pyinstaller: error: argument -d/--debug: expected one argument
</pre></p> QEMU4V - Bug #12243 (Resolved): ERROR: missing file ..../qemu4v-src-0.3.6-beta-200430/ui/keycodem...https://forge.ispras.ru/issues/122432023-03-21T10:53:18ZAlexander Protsenkoprotsenko@ispras.ru
<p><a class="external" href="https://forge.ispras.ru/projects/qemu4v/wiki/Installation">https://forge.ispras.ru/projects/qemu4v/wiki/Installation</a><br />Во время выполнения инструкций:<br /><pre>
$ mkdir build
$ cd build
$ ../configure --target-list=aarch64-softmmu,riscv64-softmmu,mips-softmmu,mips64-softmmu,ppc-softmmu,ppc64-softmmu,i386-softmmu
$ make
$ sudo make install
</pre><br />Возникли следующие ошибки:<br /><pre>
alexander@alexander:~/Microtesk/qemu4v-src-0.3.6-beta-200430/build$ ../configure --target-list=aarch64-softmmu,riscv64-softmmu,mips-softmmu,mips64-softmmu,ppc-softmmu,ppc64-softmmu,i386-softmmu
ERROR: missing file /home/alexander/Microtesk/qemu4v-src-0.3.6-beta-200430/ui/keycodemapdb/README
This is not a GIT checkout but module content appears to
be missing. Do not use 'git archive' or GitHub download links
to acquire QEMU source archives. Non-GIT builds are only
supported with source archives linked from:
https://www.qemu.org/download/#source
Developers working with GIT can use scripts/archive-source.sh
if they need to create valid source archives.
</pre></p>
<p>И этот вариант не работает:<br /><pre>
$ ./gradlew assemble
$ sudo make install
</pre><br />Падает с той же ошибкой, что и предыдущий.</p> QEMU4V - Feature #12242 (Resolved): Добавлять в архив корневую директорию qemu4v-src-Xhttps://forge.ispras.ru/issues/122422023-03-21T10:03:11ZAlexander Protsenkoprotsenko@ispras.ru
<p>Если взять файл вот отсюда <a class="external" href="https://forge.ispras.ru/projects/qemu4v/files">https://forge.ispras.ru/projects/qemu4v/files</a> и распаковать его, то появится много разных файлов в месте разархивирования.<br />Предлагаю: перед тем как создавать архив, добавлять все файлы в общую директорию. Чтобы после разархивирования появлялась 1 директория.</p> Retrascope Test Suite - Task #10229 (Resolved): Handle $ND functionshttps://forge.ispras.ru/issues/102292020-04-07T09:32:09ZMikhail Lebedevlebedev@ispras.ru
<p>There are many use cases of the non-standard $ND function in Texas97 benchmarks. Add the special Veritans option to the tests, so these designs can be processed. Usages of the $ND function in other benchmarks seem to be commented.</p> Retrascope - Bug #10104 (Open): Wiki documentation erratahttps://forge.ispras.ru/issues/101042020-02-07T08:56:37ZNikita Chertokchertokn96@gmail.com
<ins>Typos:</ins>
<ol>
<li>Wiki/Command Line Options, Targets:
<ol>
<li><em>"Every entity which representation is included into Retrascope is <strong>stronlge</strong> connected with the tool component called "engine"."</em></li>
</ol>
</li>
<li>Wiki/Command Line Options, SMT solver debug mode:
<ol>
<li>Broken link to the Fortress</li>
</ol>
</li>
<li>Wiki/Overview:
<ol>
<li>Fix line breaks for<br /><em>"Models are based on the HDL code and can either be extracted ..."</em><br /><em>"Engines are shown as black round nodes, models are shown as rectangles and artifacts are shown as elliptic nodes."</em><br /><em>"Two components can be combined if one of them returns an entity of some type and the other takes this entity as input."</em></li>
</ol></li>
</ol>
<ins>Suggestions:</ins>
<ol>
<li>Wiki/Getting Started, Command Line Interface:
<ol>
<li>Add a graphic legend to the dependency graph (as a complement to text)</li>
</ol></li>
</ol> Retrascope 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> Retrascope - Task #5150 (New): Обработка функций - реализация макроподстановокhttps://forge.ispras.ru/issues/51502014-07-24T10:43:00ZAlexander Kamkinaskamkin@gmail.com
<p>Реализация макроподстановок определений функций в точки вызова.<br />Скорее всего, это нужно сделать в трансляторе - процедура общая.</p> Retrascope - Task #5027 (New): Абстракция EFSM-моделейhttps://forge.ispras.ru/issues/50272014-07-07T05:28:17ZAlexander Kamkinaskamkin@gmail.com
<p>После реализации извлекателя EFSM-моделей необходимо проработать метод абстракции.</p>
<p>P.S. Не забыть связать с нашими коллегами из Таллина (у них есть идеи на этот счет).</p> Retrascope - Task #4889 (New): Генерация заготовки эталонной модели по набору блок-схем (flowchart)https://forge.ispras.ru/issues/48892014-05-05T07:46:59ZAlexander Kamkinaskamkin@gmail.com
<p>Построение <a class="issue tracker-2 status-1 priority-3 priority-lowest" title="Task: Разработка внутреннего представления тестовой системы (New)" href="https://forge.ispras.ru/issues/4887">#4887</a> по <a class="issue tracker-2 status-1 priority-3 priority-lowest" title="Task: Проектирование внутреннего представления для блок-схем (New)" href="https://forge.ispras.ru/issues/4880">#4880</a> (возможно <a class="issue tracker-2 status-1 priority-3 priority-lowest" title="Task: Разработка и реализация метода RTL-в-TLM абстракции блок-схем (New)" href="https://forge.ispras.ru/issues/4890">#4890</a>).</p> Retrascope - Task #4888 (New): Генератор заготовки тестовой системы по ее описаниюhttps://forge.ispras.ru/issues/48882014-05-05T07:42:25ZAlexander Kamkinaskamkin@gmail.com
<p>Требуется разработать генератор(-ы) тестовой системы по ее описанию (см. <a class="issue tracker-2 status-1 priority-3 priority-lowest" title="Task: Разработка внутреннего представления тестовой системы (New)" href="https://forge.ispras.ru/issues/4887">#4887</a>).</p>
<p>Предполагается поддержка следующих технологий:</p>
<ol>
<li>UVM</li>
<li>C++TESK</li>
</ol> Retrascope - Task #4887 (New): Разработка внутреннего представления тестовой системыhttps://forge.ispras.ru/issues/48872014-05-05T07:39:30ZAlexander Kamkinaskamkin@gmail.com
<p>Продумать, какая информация необходима для генерации заготовок тестовых систем. Предложить Java- и XML-представление этой информации.</p>
<p>Представления должны быть задокументировать в Wiki.</p>
<p>Должны быть разработаны следующие компоненты:</p>
<ol>
<li>Walker & visitor для Java-представления</li>
<li>Принтер Java-представления в XML-формат</li>
<li>Конструктор Java-представления по XML-описанию</li>
</ol> Retrascope - Task #4881 (New): Реализация алгоритма построения блок-схем по внутреннему представл...https://forge.ispras.ru/issues/48812014-05-05T04:26:46ZAlexander Kamkinaskamkin@gmail.com
<p>Реконструкция блок-схем по системам охраняемых действий (CGAA).</p> Retrascope - Task #4880 (New): Проектирование внутреннего представления для блок-схемhttps://forge.ispras.ru/issues/48802014-05-05T04:24:00ZAlexander Kamkinaskamkin@gmail.com
<p>Сущности, близкие к графу потока управления:</p>
<ol>
<li>Начальная вершина (begin)</li>
<li>Конечная вершина (end)</li>
<li>Вершина действия (action)</li>
<li>Вершина альтернативного ветвления (switch)</li>
<li>Вершина соединения альтернативных ветвей (merge)</li>
<li>Вершина создания параллельных потоков (fork)</li>
<li>Вершина соединения параллельных потоков (join)</li>
</ol> С++TESK Development Environment - Task #2059 (New): Использование разных цветов для выделения клю...https://forge.ispras.ru/issues/20592011-11-30T13:41:07ZAlexander Kamkinaskamkin@gmail.com
<p>Есть предложение, чтобы отличать ключевые слова С++ от макросов C++TESK, использовать разные цвета.</p> Veritool - Task #1185 (New): Инструментирование Verilog-кода и отслеживание покрытия по кодуhttps://forge.ispras.ru/issues/11852011-05-10T07:17:09ZAlexander Kamkinaskamkin@gmail.com
<p>Инструментирование Verilog-кода и отслеживание покрытия по коду.</p>
<p>Во все ветви (if, case и т.п.) должна быть добавлена трассировка достижения соответствующей тестовой ситуации.</p>
<p>1. Парсер - Icarus Verilog (flex+bison), внутреннее представление Verilog-кода есть у Димы.<br />2. Трассировка с помощью средств Aspectrace (есть C API, вокруг которого нужно написать обвязки для системных задач Verilog).</p>