Open-Source Projects

Today

11:23 AM Retrascope Test Suite Revision 681241eb: Test suite branch merge

Mikhail Lebedev

11:22 AM Retrascope Test Suite Revision 692604b0: test runner timeout fix for vcegar/icram

Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

09:48 AM Retrascope Task #10230 (Verified): Java version in README.md

Mikhail Lebedev

04/07/2020

03:33 PM Fortress Revision 7bda5d76 (solver-api): MapBasedPrinter: changed StandardOperation to Enum<?>

Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

12:38 PM Retrascope Task #10230 (Verified): Java version in README.md

README.md of Retrascope states that the tool needs JDK 1.8. This should be corrected to the actual version of JDK. Mikhail Lebedev

12:32 PM Retrascope Test Suite Task #10229 (Open): Handle $ND functions

There are many use cases of the non-standard $ND function in Texas97 benchmarks. Add the special Veritans option to t... Mikhail Lebedev

04/06/2020

06:36 PM Retrascope Revision 198530da (retrascope): [smv] invariants for continuous assignments added; some debug &

refactoring
Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

04:56 PM Retrascope Revision ba6d4168 (retrascope): [smv] added NoPhaseGaddFormulaVisitor, some refactoring

Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru> Mikhail Lebedev

04:45 PM Verilog Translator Bug #10202: SVA grammar warnings via assembling

No. If you look more carefully, there are also old warnings in VerilogParser. Mikhail Lebedev

04/03/2020

04:51 PM Verilog Translator Bug #10202: SVA grammar warnings via assembling

From the standard and because of the ANTLR features. Mikhail Lebedev