about summary refs log tree commit diff
path: root/src/comp/util
AgeCommit message (Expand)AuthorLines
2011-05-10rustc: Number everything with an annotationPatrick Walton-1/+1
2011-05-09Alias-ify fold and its users, remove another 85kb.Graydon Hoare-3/+3
2011-05-06Rename std modules to be camelcasedMarijn Haverbeke-55/+55
2011-05-05Consolidating expr_to_str functions.Lindsey Kuper-4/+4
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton-2/+2
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-2/+2
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-2/+2
2011-04-28Fixed bug in typeck that wasn't filling in anns for stmtsTim Chevalier-0/+20
2011-04-28Support all expression forms in typestateTim Chevalier-0/+32
2011-04-28Further work on typestate_checkTim Chevalier-12/+83
2011-04-25rustc: Pass a "type context" around instead of directly passing the type stor...Patrick Walton-2/+2
2011-04-22rustc: Switch @ty.t to ty.t so that we can change it to a uintPatrick Walton-1/+1
2011-04-21rustc: Pass a type store around, which does nothing yetPatrick Walton-2/+2
2011-04-20rustc: Remove all uses of plain_ty() and friends from outside of ty.rsPatrick Walton-1/+1
2011-04-19Handle nested items correctly in typestate_checkTim Chevalier-0/+45
2011-04-19Remove effect system from src.Graydon Hoare-10/+10
2011-04-13Make expr_while work in typestate_checkTim Chevalier-2/+2
2011-04-12typestate_check can now handle expr_block, expr_if, and expr_binaryTim Chevalier-0/+4
2011-04-12Further work on typestate. Handles expr_rec and expr_assign now.Tim Chevalier-12/+73
2011-04-11rustc: Add a uint hash functionPatrick Walton-0/+8
2011-04-09Move to single-uint file-position representation.Marijn Haverbeke-2/+1
2011-04-08Implemented computing prestates and poststates for a few expression forms.Tim Chevalier-1/+25
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-4/+47
2011-04-06More work on typestate. Sketched out code for computing and checking prestate...Tim Chevalier-5/+24
2011-04-01Started adding support for typestate checking.Tim Chevalier-0/+61
2011-03-31rustc: Mix the bits more when hashing def idsPatrick Walton-9/+8
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
2011-03-25rustc: Create a crate metadata cachePatrick Walton-0/+8
2011-03-16Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw...Graydon Hoare-9/+0
2011-03-08rustc: Expose common.def_eq().Patrick Walton-5/+5
2011-02-23Add a type for crate directives, to support intermixing with exprs in crate f...Graydon Hoare-1/+3
2010-10-22Make append take a mutable &. Not even checked at present, tsk tsk.Graydon Hoare-1/+1
2010-10-21line length police; moved comp.util.bits to std.bitvDave Herman-463/+0
2010-10-21tests and bugfixes: fns take aliases, fixed binary arithmetic in create, elim...Dave Herman-29/+318
2010-10-20simpler computation of uint_bits(), plus whitespace policeDave Herman-13/+2
2010-10-20created a first draft of the bit-set library needed for typestateDave Herman-0/+185
2010-10-19Teach trans to allocate, initialize and load from local variables.Graydon Hoare-0/+19
2010-10-18Store items and decls in vecs to preserve input order, index externally. Impl...Graydon Hoare-0/+9
2010-10-15Encode and decode tag types in dwarf properly. Add list module to std. Shift ...Graydon Hoare-8/+0
2010-10-05Add input coordinate tracking to all major rustc ast nodes.Graydon Hoare-0/+1
2010-10-04Teach rustc about phi nodes, block relationships. Translate if- and block-exp...Graydon Hoare-0/+8
2010-09-23Declare the global and upcall glues as ValueRefs in rustc's trans.Graydon Hoare-0/+5
2010-09-21Begin teaching rustc to parse literals, atoms, stmts, blocks, items, modules,...Graydon Hoare-0/+6
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, translate...Graydon Hoare-24/+24
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare-3/+14
2010-09-01Add session, span tracking, error reporting, beginning of a function to parse...Graydon Hoare-0/+4
2010-08-31Reinstate commit 9f0eaa65817303b8768c80454734144c176fda43 with sufficient fix...Graydon Hoare-4/+8
2010-08-27Revert "More work on lexer.rs: start using keyword hashtable, handle more lex...Patrick Walton-8/+4