General

Profile

Alexander Kamkin

Issues

Projects

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