Add mbrubeck.

Issue 66: Multi-line comments

Some more typestate tests.

Doc tweak.

Numerous bug fixes to typestate algorithm.

Correct flow-graph wiring for STMT_if.

Wrap long line.

Add init(arg) to STMT_call precondition for each arg.

Add native-clean target.

Change from 'spawner' to 'supervisor' in rust_task, and add an unsupervise call.

Un-XFAIL mutable-alias-vec.rs. Was only failing due to a typo, but a more thorough test revealed more bugs.

Uint-ify various bits of _str and _vec, enrich _vec a bit.

Divide vec fill by element size when reporting vec len.

Use typed slot rather than AST slot in trans_for_loop.

Teach the dwarf readers to handle udata, so we can link with util.option; add util.rs to std.rc.

Rename some stuff in lib/util.rs.

Log completion on the many.rs test.

Perform valgrind-specific timing tweaks in a platform-sensitive manner.

XFAIL native-mod when running MINGW_CROSS.

Move NO_VALGRIND check below MINGW_CROSS.

Preempt works on non-windows, just needed a little valgrind love to complete in a reasonable time.

Fix bug in win32 command-line arg processing.

XFAIL the remainder as until pwalton has a go at the typechecker. Branch is otherwise done, enough to merge anyway.

Fix generic-derived-type.rs and generic-obj-with-derived-type.rs.

Improve type.ml logging.

Fix rec-extend.rs test.

Fix compile-fail/log-type-error.rs.

Clean in doc dir a little harder.

Fix typo in upcall_recv log message.

Comment-out glue interrupt-flag test; unclear why it breaks, but glue call-tree is always finite anyways so not a big deal for now.

Spill immediates with proper IL type (was making valgrind dislike obj-with-vec.rs).

Fix bug crashing valgrind in obj-recursion.rs.

Improve logging in drop paths.

Add more scratch files to .gitignore.

More corrections to drop/free path to accommodate TY_box.

Add stamp target to doc/Makefile.

Add concept-index entries to docs, plus fix a few minor nits.

Add version-stamp machinery (and put "Draft + datestamp" into doc footer).

Hey, what's a coding sprint without an uncovered register allocation bug? No fun, I say.

Clarify manual's explanation of unwinding during failure.  Add bit about soft vs. hard failure.

Add an arr_iter2 function to common.ml

Deja vu all over again. Something makes me think this is a usability hazard.

Terminology mop-up.

You may get the feeling that all these changes look eerily the same. You would be correct.

Simplify type before deciding how to free it. Hint: calling free() on a running task is usually a bad idea.

Merge branch 'master' of git@github.com:graydon/rust into exterior_and_mutable_types

Fix bug in clone logic; was ignoring the mutability-strip step in later rule.

Teach severing logic to handle obj and fn types.

Wrap long line.

Trace mark and sever steps in GC.

Return LLVM to at least being able to run hello world.

Walk (mut/constr stripped) TY_iso edges when boxed. Fault on non-boxed edges; they should not have made it past resolve.

Minor clarification/typo-correcting edits to manual sections up to and including Ref.Mem chapter.

Compensate for .tmp in run-fail tests.

New test of explicit deref operator.

Change make rules around running tests to not produce an .out file if test-run fails.

Permit mutables as comparable in all contexts.

Don't unify the *input* to init-box with a box constraint, nurr.

Improve logging in type.

Box the args entering the vec-drop test.

Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust into exterior_and_mutable_types

Parse effect-qualified type definitions.

Allow formatting individual decl_params

Gut the box[m][o] family from util.

Remove nameless node causing errors on doc make.

Correct drop-ty path; many tests now run.

Improve drop-path logging and simplify box_rc_cell.

Actually link GC allocations onto the gc_alloc_chain, der.

Improve logging on upcall_malloc.

Handle DW_FORM_blcok4 in runtime dwarf reader, which we started emitting a while ago.

Trap missing attr forms during dwarf-scan and shut down dwarf reader, don't crash.

Indent/outdent when logging dwarf at runtime.

Wrap long lines.

Box arguments that are supposed to be boxed.

Yeah. Not even a semantic mix-up: just a damn typo.

Teach clone_ty to tolerate cloning a mutable (though not state) type.

Improve mangling.

Teach the associative_binary_op_ty_fold about box, mutable and tys.

Strip outer 'mutable' off slot when deciding if pred can apply.

Retire defunct copy_ty in favour of trans_copy_ty, which invokes the same logic at the bottom.

Reinstate disgusting, filthy workarounds for deriving missing type information. It existed before, we will survive if it exists now.

Remove similar over-application of auto-deref from type.

Remove too-optimistic (and not harmless) over application of auto-deref in trans.

Split out and improve trans_init_box.

Add logging to trans_init_slot_from_atom.

Catch ast pretty-printer up with init-tup syntax.

Fox the clauses that actually satisfy box and mutable constraints; in all the confusion I had got those wrong.

Of course, the LHS constraint on an init-box statement is mutable @.

Clarify in type logging when we have a constraint vs. a resolved type.

Add compile-check target for just attempting to compile, not run, the tests.

Correct existing reliance on auto-box / unbox behavior in tests.

Box the integer passed to the handle in obj-drop.rs. No more implicit arg-boxing.

Establish the box constraint on the dst in STMT_init_box before propagating it to the rval.

Remove TYSPEC_loggable. Everything's loggable (or will be, eventually; the backend can catch unimplemented cases until then).

Check the simplified type used in check-expr in trans.

Extract pattern-slot variables in lval typecheck context (mutable ok).

Relax alias-analysis pass to permit literal-aliasing.

Remove the catch-all in type.ml, add cases for every stmt (a couple more handled; mostly still stubs).

Convey auto-deref judgments made in typechecker to trans layer; control the decision in one place.

Correct overzealous bulk-edit to LLVM code.