General

Profile

Pavel Putro

Issues

Projects

Activity

11/26/2020

10:59 AM Deductive Verification Tool for Machine Code Revision f581e79d: Start equivalence checking project
Pavel Putro

11/10/2020

12:06 PM MicroTESK Bug #10566 (New): Отсутствует поддержка тернарного оператора в mir
Наличие тернарного оператора в NML модели приводит к падению при выполнении команды symexecute. Pavel Putro

11/02/2020

12:38 PM Deductive Verification Tool for Machine Code Revision fa958b7e: Begining of stack and heap separation
Pavel Putro

07/30/2020

10:42 PM Deductive Verification Tool for Machine Code Revision 75f7e1de: Add parameter for jobs number
Pavel Putro

07/24/2020

09:43 PM Deductive Verification Tool for Machine Code Revision 97027c4b: Added parallel execution of solver runs
Pavel Putro

07/20/2020

01:42 PM Deductive Verification Tool for Machine Code Revision ba7b3269: add parmap
Pavel Putro

04/29/2020

08:31 PM Deductive Verification Tool for Machine Code Revision 708cef72: add final report generation
Pavel Putro

04/22/2020

01:59 AM Deductive Verification Tool for Machine Code Revision a4eb86c1: Memscan proved!
Pavel Putro

04/21/2020

02:03 AM Deductive Verification Tool for Machine Code Revision 8d06c5ce: memmove and memcmp added
Pavel Putro

04/19/2020

12:57 AM Deductive Verification Tool for Machine Code Revision be7f1451: \at(_,Pre) support and memchr test pass
Pavel Putro

Also available in: Atom