Mikhail Lebedev
- Email: lebedev@ispras.ru
- Registered on: 10/10/2012
- Last connection: 02/25/2021
Issues
- Assigned issues: 10
- Reported issues: 44
Projects
- MicroTESK Documentation (Developer, 12/16/2019)
- Retrascope (Developer, 10/10/2012)
- Fortress (Developer, 12/05/2012)
- Retrascope RISC-V Benchmark (Developer, 12/19/2018)
- Retrascope IDE (Developer, 05/16/2014)
- Verilog Translator (Developer, 02/25/2015)
- MicroTESK (Developer, 10/16/2017)
- Retrascope Test Suite (Developer, 03/28/2018)
- QEMU4V (Developer, 05/15/2018)
- Castle (Developer, 04/06/2020)
Activity
05/22/2020
-
06:23 PM Verilog Translator Revision 689a2174 (veritrans): sva operations update
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/21/2020
-
03:09 PM Fortress Revision b1c24358 (solver-api): TypeRule made public
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/17/2020
-
05:59 PM Verilog Translator Revision 96a13de0 (veritrans): small fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/16/2020
-
04:13 PM Retrascope Bug #10336 (Verified): Incorrect ranges in vhdl/plasma/reg_bank.vhd
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:...
-
07:15 PM Retrascope Revision 9f2e291f (retrascope): tests fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
-
07:15 PM Retrascope Revision 39f47931 (retrascope): [smv] formula visitor bug fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
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>
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>
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.
Also available in: Atom