General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 05/10/2021

Issues

open closed Total
Assigned issues 25 70 95
Reported issues 3 7 10

Projects

Project Roles Registered on
Castle Developer 04/06/2020
Fortress Developer 06/19/2013
Java SoftFloat Reporter 10/03/2014
MicroTESK Developer 06/19/2013
MicroTESK Documentation Developer 12/16/2019
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

05/09/2021

12:12 AM MicroTESK Bug #10832: Parser allows bit vector extraction of array types
Минимальный пример для воспроизведения ошибки:... Artem Kotsynyak

05/08/2021

02:43 AM Fortress Revision 7bf3b819 (solver-api): smt: exercise in pretty printing LISP
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

05/07/2021

10:17 PM Fortress Revision 23cd79e1 (solver-api): smt: extract named functions
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

05/06/2021

02:19 PM MicroTESK Revision 98795e17 (microtesk): symexec: store branching status in State
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:47 PM MicroTESK Revision 1e093763 (microtesk): build: pin branch to release and Fortress version
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:43 PM Fortress Revision 75b6fdc0 (solver-api): build: pin branch to release
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
12:48 PM Fortress Revision 50427916 (solver-api): types: fix toString() for bit vectors
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
10:55 AM MicroTESK Revision 9432b3c6 (microtesk): symexec: bind constants (zero) to free variables
Free variables are uninitialized values from env,
which are not represented in State
Signed-off-by: Artem Kotsynyak ...
Artem Kotsynyak
10:54 AM MicroTESK Revision 9146fa1d (microtesk): mir: collect free variables during let-translation
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
01:52 AM MicroTESK Revision 80c09e8f (microtesk): mir: naively resolve deps between vars
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom