Commits on Aug 17, 2011
  1. Fixed send to specify its arity. Fixed alias_method issue w/ inherita…

    …nce.
    Michael Edgar committed Aug 17, 2011
  2. Unused method detection handles a choice of potential sends pulled fr…

    …om a tuple
    Michael Edgar committed Aug 17, 2011
  3. Unused method detection handles a choice of potential sends pulled fr…

    …om a tuple
    Michael Edgar committed Aug 17, 2011
Commits on Aug 13, 2011
Commits on Aug 12, 2011
  1. Bumped rpsec to 2.4. Finally added Gemfile.lock.

    Michael Edgar committed Aug 12, 2011
  2. Bumped version in README.md

    Michael Edgar committed Aug 12, 2011
  3. Added prerelease 1 to changelog.

    Michael Edgar committed Aug 12, 2011
  4. Updated README to reflect CLI usage. Fixed splat bug, failing test, a…

    …nd --only flag.
    Michael Edgar committed Aug 12, 2011
Commits on Aug 6, 2011
  1. Added basic detection of unused methods. IssueID #19

    Michael Edgar committed Aug 6, 2011
Commits on Aug 5, 2011
  1. Added statically-issued warnings for discarded RHS and useless LHS in…

    … massign.
    Michael Edgar committed Aug 5, 2011
Commits on Aug 1, 2011
  1. Minor performance-related tweaks.

    Michael Edgar committed Aug 1, 2011
  2. Converted LaserModule to use symbols for internal tables.

    Michael Edgar committed Jul 31, 2011
  3. Reorganization of bootstrap classes.

    Michael Edgar committed Jul 31, 2011
Commits on Jul 31, 2011
  1. errno was useless, it's gone until I need it.

    Michael Edgar committed Jul 31, 2011
  2. Constant Propagation will simulate constant blocks.

    Michael Edgar committed Jul 31, 2011
  3. Raise inference detects incorrect super arities. IssueID #15

    Michael Edgar committed Jul 30, 2011
  4. CPA works through explicit and implicit super.

    This involved revisiting the old zsuper code which no longer worked, but
    it ended up much cleaner since originally implemented.
    
    IssueID #15
    Michael Edgar committed Jul 30, 2011
  5. Basic support for super finally integrated. IssueID #15.

    One passing spec confirms that simulation works across super dispatches. This
    required a lot of work on the CPA side of things, enough that CPA might work
    with super as well. But right now, only one spec for simulation exists.
    Michael Edgar committed Jul 30, 2011
Commits on Jul 26, 2011
  1. Fixed bundler/jeweler conflict, removed old dependencies. fixes #2 fi…

    …xes #3.
    Michael Edgar committed Jul 26, 2011
  2. Version bump to 0.6.0

    Michael Edgar committed Jul 26, 2011
  3. Raise type inferred from failed dispatch+privacy. IssueID: #2

    Michael Edgar committed Jul 25, 2011
  4. Added two more specs for raise inference. IssueID #2.

    Adding lots of type annotations for the builtins, further pushing
    me toward pulling in a lot of Rubinius.
    Michael Edgar committed Jul 25, 2011
  5. Added declare statements ala CL -> alias info @ rb_check_convert_type.

    rb_check_convert_type is compiled to a couple of branches with a
    result temp which holds the conversion. If that conversion is nil,
    there's no clear alias path in the def/uses from SSA from the target
    of the conversion to the result. Adding a :declare statement into
    the IR allows this information to exist.
    
    This corrects an issue with yield analysis; improved raise analysis
    made clear the nil path which killed aliasing, thus killing inference.
    Michael Edgar committed Jul 25, 2011
Commits on Jul 25, 2011
  1. Renamed SexpAnalysis to Analysis. closes #11.

    Michael Edgar committed Jul 25, 2011
  2. Added argument type constraints; raise type inference improved. IssueID

    #2.
    
    1. I switched in Rubinius' Comparable. More ruby code means easier inference.
    2. Argument types can now be specified by the argument name as an annotation key.
    3. This improved inference enough that it uncovered a bug in yield inference
       with delegating a nil block argument. Aliasing information is lost during
       rb_check_convert_type that needs to be restored.
    Michael Edgar committed Jul 25, 2011
  3. Minor refactoring around new annotation system.

    Michael Edgar committed Jul 25, 2011