Mikhail Lebedev
Mikhail Lebedev- Email: lebedev@ispras.ru
- Registered on: 10/10/2012
- Last connection: 09/25/2018
Issues
- Assigned issues: 11
- Reported issues: 25
Projects
- QEMU4V (Developer, 05/15/2018)
- Retrascope (Developer, 10/10/2012)
- Retrascope MC Benchmark (Developer, 03/28/2018)
- Retrascope IDE (Developer, 05/16/2014)
- MicroTESK (Developer, 10/16/2017)
- Fortress (Developer, 12/05/2012)
Activity
12/10/2018
- 07:40 PM Retrascope MC Benchmark Revision 91d9cebb: hldd-spec-smv printer tests for vis added
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
12/06/2018
- 05:51 PM Retrascope MC Benchmark Revision edbb8f5b: added properties for VIS benchmark files
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
11/29/2018
- 08:07 PM Retrascope Revision ee65ec96 (retrascope): [hldd] use-def flags structure improved
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 06:34 PM Retrascope Revision 26d51585 (retrascope): [hldd][cgaa] ite conditions parsing added to cgaa-usedef-extractor, some refactoring & debug
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 03:12 PM Retrascope Revision 09e83ec7 (retrascope): [smv] use-def specifications amount decreased: specs constructed only for different processes
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 02:35 PM Retrascope Revision a5a30f42 (retrascope): fixed code format
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 02:08 PM Retrascope Revision 23d2962b (retrascope): [hldd] variable versions excluded from use/def search
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
11/28/2018
- 04:53 PM Retrascope Revision ebf8e2d8 (retrascope): [smv] some debug
- Signed-off-by: Mikhail Lebedev <lebedev@ispras.ru>
- 01:52 PM Retrascope Revision d150ef73 (retrascope): Merge branch 'master' into usedef.spec
- 01:38 PM Retrascope Revision a65c28c2 (retrascope): Merge branch 'master' into usedef.spec
Also available in: Atom