Tim Chevalier 964898eaf1 Error instead of warning for missing returns. Huzzah!		2011-05-20 18:20:54 -07:00
..
ann.rs	Rewrite tstate.annotate to use walk instead of fold	2011-05-19 11:40:16 -07:00
annotate.rs	Change node_ann hash table to a vector in typestate	2011-05-20 16:57:37 -07:00
auxiliary.rs	Change node_ann hash table to a vector in typestate	2011-05-20 16:57:37 -07:00
bitvectors.rs	Rewrite tstate.annotate to use walk instead of fold	2011-05-19 11:40:16 -07:00
ck.rs	Error instead of warning for missing returns. Huzzah!	2011-05-20 18:20:54 -07:00
collect_locals.rs	Add ann as an argument to visit_fn	2011-05-19 11:40:16 -07:00
pre_post_conditions.rs	rm unused import	2011-05-20 16:57:37 -07:00
states.rs	rm unnecessary logging	2011-05-20 16:57:37 -07:00