ML Mikhail Lebedev
- Login: lebedev_m
- Registered on: 10/10/2012
- Last sign in: 09/07/2026
Issues
| open | closed | Total | |
|---|---|---|---|
| Assigned issues | 8 | 54 | 62 |
| Reported issues | 3 | 41 | 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 |
| Track Finding Tools for NICA MPD | Developer | 07/21/2022 |
| Verilog Translator | Developer | 02/25/2015 |
Activity
05/22/2020
- ML 06:23 PM Verilog Translator Revision 689a2174 (veritrans): sva operations update
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/21/2020
- ML 03:09 PM Fortress Revision b1c24358 (solver-api): TypeRule made public
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/17/2020
- ML 05:59 PM Verilog Translator Revision 96a13de0 (veritrans): small fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/16/2020
- ML 04:13 PM Retrascope Bug #10336 (Verified): Incorrect ranges in vhdl/plasma/reg_bank.vhd
05/14/2020
- ML 07:32 PM Retrascope Bug #10336 (Closed): Incorrect ranges in vhdl/plasma/reg_bank.vhd
- @reg_bank@ design in plasma contains the following array variable:
- ML 07:15 PM Retrascope Revision 9f2e291f (retrascope): tests fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- ML 07:15 PM Retrascope Revision 39f47931 (retrascope): [smv] formula visitor bug fix
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
05/07/2020
- ML 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
- ML 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
- ML 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.