Graydon Hoare b2cac5afa3 Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-arg.rs.

2011-08-08 19:41:54 -07:00

..

ann.rs

Reformat for new syntax

2011-07-27 15:54:33 +02:00

annotate.rs

Revert "rustc: Introduce the concept of inline to the AST"

2011-08-05 11:38:06 -07:00

auxiliary.rs

Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-arg.rs.

2011-08-08 19:41:54 -07:00

bitvectors.rs

Initialize all constraints to False

2011-08-05 15:25:52 -07:00

ck.rs

Revert "rustc: Introduce the concept of inline to the AST"

2011-08-05 11:38:06 -07:00

collect_locals.rs

Revert "rustc: Introduce the concept of inline to the AST"

2011-08-05 11:38:06 -07:00

pre_post_conditions.rs

Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-arg.rs.

2011-08-08 19:41:54 -07:00

states.rs

Implement typestate checking for move-mode args. Un-XFAIL compile-fail/move-arg.rs.

2011-08-08 19:41:54 -07:00

tritv.rs

Initialize all constraints to False

2011-08-05 15:25:52 -07:00