General

Profile

Mikhail Lebedev

  • Login: lebedev_m
  • Email: lebedev@ispras.ru
  • Registered on: 10/10/2012
  • Last connection: 07/02/2021

Issues

open closed Total
Assigned issues 10 52 62
Reported issues 5 39 44

Projects

Project Roles Registered on
Castle Developer 04/06/2020
Fortress Developer 12/05/2012
MicroTESK Developer 10/16/2017
MicroTESK Documentation Developer 12/16/2019
QEMU4V Developer 05/15/2018
Retrascope Developer 10/10/2012
Retrascope IDE Developer 05/16/2014
Retrascope RISC-V Benchmark Developer 12/19/2018
Retrascope Test Suite Developer 03/28/2018
Verilog Translator Developer 02/25/2015

Activity

05/22/2020

06:23 PM Verilog Translator Revision 689a2174 (veritrans): sva operations update
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

05/21/2020

03:09 PM Fortress Revision b1c24358 (solver-api): TypeRule made public
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

05/17/2020

05:59 PM Verilog Translator Revision 96a13de0 (veritrans): small fix
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

05/16/2020

04:13 PM Retrascope Bug #10336 (Verified): Incorrect ranges in vhdl/plasma/reg_bank.vhd
Mikhail Lebedev

05/14/2020

07:32 PM Retrascope Bug #10336 (Verified): Incorrect ranges in vhdl/plasma/reg_bank.vhd
@reg_bank@ design in plasma contains the following array variable:... Mikhail Lebedev
07:15 PM Retrascope Revision 9f2e291f (retrascope): tests fix
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev
07:15 PM Retrascope Revision 39f47931 (retrascope): [smv] formula visitor bug fix
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

05/07/2020

05:39 PM Retrascope Revision 8f44c5c1 (retrascope): [smv] Test suites created for model checker launching tests; some
package reorganization; other refactoring
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
Mikhail Lebedev

05/06/2020

04:31 PM Retrascope Revision 5556cde4 (retrascope): [smv] HlddSmvPrinterTestCase replaced by test suites, refactoring of other hldd-smv printing tests
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

04/21/2020

04:41 PM Retrascope Bug #10289 (Resolved): ru.ispras.retrascope.engine.hldd.printer.smv.property.HlddPropertySmvPrinterTestCase.runTest: java.lang.OutOfMemoryError: Java heap space
Test suite rewritten. Mikhail Lebedev

Also available in: Atom