General

Profile

Pavel Putro

Issues

Projects

Activity

01/08/2021

05:39 PM Deductive Verification Tool for Machine Code Revision fb169518: Switch to ocaml 4.10.0
Pavel Putro

01/04/2021

10:54 AM Deductive Verification Tool for Machine Code Revision a831a4ca: Add relation search
Pavel Putro

12/19/2020

11:18 PM Deductive Verification Tool for Machine Code Revision e3065d02: Add check for blocked blocks
Pavel Putro

11/30/2020

08:58 PM Deductive Verification Tool for Machine Code Revision 923b3f68: Improvements for memset example
Pavel Putro

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

Also available in: Atom