General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 04/14/2019

Issues

Projects

Activity

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
08:06 PM MicroTESK Revision edaead5d (microtesk): [mir] Mir.Static: make public
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
08:05 PM MicroTESK Revision 06c9e4f5 (microtesk): [mir,nml] store hwstate in manifest
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom