Mikhail Lebedev - Open-Source Projects

Mikhail Lebedev

Email: lebedev@ispras.ru
Registered on: 10/10/2012
Last connection: 09/25/2018

Issues

Assigned issues: 11
Reported issues: 25

Projects

QEMU4V (Developer, 05/15/2018)
Retrascope (Developer, 10/10/2012)
Retrascope MC Benchmark (Developer, 03/28/2018)
Retrascope IDE (Developer, 05/16/2014)
MicroTESK (Developer, 10/16/2017)
Fortress (Developer, 12/05/2012)

Activity

10/05/2018

05:50 PM Retrascope Revision dff7d059 (retrascope): [smv] command file option added to the SmvModelCheckerLauncher engine: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/04/2018

06:06 PM Retrascope Revision c5f2498f (retrascope): [hldd] added used variables search in invariants & initial values: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05:30 PM Retrascope Revision fb0c626d (retrascope): [hldd] unused variable removal option added: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/02/2018

05:19 PM Retrascope Revision e2dd7e43 (retrascope): [smv] initial expr printing debug: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/01/2018

03:27 PM Retrascope Revision 2b0dd7de (retrascope): rm unused import: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
03:21 PM Retrascope Revision edec8e55 (retrascope): [hldd] intermediate array item variables excluded from unused variables search results: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

09/27/2018

06:56 PM Retrascope Revision d7f99f05 (retrascope): [hldd] data type bug fixed: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
06:29 PM Retrascope Revision 50beaffc (retrascope): [hldd] index data type fix: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

09/17/2018

01:30 PM Retrascope Task #9280 (Resolved): prepare the code to 1.1.1 release: Should be fixed now.
01:29 PM Retrascope Revision ae706a75 (retrascope): checkstyle fix: Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom