Sergey Smolov

  • Email:
  • Registered on: 03/30/2011
  • Last connection: 07/21/2017

Projects

Activity

Reported issues: 501

07/21/2017

07:18 pm Retrascope Revision 2be0de74 (retrascope): [efsm][assert] bugfix: ignore phase variables
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
07:16 pm Retrascope Revision aef20cd8 (retrascope): [cgaa][efsm] pass phase var metainfo to EFSM model
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
06:49 pm Retrascope Feature #8305 (Resolved): EFSM state limit
Done in commit:c80e6fb1
06:46 pm Retrascope Revision c80e6fb1 (retrascope): [cgaa][efsm] EFSM state limit param; no stabilize
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
03:29 pm Retrascope Revision d0c2ca3e (retrascope): [model] method that returns top level parent for the stmt
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
02:42 pm Retrascope Revision 80fe04ca (retrascope): [model] convenience declaration search method
Signed-off-by: Sergey Smolov <smolov@ispras.ru>
11:31 am Retrascope Feature #8304 (Rejected): SLR values number limit
Substituted by #8305
11:31 am Retrascope Feature #8305 (Resolved): EFSM state limit
The command line parameter for CGAA_to-EFSM transformer.
The parameter is used in the transformer as follows:
When ...

07/20/2017

07:17 pm Retrascope Feature #8304 (Rejected): SLR values number limit
A new command line parameter for CGAA_to-EFSM transformer. It takes integer value (16 by default).
If the number o...
12:41 pm Retrascope Revision 1aee4107 (retrascope): [cgaa][efsm] update EFSM extraction statistics
Signed-off-by: Sergey Smolov <smolov@ispras.ru>

Also available in: Atom