Graydon Hoare a4dd57705c Move type cache and node type table into type context.

2011-05-19 15:47:15 -07:00

..

ann.rs

Rewrite tstate.annotate to use walk instead of fold

2011-05-19 11:40:16 -07:00

annotate.rs

Add ann as an argument to visit_fn

2011-05-19 11:40:16 -07:00

auxiliary.rs

Move type cache and node type table into type context.

2011-05-19 15:47:15 -07:00

bitvectors.rs

Rewrite tstate.annotate to use walk instead of fold

2011-05-19 11:40:16 -07:00

ck.rs

Move type cache and node type table into type context.

2011-05-19 15:47:15 -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

Add ann as an argument to visit_fn

2011-05-19 11:40:16 -07:00

states.rs

Eliminate explicit recursion in tstate.states (walk does that now),

2011-05-19 11:40:16 -07:00