General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 11/23/2018

Issues

Projects

Activity

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>

09/18/2018

12:21 PM Fortress Revision 56189b36 (solver-api): [solver,smt] SmtTextSolver: always parse model for array values
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

Also available in: Atom