General

Profile

Sergey Smolov

Issues

Projects

Activity

12/17/2020

10:59 AM QEMU4V Wiki edit: Installation (#34)
Sergey Smolov

12/16/2020

06:11 PM QEMU4V Task #10611 (Resolved): migrate to QEMU 5.2.0
Sergey Smolov
06:09 PM QEMU4V Revision a7f8cb33 (qemu4v): build.gradle: adapt to QEMU 5.2.0 (#10611)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
04:56 PM QEMU4V Wiki edit: Installation (#33)
Sergey Smolov

12/14/2020

05:44 PM QEMU4V Wiki edit: Installation (#32)
Sergey Smolov
05:08 PM QEMU4V Task #10611 (Open): migrate to QEMU 5.2.0
Sergey Smolov

12/04/2020

10:34 AM QEMU4V Task #10611 (Resolved): migrate to QEMU 5.2.0
Changes: https://wiki.qemu.org/ChangeLog/5.2
This QEMU version has significanly-changed build system so careful mi...
Sergey Smolov

10/30/2020

04:35 PM Retrascope Revision a87efb8e (retrascope): smv-test-parser: check if inputs are empty
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
04:33 PM Retrascope Revision 828cd81c (retrascope): junit: comment out some falling tests for future
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
04:27 PM Retrascope Task #5150: Обработка функций - реализация макроподстановок
Related tests can be found at VhdlSmvTestParserTestSuite (minimips/rom.vhd) Sergey Smolov

Also available in: Atom