General

Profile

Pavel Putro

Issues

Projects

Activity

10/14/2019

04:07 AM Deductive Verification Tool for Machine Code Revision 9c92b708: Bug fixes
Pavel Putro

10/13/2019

03:09 AM Deductive Verification Tool for Machine Code Revision 8fa52fed: Add intermediate versions support
Pavel Putro

10/10/2019

02:09 AM Deductive Verification Tool for Machine Code Revision cd65d1e4: Fix memory binding and some other improvements
Pavel Putro
12:41 PM Deductive Verification Tool for Machine Code Wiki edit: Wiki (#5)
Pavel Putro
03:36 AM Deductive Verification Tool for Machine Code Wiki edit: Wiki (#4)
Pavel Putro
03:35 AM Deductive Verification Tool for Machine Code Wiki edit: Wiki (#3)
Pavel Putro
03:23 AM Deductive Verification Tool for Machine Code Wiki edit: Wiki (#2)
Pavel Putro

10/09/2019

02:15 AM Deductive Verification Tool for Machine Code Wiki edit: Wiki (#1)
Pavel Putro

10/06/2019

11:58 PM Deductive Verification Tool for Machine Code Revision ffafb4ed: bug fixes + json session saving
Pavel Putro

10/03/2019

05:45 PM Deductive Verification Tool for Machine Code Revision cda934bb: Stream-based targets generation
Pavel Putro

Also available in: Atom