General

Profile

Mikhail Lebedev

Issues

Projects

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