Mikhail Lebedev

  • Email:
  • Registered on: 10/10/2012
  • Last connection: 04/27/2017

Projects

Activity

Reported issues: 12

02/21/2017

05:19 pm Retrascope Revision 282b8b5b (retrascope): [smv] Reset specifications improved: initial input values held until
reset.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>

01/24/2017

12:22 pm Retrascope Revision 7d59bdf3 (retrascope): [hldd] Some unused code removed.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>

01/23/2017

06:52 pm Retrascope Revision a4434d93 (retrascope): [hldd] Debug.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>

01/17/2017

05:53 pm Retrascope Revision adbea677 (retrascope): [hldd] Added events to edge expressions.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>
04:18 pm Retrascope Revision 11f19a02 (retrascope): [hldd] HLDD structure refactoring:
- HlddNode is now used as a base class for 3 other node types.
- Non-terminal node interface added.
- Some changes in...
04:18 pm Retrascope Revision e59df041 (retrascope): [hldd] Some changes & comments.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>
04:18 pm Retrascope Revision 1f3ce7ff (retrascope): [hldd] SMV visitors refactoring, some other changes. Tests pass.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>
04:18 pm Retrascope Revision 89f90d8e (retrascope): [hldd] HLDD refactoring & debugging. Problems with variable invar...
tests don't pass yet.
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>
04:14 pm Retrascope Revision 7a82fa71 (retrascope): [hldd] HlddModule & HlddProcess refactoring: cfg references remov...
Signed-off-by: Lebedev Mikhail Sergeevich <lebedev@ispras.ru>

01/12/2017

06:55 pm Retrascope Revision fe12c0b3 (retrascope): [hldd] HLDD structure refactoring:
- HlddNode is now used as a base class for 3 other node types.
- Non-terminal node interface added.
- Some changes in...

Also available in: Atom