General

Profile

Alexander Kamkin

Issues

Projects

Activity

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
10:35 AM MicroTESK for RISC-V Wiki edit: Wiki (#5)
Alexander Kamkin

04/22/2020

10:18 PM Fortress Bug #10299 (Closed): Probably, a bug in BitVector.isAll{Set,Reset}
Does it work properly if the bit length is not multiple of 8?... Alexander Kamkin
10:13 PM Fortress Feature #5377 (Closed): Не поддерживается работа с несколькими CalculatorEngine
Alexander Kamkin

Also available in: Atom