Mikhail Lebedev
Mikhail Lebedev- Email: lebedev@ispras.ru
- Registered on: 10/10/2012
- Last connection: 05/10/2018
Issues
- Assigned issues: 5
- Reported issues: 17
Projects
- QEMU4V (Developer, 05/15/2018)
- Retrascope MC Benchmark (Developer, 03/28/2018)
- Retrascope IDE (Developer, 05/16/2014)
- Retrascope (Developer, 10/10/2012)
- MicroTESK (Developer, 10/16/2017)
- Fortress (Developer, 12/05/2012)
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