index
:
rust
this commit
auto
automation/bors/try
automation/bors/try-merge
beta
cargo_update
lcnr/rustc-dev-guide
master
perf-tmp
stable
try
try-perf
https://github.com/rust-lang/rust
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
comp
/
middle
/
tstate
/
ann.rs
Age
Commit message (
Expand
)
Author
Lines
2011-11-17
remove compile-command from local variable blocks
Niko Matsakis
-1
/
+0
2011-10-07
Give up on providing a by-value version of map, convert fold over to
Marijn Haverbeke
-2
/
+2
2011-09-12
Reformat for new mode syntax, step 1
Marijn Haverbeke
-32
/
+32
2011-09-02
Reformat. Issue #855
Brian Anderson
-2
/
+2
2011-08-27
Convert the rest of rustc::middle to istrs. Issue #855
Brian Anderson
-2
/
+2
2011-07-27
Reformat for new syntax
Marijn Haverbeke
-73
/
+63
2011-07-13
Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.
Graydon Hoare
-2
/
+2
2011-07-08
Minor refactoring
Tim Chevalier
-2
/
+6
2011-07-06
rustc: Remove some unused references to std::vec from tstate::ann and tstate:...
Patrick Walton
-1
/
+0
2011-07-06
rustc: Revert the conversion to interior vectors due to heap corruption
Patrick Walton
-0
/
+1
2011-07-06
rustc: Remove some unused references to std::vec from tstate::ann and tstate:...
Patrick Walton
-1
/
+0
2011-07-05
Move everything syntax-related to syntax/, break deps on rest of compiler
Marijn Haverbeke
-1
/
+0
2011-06-27
Tests for while loops that may invalidate constraints
Tim Chevalier
-4
/
+15
2011-06-24
Invalidate constraints correctly after an assignment expression
Tim Chevalier
-8
/
+25
2011-06-24
Remove uses of variable name 'res' from rustc
Marijn Haverbeke
-3
/
+3
2011-06-22
Compute typestate properly for move
Tim Chevalier
-61
/
+69
2011-06-17
Restructure the "checking" pass in typestate
Tim Chevalier
-1
/
+9
2011-06-16
Reformat a bunch of recent churn.
Graydon Hoare
-17
/
+22
2011-06-15
Reformat source tree (minus a couple tests that are still grumpy).
Graydon Hoare
-97
/
+96
2011-06-09
Start to check expr_check and expr_call constraints in typestate
Tim Chevalier
-0
/
+5
2011-05-20
Correctly check that ! functions always diverge
Tim Chevalier
-0
/
+7
2011-05-19
Rewrite tstate.annotate to use walk instead of fold
Tim Chevalier
-13
/
+23
2011-05-17
Finally rename std::_xxx to std::xxx
Marijn Haverbeke
-1
/
+1
2011-05-16
Started adding support for return checking and non-returning function annotat...
Tim Chevalier
-0
/
+192