General

Profile

Pavel Putro

Issues

open closed Total
Assigned issues 1 3 4
Reported issues 2 8 10

Projects

Project Roles Registered on
Deductive Verification Tool for Machine Code Manager, Developer 10/11/2017
MicroTESK Developer 10/06/2017
MicroTESK for PowerPC Developer 10/21/2016
MicroTESK for RISC-V Developer 11/08/2019
Imperative HOL examples Manager, Developer, Reporter, Customer 03/11/2020

Activity

05/10/2021

03:36 PM Deductive Verification Tool for Machine Code Revision 918d2969: Eq classes part 1
Pavel Putro

04/13/2021

07:50 PM Deductive Verification Tool for Machine Code Revision e6c380a6: Add search for unreachable code
Pavel Putro

03/23/2021

04:17 PM MicroTESK Task #10764 (New): Поддержка алтернативного формата вывода SMT-LIB представления машинного кода
Для использования в рамках задачи SyGuS необходима поддержка формата вывода базовых блоков машинного кода в виде един... Pavel Putro

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

Also available in: Atom