Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[WIP] better Stack validation and new package #229

Merged
merged 75 commits into from May 14, 2018
Merged

[WIP] better Stack validation and new package #229

merged 75 commits into from May 14, 2018

Commits on Apr 19, 2018

  1. First approximation 

    Fix type checking for existing tests
    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    b22faae View commit details
    Browse the repository at this point in the history

  2. Add types for more instructions and testcases

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    9742052 View commit details
    Browse the repository at this point in the history

  3. add support for 'drop' instruction

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    1097d5e View commit details
    Browse the repository at this point in the history

  4. Start work on moduleContext and pass simple call type check

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    ab05fa6 View commit details
    Browse the repository at this point in the history

  5. Successful type check of multiple params

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    600b1ea View commit details
    Browse the repository at this point in the history

  6. Successful type check of wrong return

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    258e02c View commit details
    Browse the repository at this point in the history

  7. Implement type for block instructions

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    dd3dc38 View commit details
    Browse the repository at this point in the history

  8. Fix type equality function

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    4e572a0 View commit details
    Browse the repository at this point in the history

  9. Execute structured control flow: loop

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    5ab05e8 View commit details
    Browse the repository at this point in the history

  10. Fix resulttype of loop

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    1d1b2c6 View commit details
    Browse the repository at this point in the history

  11. Support nop type checking

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    9263a0f View commit details
    Browse the repository at this point in the history

  12. Fix resulttype of block

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    f386c80 View commit details
    Browse the repository at this point in the history

  13. Type if statements

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    9a6b583 View commit details
    Browse the repository at this point in the history

  14. Implement return type checking

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    937e400 View commit details
    Browse the repository at this point in the history

  15. Support types of local variables

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    34be68a View commit details
    Browse the repository at this point in the history

  16. fix: remove test filter

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    05c7bea View commit details
    Browse the repository at this point in the history

  17. chore: refmt examples

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    80e8514 View commit details
    Browse the repository at this point in the history

  18. Add support for global type checks

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    522c322 View commit details
    Browse the repository at this point in the history

  19. Imported globals precede defined globals in index space

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    3b53559 View commit details
    Browse the repository at this point in the history

  20. Revert "chore: refmt examples" 

    This reverts commit 5358160.
    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    dbdf91d View commit details
    Browse the repository at this point in the history

  21. chore: reprint test fixtures

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    c024857 View commit details
    Browse the repository at this point in the history

  22. Correct wrong test cases?

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    1fc13aa View commit details
    Browse the repository at this point in the history

  23. Pass first test with select

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    d1a0869 View commit details
    Browse the repository at this point in the history

  24. Pass second select test

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    b8a895d View commit details
    Browse the repository at this point in the history

  25. Fix stack frame bug, reset for each function

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    4934726 View commit details
    Browse the repository at this point in the history

  26. Typecheck all conversion instructions. (I didnt generate this :P)

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    6691167 View commit details
    Browse the repository at this point in the history

  27. Type check the instruction

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    e462582 View commit details
    Browse the repository at this point in the history

  28. Type check 'br_if' instruction

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    6288ffc View commit details
    Browse the repository at this point in the history

  29. Typecheck memory instructions

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    b4bbe12 View commit details
    Browse the repository at this point in the history

  30. Move first testcase over

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    c02b7eb View commit details
    Browse the repository at this point in the history

  31. Convert br and conversion to compound tests

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    c4d27ea View commit details
    Browse the repository at this point in the history

  32. Combine call tests

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    dd69516 View commit details
    Browse the repository at this point in the history

  33. Combine if tests

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    7e18186 View commit details
    Browse the repository at this point in the history

  34. Combine load instructions

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    3b028c4 View commit details
    Browse the repository at this point in the history

  35. Combine store validation tests

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    9858948 View commit details
    Browse the repository at this point in the history

  36. Another if testcase included in compound

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    8dda964 View commit details
    Browse the repository at this point in the history

  37. Fix empty module case

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    150eb55 View commit details
    Browse the repository at this point in the history

  38. Make type-checking required and fix 'return'

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    c6da34f View commit details
    Browse the repository at this point in the history

  39. Support 'trap' instruction in type checker

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    645cdfa View commit details
    Browse the repository at this point in the history

  40. Fix unreachable type check

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    2afb4ef View commit details
    Browse the repository at this point in the history

  41. Move all type-error tests to throws.txt

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    8f099c1 View commit details
    Browse the repository at this point in the history

  42. Cleanup of useless changes

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    4c98c75 View commit details
    Browse the repository at this point in the history

  43. Fix i64 result error typing

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    b526f8f View commit details
    Browse the repository at this point in the history

  44. refactor: add validations package

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    b944ced View commit details
    Browse the repository at this point in the history

  45. fix: [skip ci] add package in list

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    c2b216e View commit details
    Browse the repository at this point in the history

  46. refactor: rename validation

    @xtuc
    xtuc authored and Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    28b8d68 View commit details
    Browse the repository at this point in the history

  47. Start refactoring into modules

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    23846df View commit details
    Browse the repository at this point in the history

  48. Fix linter and scope issues

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    45cd50b View commit details
    Browse the repository at this point in the history

  49. Re-enable tests for validation

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    64363eb View commit details
    Browse the repository at this point in the history

  50. Always return type from getType

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    2bf5845 View commit details
    Browse the repository at this point in the history

  51. Support memory.grow and memory.size

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    116c364 View commit details
    Browse the repository at this point in the history

  52. Refine label logic

    Mauro Bringolf committed Apr 19, 2018
    Copy the full SHA
    631a187 View commit details
    Browse the repository at this point in the history

  53. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed Apr 19, 2018
    Copy the full SHA
    1f34e3c View commit details
    Browse the repository at this point in the history

  54. fix: missing errors.js

    @xtuc
    xtuc committed Apr 19, 2018
    Copy the full SHA
    20d48d3 View commit details
    Browse the repository at this point in the history

