aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
...
* move rust_crate structure into the actual crate codeMarijn Haverbeke2011-04-181-4/+2
* introduce local_ctxt in trans.rs to keep crate_ctxt globalMarijn Haverbeke2011-04-181-318/+333
* rustc: Capture type parameters into for-each blocks. Add a test case.Patrick Walton2011-04-151-2/+33
* rustc: Use a regular vector instead of a hash table for type descriptorsPatrick Walton2011-04-151-14/+13
* rustc: Remove the "boxed" check, and make the static_size_of_tag recursion-el...Patrick Walton2011-04-151-33/+32
* Add a -S option for producing assembly. I will move more of it toRafael Ávila de Espíndola2011-04-151-11/+23
* rustc: Make fold_ty no longer use an object; introduce walk_tyPatrick Walton2011-04-153-115/+160
* Work on destructors, not entirely functional yet (no tydesc integration).Graydon Hoare2011-04-143-7/+58
* rustc: Use the unified result for the type of assignment expressionsPatrick Walton2011-04-141-1/+1
* rustc: Perform type substitutions when recording localsPatrick Walton2011-04-141-1/+11
* rustc: Remove generalize_ty. Instead, maintain an explicit type parameter sub...Patrick Walton2011-04-143-358/+522
* rustc: Use union-find for variable substitutionPatrick Walton2011-04-141-48/+103
* rm unused importTim Chevalier2011-04-131-1/+0
* Make expr_while work in typestate_checkTim Chevalier2011-04-131-114/+91
* Fix temporary-spilling logic in trans_args, uncomment most of lib-deque.rs (w...Graydon Hoare2011-04-131-1/+5
* Enable alias analysis and the function attributes pass.Rafael Ávila de Espíndola2011-04-131-4/+5
* typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier2011-04-123-159/+351
* rustc: Switch to indices for type parametersPatrick Walton2011-04-125-363/+238
* Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier2011-04-123-228/+450
* Make glue always pass-by-alias and rename "scalar_or_boxed" concept to "immed...Graydon Hoare2011-04-121-48/+73
* Tighten up condition on use of opaque_tag, remove blunt hammer of alias arg-c...Graydon Hoare2011-04-121-5/+20
* Enable more optimizations.Rafael Ávila de Espíndola2011-04-121-6/+6
* rustc: Factor out expr_ty() into expr_ann() and expr_ty()Patrick Walton2011-04-111-38/+45
* Implement the "attempted dynamic environment-capture" error in rustc.Rafael Ávila de Espíndola2011-04-111-0/+118
* rustc: Push down types for all expressions; add logic for recv and sendPatrick Walton2011-04-082-2/+26
* Remove silly legacy glue-offset encoding, predicate runtime adjustments by AB...Graydon Hoare2011-04-091-42/+24
* rustc: Rename "demand" to "pushdown" in the typechecker and explain more clea...Patrick Walton2011-04-081-376/+409
* Move to single-uint file-position representation.Marijn Haverbeke2011-04-091-2/+3
* rustc: Resolve ty_localsPatrick Walton2011-04-081-3/+32
* rustc: Add the ability to fold over annotationsPatrick Walton2011-04-081-36/+83
* Remove unused function.Rafael Ávila de Espíndola2011-04-081-17/+0
* Remove unused function.Rafael Ávila de Espíndola2011-04-081-12/+0
* fix long linesTim Chevalier2011-04-081-36/+30
* Implemented computing prestates and poststates for a few expression forms.Tim Chevalier2011-04-081-63/+224
* Make block results work for generic typesBrian Anderson2011-04-071-14/+17
* rustc: Pointer cast when crossing a box boundary for statically-sized element...Patrick Walton2011-04-071-0/+4
* rustc: Pointer cast when autodereferencing boxed tag typesPatrick Walton2011-04-071-1/+13
* rustc: Use the name "opaque_tag", not "tag", for opaque tagsPatrick Walton2011-04-071-1/+1
* Support for self-calls that take arguments.Lindsey Kuper2011-04-074-33/+58
* Fix problem in metadata writerMarijn Haverbeke2011-04-071-0/+4
* rustc: Remove useless call to type_of() in trans_rec()Patrick Walton2011-04-071-1/+0
* rustc: Allow dereference expressions to be used as lvalues. Add a test case.Patrick Walton2011-04-071-20/+26
* Add a -O option and change the Makefile to use it.Rafael Ávila de Espíndola2011-04-071-5/+5
* rustc: Reindent line. Puts out burning tinderbox.Patrick Walton2011-04-071-2/+2
* rustc: Link to external tag discriminants. Un-XFAIL test/run-pass/lib-option.rs.Patrick Walton2011-04-071-44/+52
* Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-076-120/+281
|\
| * Run optimizations.Rafael Ávila de Espíndola2011-04-071-5/+66
| * Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-066-115/+215
* | Merge branch 'master' of github.com:graydon/rustPatrick Walton2011-04-065-205/+638
|\|
| * Remove reference to nonexistent ast.module from typestate_check.rs, stage1 do...Graydon Hoare2011-04-061-1/+0