General

Profile

Alexander Kamkin

Issues

Projects

Activity

11/23/2018

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

11/16/2018

01:30 PM MicroTESK MicroTESK 2.4.44 released
The new release contains the following changes:
* Support for separate-file sections (useful for boot generation)
...
01:28 PM MicroTESK microtesk-2.4.44-beta-181116.tar.gz
09:12 AM TestBase Task #7706 (Closed): SQLite-based storage backend

Also available in: Atom