about summary refs log tree commit diff
path: root/src/boot
AgeCommit message (Expand)AuthorLines
2010-08-09Changed seemingly incorrect stk_field_valgrind_id.Michael Bebenita-1/+1
2010-08-06Added forgotten handling for alt_type_else, and also for stmt_noteOr Brostovski-10/+26
2010-08-06Added AST pretty printing for slice expressionOr Brostovski-1/+28
2010-08-06Added AST logging, and modified AST for consistent handling of alt stmts.Or Brostovski-19/+59
2010-08-06Fix LLVM translation of modules.Jeffrey Yasskin-10/+29
2010-08-06Accept uint literals as literal patterns.Roy Frostig-1/+4
2010-08-05Degrade emitter size cache to just a flat hashtable with regular flushes (sig...Graydon Hoare-33/+73
2010-08-05Something is wrong with the emitter size cache; disable for now, possibly put...Graydon Hoare-1/+3
2010-08-05Move 'as' precedence up to just above relational; support indexing str and ve...Graydon Hoare-37/+44
2010-08-04Thread argument-types down to internal_check_outer_lval in type.ml, in prepar...Graydon Hoare-9/+16
2010-08-04Fix pexp parser to do left-associativity, not right. Closes #130.Graydon Hoare-36/+86
2010-08-04Kill the preallocator, install a sane replacement. Closes #131. And probably ...Graydon Hoare-263/+116
2010-08-03Factor append_quad out of IL.emit_full, for use elsewhere.Graydon Hoare-4/+12
2010-08-03Remove dead implicit-destinations logic from IL.Graydon Hoare-20/+11
2010-08-03Avoid mem cmp mem in trans even though it's an X86ism becase we don't always ...Roy Frostig-1/+11
2010-08-03Fix some naughtiness of handling newlines in bracequotes and multi-line comme...Graydon Hoare-7/+13
2010-08-03Add tests and fix pexp bug. Closes #141.Graydon Hoare-1/+1
2010-08-02Use a better heuristic to determine whether we're on a Mac, issue 69Patrick Walton-5/+3
2010-07-30Patch up another place where the newly-expanded 'closure-ptr' implicit arg ne...Graydon Hoare-1/+2
2010-07-28Get slots in trans_tag using Semant tables. Closes #133.Roy Frostig-5/+10
2010-07-28Test the deque a bit. Give it a get-by-index method. Fix two uncovered stat...Roy Frostig-6/+32
2010-07-27Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a...Graydon Hoare-132/+79
2010-07-27Calm some LLVM indigestion of last change.Graydon Hoare-6/+6
2010-07-27Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare-180/+207
2010-07-26Slight shaving on RA, no more optimizing today. It's fast enough for now.Graydon Hoare-8/+9
2010-07-26Fix numerous non-linearities and O(sizeof(crate)) issues in typestate system'...Graydon Hoare-126/+340
2010-07-26Note the typestate dataflow timing. The culprit is revealed.Graydon Hoare-1/+2
2010-07-26Add a cumulative timer count to be sure we're getting everything.Graydon Hoare-3/+6
2010-07-26Change ctxt_crate_main to an Ast.name.Graydon Hoare-8/+7
2010-07-26Do some more iflog-guarding.Graydon Hoare-84/+94
2010-07-25Don't write to NULL after calling C natives returning void.Roy Frostig-6/+13
2010-07-23Another quick fix from jmuizelaar for that "some ocaml versions dont't notice...Graydon Hoare-1/+1
2010-07-23Improve mutability checking. Closes #118.Graydon Hoare-12/+33
2010-07-23Add test for writing-through-uninit bug (reported on IRC by jrmuizel), plus f...Graydon Hoare-1/+20
2010-07-23Stop using project_lval_ty_from_slot for lval_ty; cover residual un-caught ca...Graydon Hoare-15/+19
2010-07-23Widen write mutability check to cover all writing stmts.Graydon Hoare-10/+22
2010-07-23Include all lval-writing statements in stmt_is_init calculation, not just "co...Graydon Hoare-15/+15
2010-07-23Add pretty-printing for alt-tag statements.Graydon Hoare-1/+32
2010-07-23Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare-120/+108
2010-07-22Notify copy glue of dst-initialization and fix _vec.alloc issues in lib and r...Roy Frostig-8/+28
2010-07-22A certain incomplete quantity of wrestling with "INIT" statements that don't ...Graydon Hoare-28/+76
2010-07-22Re-classify some err / bug cases as unimpl. Ideally rustboot should never pro...Graydon Hoare-11/+14
2010-07-22Source FIXME annotations for issue #81 and a correction to STMT_bind fmt.Roy Frostig-2/+5
2010-07-22Add XFAIL'ed test for return-in-iter, call unimpl when we find it. Closes #100.Graydon Hoare-0/+2
2010-07-22Fix mem op= mem bug in trans.ml (via not terribly good fix). Closes #111.Graydon Hoare-1/+8
2010-07-23Fix simple generic type parameters in LLVM.Jeffrey Yasskin-3/+28
2010-07-23Implement tuple access for LLVM.Jeffrey Yasskin-20/+77
2010-07-22Make sure debug locations are propagated to every new block created by makingJeffrey Yasskin-19/+47
2010-07-20Make bound functions have the right typesPatrick Walton-1/+21
2010-07-20Pick off the last LLVM-crasher from mbx's change.Graydon Hoare-1/+4