Add Kelly to AUTHORS.

Add quick sort function to the std lib.

Use symbolic register names so that we get the correct encoding on OS X.

Change the setup so that rust_activate_glue returns to rust_exit_task_glue
and rust_exit_task_glue calls the rust main.

This is simpler since we only need to setup one frame. It also matches
what ld.so does, so gdb is happy and stops a backtrace at rust_exit_task_glue
instead of continuing past whatever function happened to be before
rust_exit_task_glue is the object file.

This is the rt part and should be merged after the rust0 part.

Register new stage0 snapshots.

Change the setup so that rust_activate_glue returns to rust_exit_task_glue
and rust_exit_task_glue calls the rust main.

This is simpler since we only need to setup one frame. It also matches
what ld.so does, so gdb is happy and stops a backtrace at rust_exit_task_glue
instead of continuing past whatever function happened to be before
rust_exit_task_glue is the object file.

This is only the rustc changes and should be merged first.

rustc: Add Rust intrinsic support to the crate metadata reader and writer

Attempt to fix fs.dirname harder.

rustc: Fix bug in equal_abi that was preventing Rust intrinsics from working

Because good hackers at least check to see if the code compiles.

Tidy up stage 2 and 3 mk files.

Fix assumption that only os_fs.path_sep can separate paths, sigh.

Add --help, --version and -v flags (not yet supporting GIT_REV env var, waiting on snapshot).

rustc: Link with intrinsics.bc; change intrinsics linkage to linkonce_odr

Put out burning tinderbox.

rustc: Add a binding to LLVM's bitcode parser

Enforce in typechecker that preds return a bool

as well as a test case

Update docs to reflect preds

Test cases for pred / check stuff

Bring back "pred" syntax for writing predicates for check

This commit reinstates the requirement that the predicate in a
"check" must be a manifest call to a special kind of function
declared with the new "pred" keyword instead of "fn". Preds must
have a boolean return type and can only call other preds; they
can't have any effects (as enforced by the typechecker).
The arguments to a predicate in a check expression must be
slot variables or literals.

Update docs to reflect assert vs. check

Also added the --batch flag to texi2pdf, as it doesn't really ever
seem useful to drop to the TeX prompt during a build.

add dl/ and .pyc files to .gitignore

Check well-formedness of constraints

Check that the operand in a constraint is an explicit name,
and that the operands are all local variables or literals. Still need
to check that the name refers to a pure function.

Change checks to asserts in test/bench files

Check that the operand in a check is a call

In addition, fix bug in fold that was turning asserts into checks.

More typechecking still needs to be done.

Un-XFAILed not-a-pred in stage0 (it fails correctly)

Remove 'deprecated mutable...' from our code

This should make compilation a bit less noisy.

Return a fresh, unreachable context after ret, break, and cont

This ensures we don't get compile errors on unreachable code (see
test/run-pass/artificial-block.rs for an example of sane code that
wasn't compiling). In the future, we might want to warn about
non-trivial code appearing in an unreachable context, and/or avoid
generating unreachable code altogether (though I'm sure LLVM will weed
it out as well).

Eradicate fold from capture.rs

The pass now uses walk.

Make ocamlc and optional dependency.

Since moving to a downloadable snapshot for stage0, it's been
possible to complete the build without compiling code written
in ocaml. However, the configure script still required it to
be present.

This commit changes detection failure to a non-fatal condition,
allowing the build to complete on systems without an ocaml
compiler.

An info message is also made conditional.

Mark valgrind's _qzz_res as unused to silence warnings on gcc 4.6.

