General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 08/12/2019

Issues

Projects

Activity

07/08/2019

03:46 PM MicroTESK Revision fb64f2b5 (microtesk): [mir,smt] Mir2Node: fix format string for array type
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
03:44 PM MicroTESK Revision d077113b (microtesk): [mir,nml] fix reverse mapping bv to boolean ops
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

06/16/2019

01:20 AM MicroTESK Revision 6c05d794 (microtesk): [symexec,mir] output SMT-based type for hwstate
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:19 AM MicroTESK Revision 0eeaca9b (microtesk): [mir,smt] Mir2Node.stringOf(MirTy) util
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:02 AM MicroTESK Revision 85ec78ac (microtesk): [symexec,mir] rebase SMT-condition var in output
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:36 PM MicroTESK Revision e24538b3 (microtesk): [mir,nml] nml2mir: preserve bv len in BVCONCAT lhs
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

06/15/2019

12:45 AM MicroTESK Revision 03c4f87c (microtesk): [mir,smt] always inc locals, keep pass-through mem
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
12:29 AM MicroTESK Revision 05bed2ae (microtesk): [symexec,smt] continuous numbering in smt output
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

06/14/2019

08:12 PM MicroTESK Revision eed67e0e (microtesk): [symexec,cfg] store hwstate mapping to SMT
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
08:08 PM MicroTESK Revision 9406eac1 (microtesk): [mir,pass] StoreAnalysis: open up mem state mod
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom