General

Profile

Alexander Kamkin

  • Login: kamkin
  • Email: askamkin@gmail.com
  • Registered on: 02/18/2010
  • Last connection: 05/07/2021

Issues

open closed Total
Assigned issues 133 419 552
Reported issues 109 623 732

Projects

Project Roles Registered on
Aspectrace Manager, Developer 07/06/2010
C++TESK Testing ToolKit Manager, Developer, Project Creator 04/15/2011
С++TESK Development Environment Manager, Developer 09/07/2011
Castle Manager, Developer, Project Creator 01/12/2016
CTESK Developer 07/09/2010
Deductive Verification Tool for Machine Code Manager 03/31/2020
Fortress Manager, Developer, Project Creator 09/12/2012
Functional Programming Developer 02/03/2020
Java SoftFloat Manager, Project Creator 10/03/2014
MicroTESK Manager, Developer, Project Creator 02/17/2011
MicroTESK Documentation Manager, Developer, Project Creator 12/16/2019
MicroTESK for MIPS Manager, Project Creator 11/08/2016
MicroTESK for Plasma Manager, Project Creator 10/06/2016
MicroTESK for PowerPC Manager, Project Creator 10/21/2016
MicroTESK for RISC-V Manager, Project Creator 10/24/2016
MicroTESK Training Course Manager, Developer, Project Creator 09/23/2013
Trace Matcher Manager, Project Creator 11/01/2016
Model Checking Manager, Developer, Project Creator 02/27/2020
QEMU4V Manager, Developer 05/15/2018
Retrascope Manager, Developer, Project Creator 04/11/2012
Retrascope IDE Manager, Developer, Project Creator 05/16/2014
Retrascope RISC-V Benchmark Manager, Developer, Project Creator 12/19/2018
Retrascope Test Suite Manager, Developer, Project Creator 03/28/2018
TestBase Manager, Developer, Project Creator 02/25/2014
Verilog Translator Manager, Developer, Project Creator 04/11/2012
Veritool Manager, Developer, Project Creator 06/29/2010
КМБ-2014 Developer 09/29/2014

Activity

12/29/2020

06:32 PM MicroTESK Bug #10653: MicroTESK mode: IsaPrimitive cannot be converted
@image = format("%s", mov_bug(MOV_OPCODE, vd, vs).image)@ -> @image = mov_bug(MOV_OPCODE, vd, vs).image@ Alexander Kamkin
04:09 PM MicroTESK Bug #10643 (Resolved): Некорректная диагностика: java.lang.IllegalArgumentException: null
Error message if a location type is null. Alexander Kamkin
03:29 PM MicroTESK Bug #10649 (Resolved): (let) java.lang.NullPointerException: null
Forward definitions are not allowed.
FIXED: if a constant is not found, the error is raised.
Alexander Kamkin

10/01/2020

10:46 AM Veritool Task #10507 (New): Introduce versions and close the resolved issues
I suggest (1) introducing versions (0.1, 0.2, etc.) to group delivery files and (2) closing the resolved issues. Alexander Kamkin
10:41 AM Veritool Bug #10506 (Resolved): Veritool does not support escaped identifiers
Veritool does not support escaped identifiers, such as \begin (see the standard). Alexander Kamkin
10:36 AM Veritool Wiki edit: Wiki (#24)
Alexander Kamkin

05/01/2020

10:38 AM MicroTESK for RISC-V Wiki edit: RISC-V_Instruction_Set (#49)
Alexander Kamkin
10:37 AM MicroTESK for RISC-V Wiki edit: Wiki (#8)
Alexander Kamkin
10:37 AM MicroTESK for RISC-V Wiki edit: Wiki (#7)
Alexander Kamkin
10:37 AM MicroTESK for RISC-V Wiki edit: Wiki (#6)
Alexander Kamkin

Also available in: Atom