1. 03 Nov, 2014 1 commit
  2. 31 Oct, 2014 1 commit
  3. 30 Oct, 2014 2 commits
  4. 29 Oct, 2014 2 commits
  5. 27 Oct, 2014 3 commits
  6. 24 Oct, 2014 1 commit
  7. 23 Oct, 2014 4 commits
  8. 21 Oct, 2014 3 commits
  9. 20 Oct, 2014 2 commits
  10. 17 Oct, 2014 2 commits
  11. 16 Oct, 2014 2 commits
  12. 15 Oct, 2014 1 commit
    • rossberg@chromium.org's avatar
      Better typing and type verification · 0e16150d
      rossberg@chromium.org authored
      - Extend verifier to check types of JS and Simplified nodes.
      - Untyped nodes now contain NULL as types, enforcing hard failure.
      - Typer immediately installs itself as a decorator; remove explicit decorator installation.
      - Decorator eagerly types all nodes that have typed inputs
        (subsumes typing of constant cache, removing its typing
        side-channel and various spurious dependencies on the typer).
      - Cut down typer interface to prevent inconsistently typed graphs.
      - Remove verification from start, since it caused too much trouble
        with semi-wellformed nodes.
      - Fix a couple of bugs on the way that got uncovered.
      
      To do: verifying machine operators. Also, various conditions in the
      verifier are currently commented out, because they don't yet hold.
      
      BUG=
      R=jarin@chromium.org,titzer@chromium.org
      
      Review URL: https://codereview.chromium.org/658543002
      
      git-svn-id: https://v8.googlecode.com/svn/branches/bleeding_edge@24626 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
      0e16150d
  13. 14 Oct, 2014 1 commit
  14. 08 Oct, 2014 1 commit
  15. 07 Oct, 2014 2 commits
  16. 30 Sep, 2014 1 commit
  17. 29 Sep, 2014 1 commit
  18. 25 Sep, 2014 2 commits
  19. 24 Sep, 2014 1 commit
  20. 22 Sep, 2014 1 commit
  21. 19 Sep, 2014 1 commit
  22. 16 Sep, 2014 1 commit
  23. 12 Sep, 2014 2 commits
  24. 11 Sep, 2014 1 commit
  25. 10 Sep, 2014 1 commit