General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 12/25/2018

Issues

Projects

Activity

01/14/2019

12:19 AM Fortress Revision 93d85cbe (solver-api): [util] Pair: convenient creation
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

11/25/2018

02:58 AM MicroTESK Revision 9cfc0228 (microtesk): [mir] type system impl
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
04:22 PM MicroTESK Revision 514e0781 (microtesk): [mir,nml] add missing sext, zext, extract mappings
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
03:41 PM MicroTESK Revision ef15903f (microtesk): [mir,nml] implement basic instruction mapping
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
03:23 PM MicroTESK Revision 51055629 (microtesk): [mir] split zext and sext instructions
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
12:30 PM MicroTESK Revision 41173ed0 (microtesk): [mir] rework existing Opcodes into split enums using BinOpcode
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
12:07 PM MicroTESK Revision b79fbd6e (microtesk): [mir] make literals independent of Data
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

11/24/2018

08:51 PM MicroTESK Revision 3b89441d (microtesk): [mir] local type system sketch
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
08:50 PM MicroTESK Revision dc8acaf8 (microtesk): [mir,nml] implement translation entry point
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

11/08/2018

02:18 AM MicroTESK Revision 003da260 (microtesk): [symexec] search for missing decoded type info
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

Also available in: Atom