Permalink
Switch branches/tags
Nothing to show
Commits on Jan 21, 2012
  1. build: Run tutorial tests

    brson committed Jan 21, 2012
  2. WIP on issue 1426 (exporting all tags)

    catamorphism committed Jan 21, 2012
    Support Lenny222's proposed syntax for exporting a tag without
    its variants, or selected tags from a variant, in the AST and parser.
    No support further down the line yet. Tests are xfailed.
  3. Update Lindsey's email address.

    lkuper committed Jan 21, 2012
  4. Typo fixes.

    lkuper committed Jan 21, 2012
  5. Handle fail after return correctly in typestate

    catamorphism committed Jan 21, 2012
    Previously, typestate would conclude that this function was
    correctly diverging:
    
    fn f() -> ! { ret; fail; }
    
    even though it always returns to the caller. It wasn't handling the
    i_diverge and i_return bits correctly in the fail case. Fixed it.
    
    Closes #897
  6. Update .gitignore

    catamorphism committed Jan 21, 2012
  7. Fix formatting.

    graydon committed Jan 21, 2012
  8. Merge pull request #1585 from mbrubeck/master

    graydon committed Jan 21, 2012
    Update the keyword lists in rust.md and syntax.vim
  9. Merge pull request #1583 from killerswan/ubuntu_ppa

    graydon committed Jan 21, 2012
    Additions re: Ubuntu PPA for Rust
  10. Update the keyword lists in rust.md and syntax.vim

    mbrubeck committed Jan 21, 2012
    Add new keywords "enum" and "of", and remove old keywords "auth", "chan",
    "log_err", "tag", and "task".
    
    Also add reserved words to the syntax file, to help Vim users avoid using them
    as identifiers.
Commits on Jan 20, 2012
  1. Update Elly's name in AUTHORS.txt

    brson committed Jan 20, 2012
  2. Include man page in dist.

    graydon committed Jan 20, 2012
  3. revert accidental commits

    nikomatsakis committed Jan 20, 2012
  4. Add a Python script which downloads only the latest Linux snapshots (…

    killerswan committed Jan 20, 2012
    …derived from other scripts here)
  5. Revert "build: Surround makensis command in quotes"

    brson committed Jan 20, 2012
    This reverts commit cd39fdc.
  6. doc: Fix mutant comma in tutorial

    brson committed Jan 20, 2012
  7. build: Surround makensis command in quotes

    brson committed Jan 20, 2012
    Quick hack - on the bots this is installed in a dir containing spaces.
  8. rust-mode: tag -> enum. Closes #1577

    brson committed Jan 20, 2012
  9. Couple typo fixes in tutorial.

    graydon committed Jan 20, 2012
  10. Add Sean Stangl to AUTHORS.txt

    brson committed Jan 20, 2012
  11. Set release string to 0.1.

    graydon committed Jan 20, 2012
  12. Typo fix in tutorial.

    graydon committed Jan 20, 2012
  13. doc: Fix typo in RELEASES.txt

    brson committed Jan 20, 2012
  14. Handle predicates that recurse in a check() expression

    catamorphism committed Jan 20, 2012
    typestate was using the enclosing function ID for the "this function
    returns" constraint, which meant confusion and panic in the case
    where a predicate p includes "check p()". Fixed it to use a fresh
    ID.
    
    Closes #933
  15. Merge pull request #1576 from mbrubeck/master

    graydon committed Jan 20, 2012
    More documentation fixes