General

Profile

Mikhail Mandrykin

Issues

Projects

Activity

08/14/2018

08:57 PM Deductive Verification Tools for Linux Kernel Revision c30cbd1f (jessie2): Added __memcpy to jessie_spec_prolog
08:57 PM Deductive Verification Tools for Linux Kernel Revision f1854ccc (jessie2): Added support for memdup and kmemdup
08:57 PM Deductive Verification Tools for Linux Kernel Revision d7659c9c (jessie2): Restricted logic struct abbreviation expansion to structs and nested arrays (no toplevel arrays due to conflict with pointers)
08:48 PM Deductive Verification Tools for Linux Kernel Revision 8c5d3157 (jessie2): Added __memcpy to jessie_spec_prolog
08:48 PM Deductive Verification Tools for Linux Kernel Revision 00f37377 (jessie2): Added support for memdup and kmemdup
08:45 PM Deductive Verification Tools for Linux Kernel Revision b761e90a (jessie2): Restricted logic struct abbreviation expansion to structs and nested arrays (no toplevel arrays due to conflict with pointers)
05:51 PM Deductive Verification Tools for Linux Kernel Revision 2e77cede (jessie2): Used variable MORE_GENERATED to list all generated files in Makefile
05:48 PM Deductive Verification Tools for Linux Kernel Revision 448c2980 (jessie2): Used variable MORE_GENERATED to list all generated files in Makefile

08/13/2018

05:24 PM VerKer - Verification of Linux Kernel Library Functions Revision 65f11600 (verker): Added forgotten .h file to CI and restored session for strnlen.h
05:12 PM VerKer - Verification of Linux Kernel Library Functions Revision 53a0a326 (verker): Ported strpbrk to lemma functions. Thus finished porting the verified part to lemma functions

Also available in: Atom