Tim Chevalier b34a97de39 Start to check expr_check and expr_call constraints in typestate ...

Start writing the cases for expr_check and expr_call to take
predicates into account, but this isn't working yet.

2011-06-09 11:37:52 -07:00

..

ann.rs

Start to check expr_check and expr_call constraints in typestate

2011-06-09 11:37:52 -07:00

annotate.rs

Redo typestate-related data structures to support predicate constraints. No actual support yet, just infrastructure.

2011-06-01 18:14:48 -07:00

auxiliary.rs

Further support for predicate constraints

2011-06-09 11:37:52 -07:00

bitvectors.rs

Start to check expr_check and expr_call constraints in typestate

2011-06-09 11:37:52 -07:00

ck.rs

Redo typestate-related data structures to support predicate constraints. No actual support yet, just infrastructure.

2011-06-01 18:14:48 -07:00

collect_locals.rs

Further support for predicate constraints

2011-06-09 11:37:52 -07:00

pre_post_conditions.rs

Start to check expr_check and expr_call constraints in typestate

2011-06-09 11:37:52 -07:00

states.rs

Start to check expr_check and expr_call constraints in typestate

2011-06-09 11:37:52 -07:00