General

Profile

Artem Kotsynyak

  • Login: kotsynyak
  • Registered on: 06/19/2013
  • Last connection: 09/17/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

08/08/2021

02:08 PM MicroTESK Revision 19e189c1 (microtesk): Merge MIR-to-SMT translation improvements
Merge branch 'master' into mir-smt-fn
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak
02:02 PM MicroTESK Revision a7e965fd (microtesk): mir,smt: Mir2Node passes integer args to parametric BVROR/BVROL
Passing bit-vector args to parametric operations results in
type-checking errors in SMT-LIB.
Signed-off-by: Artem Ko...
Artem Kotsynyak

07/27/2021

08:42 PM MicroTESK Revision cccfcd12 (microtesk): Merge Disassembler/BinaryReader improvements into mir-smt-fn
Merge branch 'master' into mir-smt-fn
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru>
Artem Kotsynyak
07:05 PM MicroTESK Revision 0a5edf5d (microtesk): util: prevent BinaryReader.readPastEnd reading while past the end
Artem Kotsynyak
05:53 PM MicroTESK Revision e89827f6 (microtesk): util: BinaryReader.readPastEnd actually pads with values specified
Artem Kotsynyak
05:32 PM MicroTESK Revision 40b6b2ca (microtesk): disasm: fix decoding of mixed-size instruction stream
The decoder reads from the stream number of bytes equal to the
size of the largest instruction. When less than that n...
Artem Kotsynyak
05:32 PM MicroTESK Revision ef4bb64b (microtesk): utils: BinaryReader supports reading past end of the stream
Artem Kotsynyak
04:52 PM MicroTESK Revision 6ed2bf05 (microtesk): util: fix hidden bug in BinaryReader buffering
When a read request does not fit in the buffer, reading from the
stream overwrites the buffer resulting in the data l...
Artem Kotsynyak

06/30/2021

11:42 PM MicroTESK Revision 5282aa27 (microtesk): decoder: crop matching insn image to expected size
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak
11:33 PM MicroTESK Revision d0088970 (microtesk): decoder: crop matching insn image to expected size
Signed-off-by: Artem Kotsynyak <kotsynyak@ispras.ru> Artem Kotsynyak

Also available in: Atom