atomic-all-nighters

static context checking for kernel codebases

Name		Name	Last commit message	Last commit date
Latest commit History 54 Commits
basecode		basecode
latex		latex
.gitignore		.gitignore
Ast.hs		Ast.hs
Attributes.hs		Attributes.hs
Check.hs		Check.hs
Constraints.hs		Constraints.hs
Main.hs		Main.hs
Makefile		Makefile
README		README
README.md		README.md
Rules.hs		Rules.hs
aan.h		aan.h
banana-bowl.c		banana-bowl.c
contravariant.c		contravariant.c
covariant.c		covariant.c
get_language_c.sh		get_language_c.sh
list_includes.sh		list_includes.sh
noob.c		noob.c
onion-grill.c		onion-grill.c
onion-station.c		onion-station.c
todo.txt		todo.txt
union.c		union.c

Provide feedback