Mikhail Lebedev

  • Email:
  • Registered on: 10/10/2012
  • Last connection: 08/09/2017

Projects

Activity

Reported issues: 12

09/11/2017

05:01 pm Retrascope Revision 3be91b79 (retrascope): Checkstyle warnings fixed.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

09/05/2017

04:20 pm Retrascope Revision 8961112f (retrascope): Some code formatting.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
03:24 pm Retrascope Revision baceaadc (retrascope): [smv] Model checking improvement: B08 state variable defined.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

09/04/2017

02:39 pm Retrascope Revision 40df7d58 (retrascope): [smv] Clock generation modified.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

09/01/2017

11:23 am Retrascope Revision 3a7f16a9 (retrascope): [smv] Model checking debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
11:22 am Retrascope Revision 4a052605 (retrascope): [smv] New clock assignments added.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
11:22 am Retrascope Revision 8e154033 (retrascope): [smv] Default branch printing fixed.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

08/22/2017

06:44 pm Retrascope Revision 668a3b69 (retrascope): [smv] Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

07/20/2017

01:47 pm Retrascope Revision 53d50621 (retrascope): [smv] Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

07/10/2017

03:11 pm Retrascope Revision bbcaa2ed (retrascope): [smv] Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom