aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/transutil.ml
Commit message (Expand)AuthorAgeFilesLines
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-13/+11
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-2/+0
* Terminology mop-up.Graydon Hoare2010-07-021-2/+2
* Some work on teaching trans to differentiate between auto-deref and explicit-...Graydon Hoare2010-07-011-0/+6
* Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-011-2/+2
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-301-4/+4
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-29/+35
* Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing mu...Graydon Hoare2010-06-271-1/+4
* Further attempts to convince mem_ctrl to be sane.Graydon Hoare2010-06-251-1/+3
* Revert "Add intrinsic calling convention." Isn't going to work.Graydon Hoare2010-06-251-22/+0
* Add intrinsic calling convention.Graydon Hoare2010-06-241-0/+22
* Populate tree.Graydon Hoare2010-06-231-0/+238