This applies c11675 by Julian Seward from valgrind trunk
(svn://svn.valgrind.org/valgrind/trunk) to rustrt's included
copies of memcheck.h and valgrind.h, effectively backporting
the fix from the unreleased 3.6.2. The commit simply applies
the gcc 'unused' attribute to the relevant declarations.

This change allows compilation of the runtime code under
gcc 4.6 with -Werror, as the makefile currently requests.

rustc: Add a Link module; move crate writing to it to slim down trans slightly

rustllvm: Add bindings to the LLVM linker

rustllvm: Whitespace police in RustWrapper.cpp

rustc: Detect the system root and allow the user to override if necessary

build: Whitespace police in configure. Puts out burning tinderbox.

Add #env syntax extension for plucking strings out of the compilation environment.

Re-snapshot to pick up fixed crasher bugs in resolve and performance improvements.

build: Add missing intrinsics.mk

build: Build intrinsics.bc

Add stage-specific test targets (make check-stage1 etc.)

Fix and re-enable destructors

There was some confusion on whether the destructors took their
argument by pointer or direct value. They now take it directly, just
like other methods. You no longer get a segfault when a constructor
actually does something with its self value.

Add a structure for passing option flags around the compiler, put it in session, and use it.

Add *.pyc to .gitignore

Add missing ret statements to check_mod

Un-XFAIL compile-fail export tests

Support new -g flag, only mangle glue names by type when it's passed.

More export XFAILs.

Re-snapshot stage0

XFAIL some compile-fail tests mysteriously failing on win32 tinderbox.

extend xfail-stage0 to stage1, stage2 on obj-dtor-2.rs

Fix horrible rule-hijacking bug that was causing compile-fail targets to trigger honest compile attempts.

Change two compile-fail patterns to match rustc output.

Try to fail nicely, again.

Fail in a slightly more organized fashion for now.

rustc: Stub Rust intrinsics. We check in the .ll file for now to temporarily dodge a dependency on clang.

Assume xfail-stage0 implies stage1 and stage2 in tests, for now.

Fix bug in CFG_TESTLIB that only manifests on stage1, stage2.

rustc: Stub support for Rust intrinsics

Revert "Rename the "llvm" API to "llvm-intrinsic"" due to tinderbox bustage

This reverts commit 6871c245a67fab222eccc2a21dcb620d11d3b0d0.

More python portability fixes (for windows).

Attempt to use more portable python

Remove everything to do with rustboot from makefiles.

Start sketching --depend support in rustc.

Rename the "llvm" API to "llvm-intrinsic"

rustc: Refactor metadata.Encode.* to not require a type abbreviation table if abbreviation isn't enabled

rustc: Name type glue properly

Remove calls to rustboot -rdeps, leave 'touch' in place while working on replacement.

Update copyrights for completeness.

Update valgrind.h and memcheck.h to 3.6.0

Attempt to shift build to stage0-from-snapshots.

Small fixes to snapshot script.

Remove unused variable.

Split start into rustc and rustboot versions. This introduces a bit of
duplication, but we will hopefully drop the rustboot one soon.

This is also a preparation for changing the rustc one to have the activate glue
return to the exit glue which will then call the main function.

This (returning to the function that calls main) matches what happens when
loader stats a program or a new thread. It lets gdb produce good backtraces
and should help with EH too.

More snapshot logic refactoring.

Add forgotten 'snap.mk'

More hacking on the snapshot system.

Extract ast.is_exported from the resolve module

Add some tests of tag-export interaction

Initial sketch of snapshot support code, based on code from marijn.

Revert "Use check instead of assert in export-unexported-dep"

This reverts commit 480eda0f10fabd6e76a30c91df1d84740d6f81cc. The commit
adding the assert keyword has been restored.

Add stage1, stage2 to Makefile.in default target, so tinderboxes notice breakage.

rustc: Time the Rust translation and LLVM passes separately

rustc: Remove the artificial block in ty.rs. Fixes self-hosting. Add a test case for this, XFAIL'd.

Un-revert "Use different syntax for checks that matter to typestate", fixing the problem.

This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.

Use check instead of assert in export-unexported-dep

Revert "Use different syntax for checks that matter to typestate"

This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.

Add a regression test that exports can expose unexported items

While those unexported items can't be used by name outside the module in which
they are defined, they can be used as a sort of ADT.

rustc: Allocate tydescs on the stack when it's safe to do so. 60% compile speed increase.

Use different syntax for checks that matter to typestate

This giant commit changes the syntax of Rust to use "assert" for
"check" expressions that didn't mean anything to the typestate
system, and continue using "check" for checks that are used as
part of typestate checking.

Most of the changes are just replacing "check" with "assert" in test
cases and rustc.

rustc: Add a "fat tydesc" LLVM type to trans

rustc: Disable frame pointer omission

Add a test that imports can't circumvent exports

Remove the search direction from resolve's fold environment

It's not actually involved in the fold so it can just be passed between the
functions that need it.

Add a regression test for use of unexported fully-qualified paths

An unexported foo.baz can't be resolved from inside foo when called as foo.baz
instead of just baz. This behavior may want to change eventually.

Hide unexported tag variants

Implement simple module export

Start splitting up Makefile.in

rustc: Preserve dots in input path when using an implicit output path

This avoids outputing, e.g. /test.bc for ../test.rs

Fix expr-alt-generic-box2.rs and un-XFAIL

Un-XFAIL various tests in stage0