General

Profile

Mikhail Lebedev

Issues

Projects

Activity

04/17/2019

03:51 PM Retrascope MC Benchmark Revision 8a91c84c: test debug
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev
12:24 PM Retrascope MC Benchmark Revision 1c11461d: Texas97/PPC60X_bus Verilog update
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

04/16/2019

03:09 PM Retrascope MC Benchmark Revision df70d790: "Hldd" suffix removed from formula-based test names
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev
02:40 PM Retrascope MC Benchmark Revision f73ad78f: Some temporal changes in Verilog files for type compatibility
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev
02:14 PM Retrascope Revision ab218b94 (retrascope): [smv] use-def collection refactor; some comments added
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev
01:32 PM Retrascope MC Benchmark Bug #9595 (Verified): IllegalArgumentException in vis/Field/Field5.v
Mikhail Lebedev

04/12/2019

02:17 PM Retrascope MC Benchmark Bug #9595: IllegalArgumentException in vis/Field/Field5.v
... Mikhail Lebedev
02:15 PM Retrascope MC Benchmark Bug #9595 (Closed): IllegalArgumentException in vis/Field/Field5.v
IllegalArgumentException detected in VIS field5.v benchmark module:... Mikhail Lebedev
02:07 PM Retrascope MC Benchmark Revision 5bf3266d: some new tests added
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

04/10/2019

05:47 PM Retrascope Revision dad6086c (retrascope): [smv] small fixes
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

Also available in: Atom