verker

Some Linux kernel library functions formally verified.

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
ctype.h		ctype.h
kernel_definitions.h		kernel_definitions.h
kstrbool.c		kstrbool.c
kstrbool.h		kstrbool.h
memchr.c		memchr.c
memchr.h		memchr.h
memcpy.c		memcpy.c
memcpy.h		memcpy.h
memscan.c		memscan.c
memscan.h		memscan.h
memset.c		memset.c
memset.h		memset.h
skip_spaces.c		skip_spaces.c
skip_spaces.h		skip_spaces.h
strcspn.c		strcspn.c
strcspn.h		strcspn.h
strlen.c		strlen.c
strlen.h		strlen.h
strnlen.c		strnlen.c
strnlen.h		strnlen.h
strspn.c		strspn.c
strspn.h		strspn.h

Provide feedback