Skip to content
static context checking for kernel codebases
C Haskell Assembly C++ Shell
Find file
Failed to load latest commit information.
basecode fix an unnanotated function in the basecode Dec 15, 2011
latex change back to lambdas and add effect synthesis Apr 9, 2013
.gitignore Initial commit Oct 30, 2012
Ast.hs add hs files Nov 13, 2011
Attributes.hs
Check.hs Fix inject bug and prepare to constant fold constraints Feb 1, 2013
Constraints.hs Fix inject bug and prepare to constant fold constraints Feb 2, 2013
Main.hs print constraints Dec 24, 2012
Makefile Fix inject bug and prepare to constant fold constraints Feb 2, 2013
README
README.md Initial commit Oct 30, 2012
Rules.hs fix annotation effect compare bug Dec 14, 2011
aan.h finish README and rename int_handler -> exit_and_sleep Dec 10, 2011
banana-bowl.c Fix one problem but not all problems (re: replaceVars anda checkAttrs) Feb 1, 2013
contravariant.c update test cases Nov 21, 2011
covariant.c update test cases Nov 21, 2011
get_language_c.sh add get_language_c Dec 10, 2011
list_includes.sh add assorted files - aan.h list_includes and README Dec 10, 2011
noob.c Add replaceVars when a symbolic function becomes concrete. Doesn't se… Jan 30, 2013
onion-grill.c add more test cases Dec 10, 2011
onion-station.c
todo.txt fix verifyassign, and crap; SContext should be (R,[E]) not (Context,[E]) Dec 20, 2012
union.c add more test cases Dec 10, 2011

README.md

atomic-all-nighters

static context checking for kernel codebases

Something went wrong with that request. Please try again.