General

Profile

Pavel Putro

Issues

Projects

Activity

10/14/2018

08:37 PM Deductive Verification Tool for Machine Code Revision 178d3ea2: Switch to ISPRAS versions of Why3 and Frama-C
04:44 PM Deductive Verification Tool for Machine Code Revision 5da9c7fd: Return old type system

09/07/2018

12:53 AM Deductive Verification Tool for Machine Code Revision d2797087: Lemmas and axioms support and tests added

09/06/2018

12:42 AM Deductive Verification Tool for Machine Code Revision c5336c0a: Restucted Acsl-Frama-C type system and some other improvements

08/10/2018

11:54 PM Deductive Verification Tool for Machine Code Revision 51c2b5a4: Abstract extract and concat added
09:59 PM Deductive Verification Tool for Machine Code Revision 25bb0b8c: Average test and bvand added

04/19/2018

02:38 AM Deductive Verification Tool for Machine Code Revision fd6a88b2: Pointers support added

04/05/2018

11:46 AM Deductive Verification Tool for Machine Code Revision bd6c66ca: Update tests

03/12/2018

09:18 PM Deductive Verification Tool for Machine Code Revision ec0d1926: div/mod/mul support and some tests added

02/26/2018

01:53 PM Deductive Verification Tool for Machine Code Revision 7b303c6c: Hide debug output, add -F cmd line option, more tests added

Also available in: Atom