General

Profile

Pavel Putro

Issues

Projects

Activity

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

01/10/2019

11:07 PM Deductive Verification Tool for Machine Code Revision 54e34dd3: Support loop invariants for -acsl-onl -produce-smt added
Pavel Putro

01/08/2019

05:20 PM Deductive Verification Tool for Machine Code Revision 67ed7ab3: Loop invariants extraction added
Pavel Putro

11/26/2018

09:18 PM Deductive Verification Tool for Machine Code Revision d54f52cb: RISC-V support added
Pavel Putro

Also available in: Atom