General

Profile

Sergey Smolov

Issues

Projects

Activity

05/19/2020

03:45 PM Fortress Revision da0e877c (solver-api): fix coding style issues
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov

05/16/2020

06:45 PM Fortress Task #10001 (Rejected): SMT-LIBv2 benchmarks
Sergey Smolov
06:42 PM Retrascope Revision 43c06840 (retrascope): junit: rm incorrect test case
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
06:39 PM Retrascope Revision 98d8a66b (retrascope): junit: refactoring
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
01:00 PM Castle Revision a59b64e7: refactoring: make internal field final
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
12:54 PM Retrascope Bug #10336 (Resolved): Incorrect ranges in vhdl/plasma/reg_bank.vhd
Sergey Smolov
12:51 PM Retrascope Revision 62674532 (retrascope): vhdl-parser: fix "wrong range num" bug (#10336)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov

05/14/2020

01:14 PM Retrascope Revision fb23b95c (retrascope): update authors
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov
01:07 PM Retrascope Revision 39de6847 (retrascope): junit: refactoring
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov

05/13/2020

09:35 PM Retrascope Revision 6fa6b8d5 (retrascope): junit: use getPath method (refactoring)
Signed-off-by: Sergey Smolov <smolov@ispras.ru> Sergey Smolov

Also available in: Atom