Mikhail Lebedev
Mikhail Lebedev- Email: lebedev@ispras.ru
- Registered on: 10/10/2012
- Last connection: 07/13/2018
Issues
- Assigned issues: 8
- Reported issues: 23
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
08/13/2018
- 03:07 PM Retrascope MC Benchmark Task #9216 (Resolved): remove tests for Verilog Translator from project
- 03:02 PM Retrascope MC Benchmark Bug #9204 (Verified): Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException
- 02:59 PM Retrascope MC Benchmark Revision 0b4da49f: veritrans tests removed
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
08/10/2018
- 03:57 PM Retrascope Revision 2f44d4f1 (retrascope): [smv] bvxorr operation debug.
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 03:47 PM Retrascope MC Benchmark Bug #9205: Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
- Caused by:
@(BVEXTRACT 00000000000000000000000000000111 00000000000000000000000000000111 m1.TaskReq)@ - 03:38 PM Retrascope MC Benchmark Bug #9205: Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
- The same exception in Texas97PciAbnormHlddSmvPrinterTestCase:...
- 03:36 PM Retrascope MC Benchmark Bug #9205 (New): Texas97PciNormHlddSmvPrinterTestCase: IllegalStateException
- ...
- 03:32 PM Retrascope MC Benchmark Bug #9204 (Closed): Texas97IFetchCfgGraphMlTestCase: IllegalArgumentException
- ...
- 03:24 PM Retrascope MC Benchmark Revision b8bd5551: Refactoring, more tests added.
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 11:46 AM Retrascope MC Benchmark Bug #9203 (Resolved): ru.ispras.retrascope.basis.HlddAssertSmvTestbenchBenchmarkTest.runTest: java.lang.IllegalArgumentException: 'benchmarks' field is not initialized.
Also available in: Atom