General

Profile

Pavel Putro

Issues

Projects

Activity

07/13/2019

12:04 PM Deductive Verification Tool for Machine Code Revision 449b8251: New CFG format support patch 1
Pavel Putro

05/14/2019

07:21 PM Deductive Verification Tool for Machine Code Revision 49a5f1ef: Add search for local vars positions
Pavel Putro

05/01/2019

01:24 AM Deductive Verification Tool for Machine Code Revision 830f8489: Template generation for searching locals
Pavel Putro

04/17/2019

11:27 PM Deductive Verification Tool for Machine Code Revision 68e28f83: Change memeq definition strategy
Pavel Putro

03/26/2019

10:15 PM Deductive Verification Tool for Machine Code Revision 24c07099: Library for proving code with loops
Pavel Putro

02/16/2019

01:39 PM Deductive Verification Tool for Machine Code Revision 3cf148c7: Valid pointer align for risc-v added
Pavel Putro

01/28/2019

12:08 AM Deductive Verification Tool for Machine Code Revision 7c3f3709: delete Why3modules clone
Pavel Putro
11:59 PM Deductive Verification Tool for Machine Code Revision 22228212: Memory binding function added
Pavel Putro

01/26/2019

02:14 AM Deductive Verification Tool for Machine Code Revision 61b0dfff: Translation 64-bit args and locals to smt added
Pavel Putro

01/25/2019

03:49 PM Deductive Verification Tool for Machine Code Revision 5401e3dd: x64 Support at Why3 and other improvemets
Pavel Putro

Also available in: Atom