Sergey Smolov
Sergey Smolov- Email: smolov@ispras.ru
- Registered on: 03/30/2011
- Last connection: 07/24/2019
Issues
- Assigned issues: 17
- Reported issues: 519
Projects
- VeriTool (Developer, 04/04/2011)
- C++TESK Testing ToolKit (Developer, 07/19/2011)
- С++TESK Development Environment (Manager, Developer, 09/07/2011)
- Retrascope (Manager, Developer, Project Creator, 04/12/2012)
- MicroTESK (Developer, 08/27/2012)
- Fortress (Manager, Developer, 09/19/2012)
- Retrascope RISC-V Benchmark (Manager, Developer, Project Creator, 12/19/2018)
- MicroTESK Training Course (Developer, 10/03/2013)
- TestBase (Developer, 02/25/2014)
- Retrascope IDE (Manager, Developer, Project Creator, 05/16/2014)
- QEMU for RISC-V (Manager, Developer, Project Creator, 02/01/2019)
- Java SoftFloat (Reporter, 10/03/2014)
- QEMU for ARMv8 (Manager, Developer, Project Creator, 06/19/2015)
- Castle (Manager, Developer, 01/12/2016)
- Trace Matcher (Manager, Developer, 11/01/2016)
- MicroTESK for RISC-V (Manager, Developer, Project Creator, 11/02/2017)
- Retrascope MC Benchmark (Manager, Developer, Project Creator, 03/28/2018)
- QEMU4V (Manager, Project Creator, 05/14/2018)
- MicroTESK for MIPS64 (Developer, 05/17/2018)
Activity
Today
-
09:23 AM Retrascope Feature #9767 (New): GraphML printers: use dashed (or dotted) arrows for Module->Module and Module->Process hierarchy dependencies
- For GraphML printers all the dependencies (including control flows and hierarchy) are shown as simple arrows. Hierarc...
07/23/2019
-
-
- The branch is merged into master so it should be removed from the repository.
-
-
- Outdated task. Rejected.
-
- Outdated task. Rejected.
-
- Outdated task. Rejected.
-
-
-
Also available in: Atom