index
:
rust
master
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
comp
/
middle
/
typestate_check.rs
Commit message (
Expand
)
Author
Age
Files
Lines
*
rustc: Write nil types into the node type table wherever plain_ann() is used
HEAD
master
Patrick Walton
2011-05-13
1
-1
/
+1
*
Downcase std modules again, move to :: for module dereferencing
Marijn Haverbeke
2011-05-12
1
-362
/
+363
*
Keep resolve data in external hash table, rather than embedded defs
Marijn Haverbeke
2011-05-12
1
-252
/
+255
*
Ensure ann tags are actually kept around during typechecking
Marijn Haverbeke
2011-05-12
1
-19
/
+20
*
Remove mod indices from the AST
Marijn Haverbeke
2011-05-11
1
-9
/
+2
*
Get rid of arm indices
Marijn Haverbeke
2011-05-11
1
-2
/
+1
*
Get rid of block indices
Marijn Haverbeke
2011-05-11
1
-4
/
+1
*
rustc: Number everything with an annotation
Patrick Walton
2011-05-10
1
-16
/
+16
*
Alias-ify fold and its users, remove another 85kb.
Graydon Hoare
2011-05-09
1
-18
/
+21
*
Rename std modules to be camelcased
Marijn Haverbeke
2011-05-06
1
-106
/
+106
*
Un-revert "Use different syntax for checks that matter to typestate", fixing ...
Patrick Walton
2011-05-02
1
-254
/
+152
*
Revert "Use different syntax for checks that matter to typestate"
Graydon Hoare
2011-05-02
1
-152
/
+254
*
Use different syntax for checks that matter to typestate
Tim Chevalier
2011-05-02
1
-254
/
+152
*
Reindented things and removed superfluous comments, nothing to see here
Tim Chevalier
2011-04-28
1
-14
/
+7
*
Fix bug in handling of expr_alt (postcond for alts was being intersected with...
Tim Chevalier
2011-04-28
1
-52
/
+102
*
Fixed bug in typeck that wasn't filling in anns for stmts
Tim Chevalier
2011-04-28
1
-5
/
+13
*
Support all expression forms in typestate
Tim Chevalier
2011-04-28
1
-12
/
+198
*
Further work on typestate_check
Tim Chevalier
2011-04-28
1
-119
/
+343
*
Fix the signature of expr_ext
Brian Anderson
2011-04-21
1
-2
/
+2
*
Handle nested items correctly in typestate_check
Tim Chevalier
2011-04-19
1
-90
/
+748
*
Remove effect system from src.
Graydon Hoare
2011-04-19
1
-10
/
+10
*
replace error logging with log_err in stdlib and rustc
Marijn Haverbeke
2011-04-19
1
-8
/
+8
*
add log_err to rustc
Marijn Haverbeke
2011-04-19
1
-3
/
+3
*
rm unused import
Tim Chevalier
2011-04-13
1
-1
/
+0
*
Make expr_while work in typestate_check
Tim Chevalier
2011-04-13
1
-114
/
+91
*
typestate_check can now handle expr_block, expr_if, and expr_binary
Tim Chevalier
2011-04-12
1
-156
/
+345
*
Further work on typestate. Handles expr_rec and expr_assign now.
Tim Chevalier
2011-04-12
1
-216
/
+423
*
fix long lines
Tim Chevalier
2011-04-08
1
-36
/
+30
*
Implemented computing prestates and poststates for a few expression forms.
Tim Chevalier
2011-04-08
1
-63
/
+224
*
Continued sketching out code for checking states against preconditions.
Tim Chevalier
2011-04-06
1
-94
/
+188
*
Remove reference to nonexistent ast.module from typestate_check.rs, stage1 do...
Graydon Hoare
2011-04-06
1
-1
/
+0
*
More work on typestate. Sketched out code for computing and checking prestate...
Tim Chevalier
2011-04-06
1
-63
/
+455
*
Remove typestate_check reference to nonexistent ast.init node; rustc compilin...
Graydon Hoare
2011-04-01
1
-1
/
+0
*
Re-enable typestate_check in build, was lost during merge. Sorry.
Graydon Hoare
2011-04-01
1
-1
/
+1
*
Started adding support for typestate checking.
Tim Chevalier
2011-04-01
1
-0
/
+496