General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 11/28/2022

Issues

open closed Total
Assigned issues 31 70 101
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 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/02/2022

12:21 PM MicroTESK Revision cb3e9bda (microtesk): mir: fix NPE during translation to MIR
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

11/28/2022

12:19 AM MicroTESK Revision fc631f22 (microtesk): mir,opt: consider LHS when calculating reachable set of locals
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

11/27/2022

02:02 AM Fortress Revision e01bea1c (solver-api): expr: an implementation of iterative depth-first traversal
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

11/25/2022

01:31 PM MicroTESK Revision 076ee126 (microtesk): decoder: avoid allocating TempVars in decoder when not required
Fixes performance and memory usage issues during decoding
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak
01:31 PM MicroTESK Revision 5a73e6f0 (microtesk): decoder: explicitly enumerate expected sources of images
Add an enum describing image sources
Avoid dependencies on the condition evaluation order
Merge duplicated branch con...
Artem Kotsynyak

11/23/2022

09:26 PM MicroTESK Revision 0ca9722e (microtesk): mir: adjust MIR parser to support attributes
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
09:26 PM MicroTESK Revision d9f253e7 (microtesk): mir,pass: disable inlining of 'noinline' functions
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
09:26 PM MicroTESK Revision a7523112 (microtesk): mir,nml: zero-extend nML array indices to match MIR array types
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
09:26 PM MicroTESK Revision e51b68a2 (microtesk): mir,smt: extend and open SMT-builder interface
Rename CompiledNodes to FunctionBuilder
Make translation routines public
Support custom state structure fields and ov...
Artem Kotsynyak
09:26 PM MicroTESK Revision aa66d1b9 (microtesk): symexec: use NmlToSmtTranslator to build SMT-LIB functions
Fixes incorrect SMT-LIB output when library functions are in use
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak

Also available in: Atom