General

Profile

Mikhail Lebedev

Issues

Projects

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