General

Profile

Mikhail Lebedev

Issues

Projects

Activity

02/15/2018

04:46 PM Retrascope Revision 4fa87e0a (retrascope): [smv] Debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
04:46 PM Retrascope Revision a0484518 (retrascope): [smv] External specification printing added to HlddSmvPrinter.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
04:46 PM Retrascope Revision 7b042049 (retrascope): [smv] HLDD optimization added: multiple cases with the same resulting value are merged into one. Some debug & refactoring.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

11/01/2017

02:08 PM Retrascope Task #6472 (Resolved): b13.vhd: too long elaboration time

10/27/2017

03:16 PM Retrascope Revision c01b8646 (retrascope): Merge branch 'master' of https://forge.ispras.ru/git/retrascope
02:14 PM Retrascope Revision 867b1809 (retrascope): Some refactoring.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
01:47 PM Retrascope Revision f3ffecbd (retrascope): Merge branch 'master' of https://forge.ispras.ru/git/retrascope
01:07 PM Retrascope Revision 47ccb221 (retrascope): [smv] Some debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
01:07 PM Retrascope Revision 96b36217 (retrascope): [smv] Smv printer debug.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

10/12/2017

02:41 PM Retrascope Revision c496f507 (retrascope): [smv] Default BMC bound set to 1. Checkstyle warnings fixed.
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>

Also available in: Atom