General

Profile

Mikhail Lebedev

Issues

Projects

Activity

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

Also available in: Atom