General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 10/11/2019

Issues

Projects

Activity

10/14/2019

09:39 AM MicroTESK Revision 76f935f1 (microtesk): [mir,nml] partial op instantiation WIP
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
09:39 AM MicroTESK Revision faf87282 (microtesk): [mir] NmlIrTrans: make typeOf(Primitive) non-private
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

10/09/2019

12:35 PM MicroTESK Revision 957dffac (microtesk): [mir,smt] Mir2Node: inc only global's versions
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

10/07/2019

01:03 AM MicroTESK Revision fc14c4af (microtesk): [symexec,mir] non-overlapping variable numbering
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
12:45 AM MicroTESK Revision bc1cf904 (microtesk): [mir,pass] StoreAnalysis: respect lvalue access
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

10/03/2019

02:27 AM MicroTESK Bug #9787 (Feedback): Symexecute - некорректное восстановление 64-х битных чисел из памяти.
Artem Kotsynyak
02:26 AM MicroTESK Bug #9843 (Closed): MicroTESK версии mir игнорирует параметр binary-file-use-big-endian
После de573287 опция стала называться binary-file-big-endian Artem Kotsynyak
01:53 AM MicroTESK Revision 7b0148f7 (microtesk): [symexec,mir] respect in/out/max hwstate bindings
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:51 AM MicroTESK Revision 68a7a875 (microtesk): [mir,pass] StoreAnalysis: store accessed versions
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

09/08/2019

02:17 PM MicroTESK Revision 4d9d41ca (microtesk): [mir,io] MirParser: parse arbitrary sized ints
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom