General

Profile

Pavel Putro

Issues

Projects

Activity

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

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

Also available in: Atom