General

Profile

Alexander Kamkin

Issues

Projects

Activity

01/29/2019

10:05 AM MicroTESK MicroTESK 2.4.45 released
The new release contains the following changes:
* Support for block-level register allocation constraints
* Chang...
Alexander Kamkin
09:58 AM MicroTESK microtesk-2.4.45-beta-190129.tar.gz
Alexander Kamkin

01/28/2019

11:17 AM MicroTESK Bug #9450 (Resolved): Неправильная последовательность бит в memory buffer
Alexander Kamkin

11/23/2018

01:35 PM MicroTESK Bug #9395: Symexecute не учитывает неявные преобразования типов в nml моделях
Согласен: нужно запретить на уровне парсера. Задачу пока не закрываем. Alexander Kamkin
12:15 PM MicroTESK Bug #9395: Symexecute не учитывает неявные преобразования типов в nml моделях
Нужно поправить спецификации. Неявные преобразования нежелательны. Alexander Kamkin
11:23 AM MicroTESK Bug #9395 (Open): Symexecute не учитывает неявные преобразования типов в nml моделях
Alexander Kamkin
12:16 PM MicroTESK Bug #9314 (Closed): Undesired behavior of situation('random', :size => 32, :sign_extend => true)
Alexander Kamkin
12:16 PM MicroTESK Bug #9336 (Closed): MicroTESK is not able to disassemble euclid binary (RISC-V)
Alexander Kamkin
12:16 PM MicroTESK Task #9338 (Closed): Instruction decoding hints
Alexander Kamkin
11:24 AM MicroTESK Bug #9364 (Open): Некорректная генерация smt-lib формул
Alexander Kamkin

Also available in: Atom