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
/
ck.rs
Age
Commit message (
Expand
)
Author
Lines
2011-06-25
Use single-bar or to make tstate/states.rs prettier
Marijn Haverbeke
-3
/
+3
2011-06-24
Modify the fn vistors in walk so that they can handle functions without names...
Michael Sullivan
-4
/
+6
2011-06-22
Compute typestate properly for move
Tim Chevalier
-6
/
+6
2011-06-20
Get rid of def_ids and anns in AST nodes, use single node_id
Marijn Haverbeke
-13
/
+12
2011-06-19
rustc: Rename session.span_err -> span_fatal, err -> fatal
Brian Anderson
-4
/
+4
2011-06-19
Revert previous 6 commits. Hopefully put out Windows fire.
Brian Anderson
-4
/
+4
2011-06-19
rustc: Rename session.span_err -> span_fatal, err -> fatal
Brian Anderson
-4
/
+4
2011-06-17
Restructure the "checking" pass in typestate
Tim Chevalier
-33
/
+53
2011-06-16
Reformat a bunch of recent churn.
Graydon Hoare
-1
/
+2
2011-06-15
Reformat source tree (minus a couple tests that are still grumpy).
Graydon Hoare
-60
/
+52
2011-06-15
Fix assignments to immutable fields throughout the code
Marijn Haverbeke
-5
/
+5
2011-06-13
Refactor some typestate-related data structures
Tim Chevalier
-2
/
+3
2011-06-01
Redo typestate-related data structures to support predicate constraints. No a...
Tim Chevalier
-5
/
+5
2011-05-31
Consolidate formatting functions a bit more.
Graydon Hoare
-3
/
+3
2011-05-26
Track spans for each local variable in typestate
Tim Chevalier
-9
/
+17
2011-05-23
Add line breaks to typestate error messages
Tim Chevalier
-4
/
+4
2011-05-20
Correctly check that ! functions always diverge
Tim Chevalier
-1
/
+15
2011-05-20
Error instead of warning for missing returns. Huzzah!
Tim Chevalier
-4
/
+2
2011-05-19
Move type cache and node type table into type context.
Graydon Hoare
-3
/
+3
2011-05-19
Typestate checking code no longer uses fold -- only walk.
Tim Chevalier
-40
/
+9
2011-05-19
Rewrite pre_postconditions to use walk instead of fold
Tim Chevalier
-7
/
+6
2011-05-19
Rewrite tstate.annotate to use walk instead of fold
Tim Chevalier
-66
/
+59
2011-05-17
rustc: Make return value checking warnings a little prettier. Also introduce ...
Patrick Walton
-3
/
+5
2011-05-17
Finally rename std::_xxx to std::xxx
Marijn Haverbeke
-8
/
+8
2011-05-16
Started adding support for return checking and non-returning function annotat...
Tim Chevalier
-0
/
+231
[prev]