- 29 6月, 2011 11 次提交
-
-
由 Graydon Hoare 提交于
-
由 Graydon Hoare 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Marijn Haverbeke 提交于
Resources are now defined like... resource fd(int n) { close(n); } Calling fd with an int will then produce a non-copyable value that, when dropped, will call close on the given int.
-
由 Marijn Haverbeke 提交于
-
由 Marijn Haverbeke 提交于
-
由 Marijn Haverbeke 提交于
-
由 Marijn Haverbeke 提交于
-
- 28 6月, 2011 29 次提交
-
-
由 Paul Stansifer 提交于
-
由 Paul Stansifer 提交于
-
由 Paul Stansifer 提交于
-
由 Marijn Haverbeke 提交于
Ths involved adding an extra field to their representation, so that there is something to check for zero.
-
be passed to the "linker". Use that for libc.
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Tim Chevalier 提交于
Wrote some small test cases that use while loops and moves, to make sure the poststate for the loop body gets propagated into the new prestate and deinitialization gets reflected. Along with that, rewrite the code for intersecting states. I still find it dodgy, but I guess I'll continue trying to add more tests. Also, I'll probably feel better about it once I start formalizing the algorithm.
-
由 Tim Chevalier 提交于
This fixes a bug where de-initializations were getting masked (and programs that used a variable that had been de-initialized snuck through).
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
-
由 Brian Anderson 提交于
Preparation for a lot more metadata refactoring
-
由 Brian Anderson 提交于
-
由 Patrick Walton 提交于
-
由 Patrick Walton 提交于
-
由 Michael Sullivan 提交于
-
由 Michael Sullivan 提交于
-
由 Michael Sullivan 提交于
-
由 Michael Sullivan 提交于
-
由 Brian Anderson 提交于
Both the type and the ctor were trying to use the same id and this was making creader unable to find the ctor when running 'rustc --ls'
-
由 Patrick Walton 提交于
-