General

Profile

Mikhail Lebedev

Issues

Projects

Activity

06/21/2018

02:35 PM Retrascope MC Benchmark Revision 27776936: Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

06/20/2018

06:44 PM Retrascope MC Benchmark Revision de17e24b: Some cgaa-graphml tests added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
06:02 PM Retrascope MC Benchmark Revision 5b81ee3a: More refactoring.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
04:42 PM Retrascope Revision 9bc04d8d (retrascope): [smv] BVNEG operation added to the SmvExprPrinter.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
03:34 PM Retrascope Revision e8630c90 (retrascope): [smv] Some SMV printer debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
03:17 PM Retrascope Bug #8971 (Verified): Wrong type RetrascopeException in VcegarMpegCfgGraphMlTestCase
02:58 PM Retrascope MC Benchmark Revision 764df7ae: Some renaming, javadoc comments added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

06/19/2018

07:07 PM Retrascope Bug #8974 (New): IllegalArgumentException in VcegarSdlxCfgGraphMlTestCase
This error appears in VcegarSdlxCfgGraphMlTestCase of the Retrascope-MC-Benchmark project.
Log:
@
java.lang.Illega...
07:03 PM Retrascope Bug #8973 (New): ClassCastException in VcegarPjIcuCfgGraphMlTestCase
This error appears in VcegarPjIcuCfgGraphMlTestCase of the Retrascope-MC-benchmark project.
Log:
@
java.lang.Class...
07:03 PM Retrascope MC Benchmark Revision 94d2f3c1: More cfg-graphml tests added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom