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
/
boot
/
me
/
effect.ml
Age
Commit message (
Expand
)
Author
Lines
2011-03-25
Another go at changing compile-command, this time using RBUILD env var.
Graydon Hoare
-1
/
+1
2011-03-25
Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...
Graydon Hoare
-1
/
+1
2011-03-25
Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...
Graydon Hoare
-1
/
+1
2011-01-21
Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ...
Graydon Hoare
-34
/
+55
2010-11-03
rustboot: Say exactly which name was unbound when reporting unbound name errors
Patrick Walton
-2
/
+2
2010-11-02
Split out stratum-checking pass, implement more-strict (overly aggressive) im...
Graydon Hoare
-93
/
+34
2010-11-02
First pass on splitting stratum and opacity off of effects. WIP.
Graydon Hoare
-7
/
+7
2010-10-08
Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)
Graydon Hoare
-4
/
+3
2010-09-09
Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...
Graydon Hoare
-1
/
+1
2010-08-09
Add names to tasks and domains. These can either be an explicit literal string
Jeffrey Yasskin
-1
/
+1
2010-07-27
Distill semantics of use-def maps to fewer and more-obvious words.
Graydon Hoare
-2
/
+2
2010-07-23
Improve mutability checking. Closes #118.
Graydon Hoare
-1
/
+1
2010-07-23
Widen write mutability check to cover all writing stmts.
Graydon Hoare
-10
/
+22
2010-07-23
Include all lval-writing statements in stmt_is_init calculation, not just "co...
Graydon Hoare
-1
/
+1
2010-07-14
Minimize pointless logging during walk.
Graydon Hoare
-1
/
+2
2010-07-08
Add detection for cyclic imports.
Graydon Hoare
-1
/
+1
2010-06-30
Use simplified_ty in effect.
Graydon Hoare
-1
/
+1
2010-06-30
Add logging to type and effect.
Graydon Hoare
-0
/
+5
2010-06-29
Initial stab at lowering mutable and exterior into the type system.
Graydon Hoare
-11
/
+16
2010-06-28
Some fixme-to-issue housekeeping.
Graydon Hoare
-1
/
+3
2010-06-25
Add test of recursive object types (ha, work by default) and fix effect-walke...
Graydon Hoare
-0
/
+16
2010-06-23
Populate tree.
Graydon Hoare
-0
/
+313