| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Fix assumption that only os_fs.path_sep can separate paths, sigh. | Graydon Hoare | 2011-05-05 | 1 | -1/+7 | |
| | | ||||||
| * | Add --help, --version and -v flags (not yet supporting GIT_REV env var, ↵ | Graydon Hoare | 2011-05-05 | 1 | -4/+23 | |
| | | | | | waiting on snapshot). | |||||
| * | rustc: Link with intrinsics.bc; change intrinsics linkage to linkonce_odr | Patrick Walton | 2011-05-05 | 4 | -3/+32 | |
| | | ||||||
| * | Put out burning tinderbox. | Graydon Hoare | 2011-05-05 | 1 | -1/+3 | |
| | | ||||||
| * | rustc: Add a binding to LLVM's bitcode parser | Patrick Walton | 2011-05-05 | 4 | -0/+18 | |
| | | ||||||
| * | Enforce in typechecker that preds return a bool | Tim Chevalier | 2011-05-05 | 2 | -1/+14 | |
| | | | | | as well as a test case | |||||
| * | Update docs to reflect preds | Tim Chevalier | 2011-05-05 | 1 | -9/+29 | |
| | | ||||||
| * | Test cases for pred / check stuff | Tim Chevalier | 2011-05-05 | 8 | -3/+57 | |
| | | ||||||
| * | Bring back "pred" syntax for writing predicates for check | Tim Chevalier | 2011-05-05 | 7 | -22/+155 | |
| | | | | | | | | | | | 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 | Tim Chevalier | 2011-05-05 | 2 | -9/+22 | |
| | | | | | | 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 | Tim Chevalier | 2011-05-05 | 1 | -1/+2 | |
| | | ||||||
| * | Check well-formedness of constraints | Tim Chevalier | 2011-05-05 | 4 | -6/+63 | |
| | | | | | | | 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 | Tim Chevalier | 2011-05-05 | 2 | -6/+6 | |
| | | ||||||
| * | Check that the operand in a check is a call | Tim Chevalier | 2011-05-05 | 3 | -8/+28 | |
| | | | | | | | 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) | Tim Chevalier | 2011-05-05 | 1 | -3/+0 | |
| | | ||||||
| * | Remove 'deprecated mutable...' from our code | Marijn Haverbeke | 2011-05-05 | 15 | -43/+43 | |
| | | | | | This should make compilation a bit less noisy. | |||||
| * | Return a fresh, unreachable context after ret, break, and cont | Marijn Haverbeke | 2011-05-05 | 2 | -6/+2 | |
| | | | | | | | | | | 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 | Marijn Haverbeke | 2011-05-05 | 1 | -59/+54 | |
| | | | | | The pass now uses walk. | |||||
| * | Make ocamlc and optional dependency. | Ralph Giles | 2011-05-05 | 2 | -2/+2 | |
| | | | | | | | | | | | | | | 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. | Ralph Giles | 2011-05-05 | 2 | -18/+18 | |
| | | | | | | | | | | | | 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 | Patrick Walton | 2011-05-05 | 5 | -173/+197 | |
| | | ||||||
| * | rustllvm: Add bindings to the LLVM linker | Patrick Walton | 2011-05-04 | 3 | -3/+22 | |
| | | ||||||
| * | rustllvm: Whitespace police in RustWrapper.cpp | Patrick Walton | 2011-05-04 | 1 | -2/+4 | |
| | | ||||||
| * | rustc: Detect the system root and allow the user to override if necessary | Patrick Walton | 2011-05-04 | 2 | -4/+22 | |
| | | ||||||
| * | build: Whitespace police in configure. Puts out burning tinderbox. | Patrick Walton | 2011-05-04 | 1 | -3/+3 | |
| | | ||||||
| * | Add #env syntax extension for plucking strings out of the compilation ↵ | Graydon Hoare | 2011-05-04 | 3 | -0/+76 | |
| | | | | | environment. | |||||
| * | Re-snapshot to pick up fixed crasher bugs in resolve and performance ↵ | Graydon Hoare | 2011-05-04 | 1 | -0/+5 | |
| | | | | | improvements. | |||||
| * | build: Add missing intrinsics.mk | Patrick Walton | 2011-05-04 | 1 | -0/+19 | |
| | | ||||||
| * | build: Build intrinsics.bc | Patrick Walton | 2011-05-04 | 7 | -8/+48 | |
| | | ||||||
| * | Add stage-specific test targets (make check-stage1 etc.) | Graydon Hoare | 2011-05-04 | 1 | -1/+18 | |
| | | ||||||
| * | Fix and re-enable destructors | Marijn Haverbeke | 2011-05-05 | 1 | -6/+7 | |
| | | | | | | | | 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 ↵ | Graydon Hoare | 2011-05-04 | 5 | -87/+106 | |
| | | | | | session, and use it. | |||||
| * | Add *.pyc to .gitignore | Brian Anderson | 2011-05-04 | 1 | -0/+1 | |
| | | ||||||
| * | Add missing ret statements to check_mod | Brian Anderson | 2011-05-04 | 7 | -12/+4 | |
| | | | | | Un-XFAIL compile-fail export tests | |||||
| * | Support new -g flag, only mangle glue names by type when it's passed. | Graydon Hoare | 2011-05-04 | 2 | -18/+30 | |
| | | ||||||
| * | More export XFAILs. | Graydon Hoare | 2011-05-04 | 2 | -0/+6 | |
| | | ||||||
| * | Re-snapshot stage0 | Graydon Hoare | 2011-05-04 | 1 | -0/+5 | |
| | | ||||||
| * | XFAIL some compile-fail tests mysteriously failing on win32 tinderbox. | Graydon Hoare | 2011-05-04 | 4 | -0/+12 | |
| | | ||||||
| * | extend xfail-stage0 to stage1, stage2 on obj-dtor-2.rs | Graydon Hoare | 2011-05-04 | 1 | -1/+3 | |
| | | ||||||
| * | Fix horrible rule-hijacking bug that was causing compile-fail targets to ↵ | Graydon Hoare | 2011-05-04 | 1 | -33/+14 | |
| | | | | | trigger honest compile attempts. | |||||
| * | Change two compile-fail patterns to match rustc output. | Graydon Hoare | 2011-05-04 | 2 | -2/+2 | |
| | | ||||||
| * | Try to fail nicely, again. | Graydon Hoare | 2011-05-04 | 2 | -2/+2 | |
| | | ||||||
| * | Fail in a slightly more organized fashion for now. | Graydon Hoare | 2011-05-04 | 1 | -4/+2 | |
| | | ||||||
| * | rustc: Stub Rust intrinsics. We check in the .ll file for now to temporarily ↵ | Patrick Walton | 2011-05-03 | 2 | -0/+74 | |
| | | | | | dodge a dependency on clang. | |||||
| * | Assume xfail-stage0 implies stage1 and stage2 in tests, for now. | Graydon Hoare | 2011-05-03 | 99 | -0/+198 | |
| | | ||||||
| * | Fix bug in CFG_TESTLIB that only manifests on stage1, stage2. | Graydon Hoare | 2011-05-03 | 1 | -3/+4 | |
| | | ||||||
| * | rustc: Stub support for Rust intrinsics | Patrick Walton | 2011-05-03 | 4 | -28/+61 | |
| | | ||||||
| * | Revert "Rename the "llvm" API to "llvm-intrinsic"" due to tinderbox bustage | Patrick Walton | 2011-05-03 | 3 | -3/+2 | |
| | | | | | This reverts commit 6871c245a67fab222eccc2a21dcb620d11d3b0d0. | |||||
| * | More python portability fixes (for windows). | Graydon Hoare | 2011-05-03 | 2 | -2/+2 | |
| | | ||||||
| * | Attempt to use more portable python | Graydon Hoare | 2011-05-03 | 1 | -18/+18 | |
| | | ||||||