General

Profile

Pavel Putro

Issues

Projects

Activity

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

02/24/2020

02:27 AM Deductive Verification Tool for Machine Code Revision 257f3ac7: Add immutable variables searching
Pavel Putro

02/07/2020

12:44 AM Deductive Verification Tool for Machine Code Revision c29db339: Switch to loop_table usage
Pavel Putro

01/13/2020

05:27 PM MicroTESK for PowerPC Bug #7775 (Closed): Описание MMU инструкций
Pavel Putro
05:26 PM MicroTESK for PowerPC Task #7743 (Closed): Коммит 905af510: Sub instruction added
Pavel Putro

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

Also available in: Atom