- 06 4月, 2011 2 次提交
-
-
由 Lindsey Kuper 提交于
-
由 Lindsey Kuper 提交于
-
- 05 4月, 2011 4 次提交
-
-
由 Tim Chevalier 提交于
-
由 Lindsey Kuper 提交于
-
由 Tim Chevalier 提交于
-
由 Graydon Hoare 提交于
-
- 03 4月, 2011 9 次提交
-
-
由 Brian Anderson 提交于
Start at the first element instead of the address of the vector.
-
由 Graydon Hoare 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
Un-XFAIL expr-alt.rs.
-
由 Brian Anderson 提交于
I don't don't totally understand the implications of this but it makes the behavior consistent for all live edges, which is going to make joining the arms of an alt expression work correctly.
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
This will make implementing default alt arms simpler.
-
- 02 4月, 2011 15 次提交
-
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
Remove typestate_check reference to nonexistent ast.init node; rustc compiling itself notices what rustboot did not :)
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Tim Chevalier 提交于
-
由 Tim Chevalier 提交于
I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
-
由 Patrick Walton 提交于
-
- 01 4月, 2011 10 次提交
-
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
This allows blocks to be used in conditional constructs where the block may not ever execute: the drop glue will notice that it was never used and ignore it. Also, beef up the comments.
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-