General

Profile

Artem Kotsynyak

  • Registered on: 06/19/2013
  • Last connection: 09/18/2018

Issues

Projects

Activity

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>

08/28/2018

05:23 PM MicroTESK Revision 36f053c0 (microtesk): [mir,nml] support branch translation
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
05:22 PM MicroTESK Revision 91c8b754 (microtesk): [mir] MirBlock: branch utils
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
05:21 PM MicroTESK Revision e7a5250c (microtesk): [mir] branch insn
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

08/08/2018

04:36 PM MicroTESK Revision 0cb72b82 (microtesk): [mir] make MirContext shared in MirBlock
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

08/07/2018

05:19 PM MicroTESK Revision a066f00a (microtesk): [mir] NmlIrTrans: remove default in switch
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
05:17 PM MicroTESK Revision a4a938b3 (microtesk): [mir] standalone MirContext
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

08/04/2018

09:32 PM MicroTESK Revision 721e3e83 (microtesk): [mir] insn Concat
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

08/03/2018

10:14 PM MicroTESK Revision 57e4f0d6 (microtesk): [mir] insn Extract
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

07/31/2018

12:10 AM MicroTESK Revision 81bcb582 (microtesk): [mir,nml] make context bb-specific
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>

Also available in: Atom