Sergey Smolov

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 (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)

11:44 AM Retrascope Bug #9562 (New): ru.ispras.retrascope.engine.hldd.printer.smv.usedef.MemStageUseDefSmvPrinterTestCase: model checker crashes without errors in *.smvlog: ...

03:40 PM Retrascope Revision 430f6c4c (retrascope): test: reduce 'b05_part.vhd' to find bug: Signed-off-by: Sergey Smolov <smolov@ispras.ru>
11:33 AM Retrascope Revision 5eb2401e (retrascope): gradle: add EFSM building tests to 'shortTest': For debugging only; undo in future.
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
11:06 AM Retrascope Revision 36375d23 (retrascope): junit: EFSM building log parser fix: Signed-off-by: Sergey Smolov <smolov@ispras.ru>

04:44 PM Retrascope Revision 63d6fb84 (retrascope): debug write to separate dif EFSM building: Signed-off-by: Sergey Smolov <smolov@ispras.ru>

06:49 PM Retrascope Revision 8334744a (retrascope): rm exhaustive comment: Signed-off-by: Sergey Smolov <smolov@ispras.ru>
06:39 PM Retrascope Revision 2eae3f7f (retrascope): refactoring: extract & simplify internal methods: Signed-off-by: Sergey Smolov <smolov@ispras.ru>
06:22 PM Retrascope Revision 21457e60 (retrascope): bugfix in 'debugWrite' method: The null file case is processed.
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
05:58 PM Retrascope Revision 48372a4c (retrascope): refactoring; rename internal var: Signed-off-by: Sergey Smolov <smolov@ispras.ru>
12:24 PM Retrascope Revision 1da1de0d (retrascope): gadd-efsm: debug output for EFSM trnsn building: For some designs (b05, b11) EFSM transitions amounts
are non-deterministic. To fix this bug the additional
debug outp...

Also available in: Atom

Open-Source Projects