General

Profile

Sergey Smolov

Issues

Projects

Activity

Today

03:40 PM Retrascope Revision 154a7a76 (retrascope): [CFG-CGAA Transformer] use ranged assignments at CGAA model
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
03:38 PM Retrascope Revision ba205243 (retrascope): [jUnit] add '--include-path' param
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
02:01 PM Retrascope Revision ca8fb26a (retrascope): [Testbench Printer] rm placeholders; migration to STG is complete
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
12:27 PM Fortress Revision 57d03f9b (solver-api): [Expression] cast non-int params to int
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
12:20 PM MicroTESK Task #9217 (Verified): Use 'ru.ispras.castle.codegen' package classes from Castle
12:19 PM MicroTESK Revision f4f2d31b (microtesk): [gradle] use Castle 0.1.1
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
11:46 AM Retrascope Revision dd032e15 (retrascope): refactoring: rm '%MODULE_NAME%' placeholder
Signed-off-by: Sergey Smolov <smolov@ispras.ru>

08/13/2018

06:32 PM Fortress Revision f4cfd9a0 (solver-api): [expression] return empty array when no params
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
05:46 PM Fortress Feature #9123 (Resolved): calculate DataType for 'BVEXTRACT(i, i, x)' NodeOperation objects
Non-constant but equal parameters of parametric operations (BVEXTRACT, SELECT, etc.) are now treated as zeros.
05:37 PM Fortress Revision 77043c0b (solver-api): fixup
Signed-off-by: Sergey Smolov <smolov@ispras.ru>

Also available in: Atom