General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 03/11/2024

Issues

open closed Total
Assigned issues 29 73 102
Reported issues 3 7 10

Projects

Project Roles Registered on
Castle Developer 04/06/2020
Formal Methods Developer 10/11/2021
Fortress Developer 06/19/2013
Java SoftFloat Reporter 10/03/2014
MicroTESK Developer 06/19/2013
MicroTESK Documentation Developer 12/16/2019
MicroTESK for ARM Demo Developer 03/17/2023
MicroTESK for MIPS Developer 11/08/2016
MicroTESK for PowerPC Developer 10/21/2016
MicroTESK for RISC-V Developer 07/17/2018
MicroTESK Training Course Developer 10/03/2013
Model Checking Developer 02/27/2020
QEMU4V Developer 05/15/2018
TestBase Manager, Developer 02/25/2014

Activity

12/27/2023

10:52 PM MicroTESK Revision 9c0ae0fc (microtesk): nml,mir: update translation of shift-family operations
- always treat shift amount as an unsigned integer
- shift by amount modulo target size when appropriate
- coerce shi...
Artem Kotsynyak

12/21/2023

12:19 AM MicroTESK Revision 81960028 (microtesk): symexec,json: add the size of imported insns to the JSON output
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

12/20/2023

06:06 PM MicroTESK Revision 2ff49332 (microtesk): symexec,json: add the size of imported insns to the JSON output
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
05:58 PM MicroTESK Revision 80ffeb32 (microtesk): symexec,smt: restore the functional SMT form for non-split BBs
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
05:29 PM MicroTESK Revision bc223fd8 (microtesk): symexec,smt: always reference output variables in the SMT
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
05:13 PM MicroTESK Revision 49096f90 (microtesk): symexec: avoid adding past-the-end insn ranges to BB parts
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

12/01/2023

11:15 PM MicroTESK Revision 926a72b5 (microtesk): symexec: add an option to exclude instructions in the SMT
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

11/04/2023

01:15 AM MicroTESK Revision efd9d2e2 (microtesk): mir: use the correct bit-width in Constant.zeroExtend()
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

10/03/2023

01:30 PM MicroTESK Revision fdb6c6a3 (microtesk): mir,smt: simplify Map operations in Mir2Node
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:23 PM MicroTESK Revision 0bacfa83 (microtesk): mir,smt: translate ids of locals to SMT using total number of locals
Previously, local ids were rebased using the maximum id number
encountered during translation. The implementation bas...
Artem Kotsynyak

Also available in: Atom