Commits on Apr 20, 2018

  1. Fixed the signature inconsistency

    Mauro Bringolf committed Apr 20, 2018
    Copy the full SHA
    6bd429e View commit details
    Browse the repository at this point in the history

  2. feat: remove func-result-type validation

    @xtuc
    xtuc committed Apr 20, 2018
    Copy the full SHA
    cf5892d View commit details
    Browse the repository at this point in the history

  3. Fix branch logic

    Mauro Bringolf committed Apr 20, 2018
    Copy the full SHA
    e2f7baf View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed Apr 20, 2018
    Copy the full SHA
    7e89dc1 View commit details
    Browse the repository at this point in the history

Commits on Apr 21, 2018

  1. Support function imports

    Mauro Bringolf committed Apr 21, 2018
    Copy the full SHA
    d2f9a77 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed Apr 21, 2018
    Copy the full SHA
    434bba5 View commit details
    Browse the repository at this point in the history

  3. chore: lint wast files

    @xtuc
    xtuc committed Apr 21, 2018
    Copy the full SHA
    84276d6 View commit details
    Browse the repository at this point in the history

  4. fix: formating

    @xtuc
    xtuc committed Apr 21, 2018
    Copy the full SHA
    0944ac6 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2018

  1. Dont put function parameters on the stack anymore

    Mauro Bringolf committed May 10, 2018
    Copy the full SHA
    d5a6dd1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed May 10, 2018
    Copy the full SHA
    02a9f70 View commit details
    Browse the repository at this point in the history

  3. refactor: use test-framework in validations

    @xtuc
    xtuc committed May 10, 2018
    Copy the full SHA
    0f23ee2 View commit details
    Browse the repository at this point in the history

  4. feat(validation): run tests against wasm

    @xtuc
    xtuc committed May 10, 2018
    Copy the full SHA
    7b657ba View commit details
    Browse the repository at this point in the history

  5. fix(validation): normalize u32/u64

    @xtuc
    xtuc committed May 10, 2018
    Copy the full SHA
    9d57d96 View commit details
    Browse the repository at this point in the history

  6. Fix result type checking

    Mauro Bringolf committed May 10, 2018
    Copy the full SHA
    948d608 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'stack-validation-prototype' into feat-validation-wasm

    Mauro Bringolf committed May 10, 2018
    Copy the full SHA
    21ac555 View commit details
    Browse the repository at this point in the history

Commits on May 13, 2018

  1. refactor: rename throws to output

    @xtuc
    xtuc committed May 13, 2018
    Copy the full SHA
    2bcffb1 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #300 from xtuc/feat-validation-wasm 

    Feat validation wasm
    Sven SAULEAU committed May 13, 2018
    Copy the full SHA
    6321416 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed May 13, 2018
    Copy the full SHA
    15cebfb View commit details
    Browse the repository at this point in the history

  4. feat: few fixes

    @xtuc
    xtuc committed May 13, 2018
    Copy the full SHA
    25d8658 View commit details
    Browse the repository at this point in the history

  5. feat: few fixes

    @xtuc
    xtuc committed May 13, 2018
    Copy the full SHA
    d077de5 View commit details
    Browse the repository at this point in the history

Commits on May 14, 2018

  1. Merge branch 'master' into stack-validation-prototype

    @xtuc
    xtuc committed May 14, 2018
    Copy the full SHA
    aed583c View commit details
    Browse the repository at this point in the history