Open-Source Projects

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