General

Profile

Pavel Putro

Issues

Projects

Activity

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

04/14/2020

02:10 AM Deductive Verification Tool for Machine Code Revision 3cb6734c: Pass nested loop test
Pavel Putro

04/09/2020

02:11 AM Deductive Verification Tool for Machine Code Revision 0c333bb4: New session format
Pavel Putro

04/06/2020

02:06 AM Deductive Verification Tool for Machine Code Revision 27942aff: New combine_blocks algorithm
Pavel Putro

03/31/2020

11:34 PM Deductive Verification Tool for Machine Code Revision 6430f269: Improve mutables checking
Pavel Putro

03/15/2020

12:27 AM Deductive Verification Tool for Machine Code Revision dd8bece3: fix stack binding
Pavel Putro
11:48 PM Deductive Verification Tool for Machine Code Revision 2a37e721: New loop naming system
Pavel Putro

Also available in: Atom