General

Profile

Sergey Smolov

Issues

Projects

Activity

Today

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

03/21/2019

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>

03/20/2019

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

03/18/2019

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