General

Profile

Sergey Smolov

Issues

Projects

Activity

06/22/2020

01:06 PM Verilog Translator Bug #10382 (Resolved): java.lang.IllegalArgumentException: expression=(BVREPEAT test.uut._saxi_maskwidth 1)
Sergey Smolov
01:04 PM Verilog Translator Revision cd3bd605 (veritrans): bugfix (#10382)
Add rule for BVEXTRACT operation.
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
Sergey Smolov

06/18/2020

09:09 AM Verilog Translator Revision ff8ec5fa (veritrans): test: jUnit test case (#10382)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
09:09 AM Verilog Translator Bug #10382: java.lang.IllegalArgumentException: expression=(BVREPEAT test.uut._saxi_maskwidth 1)
Run *ru.ispras.verilog.parser.sample.Bug10382TestCase* to reproduce the bug. Sergey Smolov
09:07 AM Verilog Translator Bug #10382 (Resolved): java.lang.IllegalArgumentException: expression=(BVREPEAT test.uut._saxi_maskwidth 1)
... Sergey Smolov

06/11/2020

01:21 PM Fortress Task #10002 (Open): get Boolector solver from server as dependency
Boolector's build for Windows does not work properly. Sergey Smolov

06/09/2020

08:19 AM Fortress Revision 1de66bcb (solver-api): gradle: Boolector fixup (#10002)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov

06/08/2020

07:22 PM Fortress Task #10002 (Resolved): get Boolector solver from server as dependency
Fixed in _boolector-solver-integrating_ branch. Sergey Smolov
07:13 PM Fortress Revision b5c56f0c (solver-api): gradle: get Boolector from repo (#10002)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
04:56 PM Fortress Bug #10370 (New): class ru.ispras.fortress.solver.constraint.Formulas cannot be cast to class ru.ispras.fortress.solver.constraint.Sat4jFormula
68 test cases fall with the stack trace:... Sergey Smolov

Also available in: Atom