aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* 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
| * Brute force and ignorance workaround for tag-and-generic-obj; un-XFAIL it.Graydon Hoare2011-04-051-0/+3
| * More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier2011-04-062-75/+482
| * Last pieces of self-call support.Lindsey Kuper2011-04-052-5/+36
| * Further on the path toward self-awareness.Lindsey Kuper2011-04-053-114/+87
| * FIx native wrapper generation to handle more arg types.Graydon Hoare2011-04-051-3/+23
| * Knocking out a quick fixme: pretty-printing exprs in error messages.Lindsey Kuper2011-04-051-2/+3
| * Make box prefix operator and box type carry mutability flag.Graydon Hoare2011-04-043-11/+10
* | rustc: Make type_of() return the type of the wrapper for native functions. li...Patrick Walton2011-04-031-4/+4
|/
* Begin comparing vectors from the correct addressBrian Anderson2011-04-031-1/+1
* Change rust_vec to have a 16-byte header, to 16-byte-align vec-body data. Maj...Graydon Hoare2011-04-021-0/+2
* Add FIXMEs around type handling in trans_if, trans_altBrian Anderson2011-04-021-0/+2
* Join the results of alt arms so alt can be used as an expression.Brian Anderson2011-04-021-12/+18
* Make join_results branch into the join block even when only one edge is live.Brian Anderson2011-04-021-6/+0
* Fail on non-exhaustive alt matchesBrian Anderson2011-04-021-3/+3
* Terminate fail blocks by making their ends unreachable.Brian Anderson2011-04-021-3/+3
* Write typarams for variants. Typecheck gets as far as ty.rs now.Graydon Hoare2011-04-011-2/+4
* Encode ty_native ebml node for native types so typechecker has something to w...Graydon Hoare2011-04-011-0/+1
* Remove typestate_check reference to nonexistent ast.init node; rustc compilin...Graydon Hoare2011-04-011-1/+0
* Re-enable typestate_check in build, was lost during merge. Sorry.Graydon Hoare2011-04-011-1/+1
* Support for passing native types through metadata/creader.Graydon Hoare2011-04-011-1/+3
* Guh. Actually commit the staged undo-of-indentation. Forgotten git staging wi...Graydon Hoare2011-04-011-56/+56
* Switch private linkage to local, re-indent trans.rs.Graydon Hoare2011-04-011-70/+70
* rustc: Write symbols for native items into the crate metadataPatrick Walton2011-04-011-0/+1
* rustc: Don't try to write symbols into the metadata for nullary tags. Puts ou...Patrick Walton2011-04-011-1/+3
* rustc: Get tag variants from the crate metadataPatrick Walton2011-04-012-10/+28
* rustc: Have tag_variants() return a new variant_info structure instead of an ...Patrick Walton2011-04-011-37/+40
* Started adding support for typestate checking.Tim Chevalier2011-04-015-197/+685
* rustc: Remove useless call to tag_variant_with_id()Patrick Walton2011-04-011-1/+0
* Cleanup typos and newlinesBrian Anderson2011-04-011-1/+1
* Initialize the alloca used to retrieve boxed block results to null.Brian Anderson2011-03-311-11/+19
* Only use allocas to hold expression results for boxed typesBrian Anderson2011-03-311-18/+3
* Add more comments to trans_blockBrian Anderson2011-03-311-1/+2